... imple- mented in a uniform way (in all three cases by con- verting a logic formula - either CNF or something more complicated - into a DNF formula), and all can use both sound and unsound (but ... consists of P -and- Q, P- or-Q, P-iff-Q, P-implies-Q, and Q-implies-P. • Two nominal features M and N are combined into a single two-place nominal function MxN. • Two numeric features X and Y are ... based on information-gain heuristics), have as their major goal prediction on unseen instances, and therefore do not have as an explicit concern the conciseness, intelligibility, and comprehensiveness...