(s1 (p1 q1 a1))
(s1 (p q a1))
(s2 (p2 q2 a2))
(s1 (p q a1))
(s1 (p q a2))