Verbs learned by EM (naive bayes) with type checking