inference.sml 35.1 KB