Removing SOME and ARE SOME from inference engine