Concept Pairs learned by EM (naive bayes) with type checking