disconnected_semilinear.in

(cl-text http://colore.oor.net/orderings/semilinear_ordering.clif

(cl-imports http://colore.oor.net/orderings/partial_ordering.clif)

(forall (x y z)
	(if	(and	(leq x y)
			(leq z y))
		(or	(leq x z)
			(leq z x))))

)