DisjunctE

ch

DisjunctT

ch

disjunctionPermutationScore

TermExpr