(#,a,a,b,b). (#,c,c,b,b). <(&,(#,a,a),(#,c,c)) --> (/,#,_,b,b)>? 120000 ''outputMustContain('<(&,(#,a,a),(#,c,c)) --> (/,#,_,b,b)>. %1.00;0.81%') ''outputMustContain('<(#,a,a) <-> (#,c,c)>. %1.00;0.45%')