S1 && NOT (S2)&& NOT (S3) && NOT (S4)