(assertpr p1 :<= p2)
(assertpr p2 :< p3)
(assertpr p3 :<= p4)
(assertpr p2 :=/= p5)
(assertpr p5 :<= P6)
(assertpr P6 :<= P7)
(assertpr p8 :< p9)
(assertpr p9 :<= p3)
(assertpr p10 :< p11)
(assertpr p11 :<= p12)
(assertpr p12 :<= p13)
(assertpr p13 :< p14)
(assertpr p11 :=/= p13)
(assertpr p14 :=/= p4)
(assertpr p4 :<= p3)
(assertpr p4 := p9)

