lin lin-rel par par-rel PCP PCP-rel lin-PCP lin-PCP-rel lin-comp lin-rel-comp PCP-comp PCP-rel-comp lin-PCP-comp lin-PCP-rel-comp lin-comp-repl lin-rel-comp-repl PCP-comp-repl PCP-rel-comp-repl lin-PCP-comp-repl lin-PCP-rel-comp-repl lin-PCP-rel-comp-repl-huet huet
add2nn-assoc-com MAYBE YES MAYBE YES MAYBE YES MAYBE YES MAYBE YES MAYBE YES MAYBE YES YES YES YES YES YES YES YES YES
add2np-assoc-com MAYBE YES MAYBE YES MAYBE YES MAYBE YES MAYBE YES MAYBE YES MAYBE YES YES YES YES YES YES YES YES YES
add2pe-assoc-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE YES YES YES YES YES YES YES YES MAYBE
add2pe-dbl-assoc-com-dist MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE MAYBE MAYBE YES MAYBE YES YES MAYBE
add2pe-dbl-assoc-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE MAYBE YES YES YES YES YES MAYBE
add2pn-assoc-com MAYBE YES MAYBE YES MAYBE YES MAYBE YES MAYBE YES MAYBE YES MAYBE YES YES YES YES YES YES YES YES YES
add2pp-1mul-com-assoc YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
add2pp-assoc-com-ss YES YES MAYBE MAYBE MAYBE MAYBE YES YES YES YES MAYBE MAYBE YES YES YES YES MAYBE MAYBE YES YES YES MAYBE
add2pp-assoc-com YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
add2pp-assoc2 YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
add2pp-com YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
add2pp-dbl-assoc-com-dist MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE MAYBE MAYBE YES MAYBE YES MAYBE MAYBE MAYBE YES MAYBE YES YES MAYBE
add2pp-dbl-assoc-com-ss MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE
add2pp-dbl-assoc-com MAYBE MAYBE YES YES YES YES YES YES MAYBE MAYBE YES YES YES YES MAYBE MAYBE YES YES YES YES YES YES
add2pp-dblind-assoc-com-dist YES YES MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
add2pp-inc-assoc-com-dist YES YES MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
add2pp-inc-com-dist YES YES MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
add2pp-kmul-assoc-com-dist MAYBE YES MAYBE MAYBE MAYBE YES MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
add2pp-kmul-assoc-com YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
add2pp-mul2pp-assoc-com-massoc-mcom-dist2 MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE MAYBE MAYBE YES MAYBE YES MAYBE MAYBE MAYBE YES MAYBE YES YES YES
add2pp-mul2pp-assoc-com-mcom MAYBE MAYBE MAYBE YES MAYBE YES MAYBE YES MAYBE MAYBE YES YES YES YES MAYBE MAYBE YES YES YES YES YES YES
add2pp-mul2pp-assoc-com MAYBE MAYBE MAYBE YES MAYBE YES MAYBE YES MAYBE MAYBE YES YES YES YES MAYBE MAYBE YES YES YES YES YES YES
add2pp-sum-assoc-com MAYBE MAYBE YES YES YES YES YES YES MAYBE MAYBE YES YES YES YES MAYBE MAYBE YES YES YES YES YES YES
addll-assoc-com-ss MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE MAYBE MAYBE YES YES YES MAYBE YES YES YES YES MAYBE
addll-assoc-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE YES YES YES YES YES YES YES YES MAYBE
addll-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES MAYBE
addll2-assoc-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE YES YES YES YES YES YES YES YES MAYBE
addll2-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES MAYBE
addlr-assoc-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE YES YES YES YES YES YES YES YES MAYBE
addlr-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES MAYBE
addlr2-assoc-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE YES YES YES YES YES YES YES YES MAYBE
addlr2-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES MAYBE
addrl-assoc-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE YES YES YES YES YES YES YES YES MAYBE
addrl-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES MAYBE
addrl2-assoc-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE YES YES YES YES YES YES YES YES MAYBE
addrl2-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES MAYBE
addrr-assoc-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE YES YES YES YES YES YES YES YES MAYBE
addrr-assoc MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE
addrr-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES MAYBE
addrr-dbl-assoc-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE MAYBE YES YES YES YES YES MAYBE
addrr-inc-com-dist MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES MAYBE
addrr-mulrr-assoc-com-massoc-mcom-dist MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE MAYBE MAYBE YES MAYBE YES YES MAYBE
addrr-mulrr-assoc-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE MAYBE YES YES YES YES YES MAYBE
addrr-mulrr-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES YES YES YES MAYBE MAYBE YES YES YES YES YES MAYBE
addrr2-assoc-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE YES YES YES YES YES YES YES YES MAYBE
addrr2-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES MAYBE
and3 MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES MAYBE
assoc-com-distl MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE MAYBE MAYBE YES MAYBE YES MAYBE MAYBE MAYBE YES MAYBE YES YES YES
assoc-com-distlr MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE MAYBE MAYBE YES MAYBE YES MAYBE MAYBE MAYBE YES MAYBE YES YES YES
assoc-com-massoc-mcom-distl MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE MAYBE MAYBE YES MAYBE YES YES MAYBE
assoc-com-massoc-mcom-distlr MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE MAYBE MAYBE YES MAYBE YES MAYBE MAYBE MAYBE YES MAYBE YES YES YES
assoc-com YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
assoc2-com YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
assoc2 YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
com YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
comgroup MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE
intadd-assoc-com YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
intadd-assoc2 YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
intadd-com YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
intadd-neg-assoc-com-dist YES YES MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
intadd-neg-assoc2-dist YES YES MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
intadd-neg-com-dist YES YES MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
loop YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES MAYBE
loop2 YES YES MAYBE MAYBE MAYBE MAYBE YES YES YES YES MAYBE MAYBE YES YES YES YES MAYBE MAYBE YES YES YES MAYBE
maxlrn-com YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
maxlrp-com-idem MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE
maxlrp-com YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
maxrn-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES MAYBE
maxrp-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES MAYBE
neg-assoc-com YES YES MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
neg-com YES YES MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
neg-inv-assoc-com YES YES MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
neg2 YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
not-inv-exor-assoc-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES MAYBE YES MAYBE YES YES YES YES YES YES YES YES MAYBE
or2-assoc-com YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES YES
orll-assoc-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES MAYBE
orlr-assoc-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES MAYBE
orrr-assoc-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES MAYBE
orrr-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES MAYBE
prop MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES MAYBE
semilattice MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE
zero-assoc-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE YES YES YES YES YES YES YES YES YES YES YES YES YES MAYBE
zero-one-assoc-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE
zero-one-neg-assoc-com MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE
zero-one-neg-assoc-com2 MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE