(note TQG38)  ;; boolean version

(time 120)
;; needs more than 60 sec with Merge and TFF, although only 30 sec with TPTP

;; Temporal reasoning.

(instance TimeInterval38-1 TimeInterval)
(instance TimeInterval38-2 TimeInterval)
(instance TimeInterval38-3 TimeInterval)
(earlier TimeInterval38-1 TimeInterval38-2)  ; irrelevant axiom
(instance TimePoint38-1 TimePoint)
(instance TimePoint38-2 TimePoint)
(temporalPart TimePoint38-1 TimeInterval38-1)
(temporalPart TimePoint38-1 TimeInterval38-3)
(temporalPart TimePoint38-2 TimeInterval38-2)
(temporalPart TimePoint38-2 TimeInterval38-3)

;(<=>
;  (overlapsTemporally ?INTERVAL1 ?INTERVAL2)
;  (exists (?INTERVAL3)
;    (and
;      (instance ?INTERVAL3 TimePosition)
;      (temporalPart ?INTERVAL3 ?INTERVAL1)
;      (temporalPart ?INTERVAL3 ?INTERVAL2))))
  
(query (and
         (overlapsTemporally TimeInterval38-3 TimeInterval38-1)
         (overlapsTemporally TimeInterval38-3 TimeInterval38-2)))

(answer yes)