P1
P2
p1.is_strictly_before(p2) = true
P1
P2
p1.is_strictly_before(p2) = false
P1
P2
p1.is_strictly_before(p2) = false
P1
P2
p1.is_strictly_before(p2) = false
P1
P2
p1.is_strictly_before(p2) = false
P1
P2
p1.is_strictly_before(p2) = false
P1
P2
p1.is_strictly_before(p2) = false
P1
P2
p1.is_strictly_before(p2) = false
P1
P2
p1.is_strictly_before(p2) = false