AND S1 S3 S4
OR2 E1 E2 S1
NOT S2 S3
AND E1 E2 S2
#
(E1 or E2) and NOT (E1 and E2)