if true x y x if false x y y eq 0 0 true eq 0 s x false eq s x s y eq x y union empty x x inter empty x empty inter union y z x union inter x y inter x z inter singl x singl y if eq x y singl x empty if 3 true 0 false 0 eq 2 C 0 0 s 1 union 2 AC empty 0 inter 2 AC singl 1 FULL ./TRS/CimeAC/intersect.trs