inference.sml 42.9 KB