inference.sml 43 KB