Distinct domains for predicate position held sorted by frequency

ClassCount