;(note SP02)
;(time 240)

; (2) If x is on the right of y, and z is on the left of y, then x is on the right of z

(instance X Object)
(instance Y Object)
(instance Z Object)

(orientation X Y Right)
(orientation Z Y Left)

; from Merge.kif

;(<=>
;  (orientation ?OBJ1 ?OBJ2 Right)
;  (orientation ?OBJ2 ?OBJ1 Left))

;(=>
;  (and
;    (orientation ?X ?Y Right)
;    (orientation ?Z ?Y Left))
; (orientation ?X ?Z Right))

;(query (orientation X Z Right))

;(answer yes)