(note TQG37)  ;; boolean version

;; Temporal reasoning.

(instance TimeInterval37-1 TimeInterval)
(instance TimeInterval37-2 TimeInterval)
(earlier TimeInterval37-1 TimeInterval37-2)
(instance TimePoint37-1 TimePoint)
(instance TimePoint37-2 TimePoint)
(temporalPart TimePoint37-1 TimeInterval37-1)
(temporalPart TimePoint37-2 TimeInterval37-2)

; (=>
;    (and
;      (earlier ?TI1 ?TI2)
;      (instance ?P1 TimePoint)
;      (instance ?P2 TimePoint)
;      (temporalPart ?P1 ?TI1)
;      (temporalPart ?P2 ?TI2))
;    (before ?P1 ?P2))

(query (not (before TimePoint37-2 TimePoint37-1)))

(answer yes)