(note TQG17)  ;; boolean version

(instance Time17-1 TimeInterval)
(instance Time17-2 TimeInterval)
(instance Time17-3 TimeInterval)
(temporalPart Time17-1 Time17-2)
(temporalPart Time17-2 Time17-3)

(query (temporalPart Time17-1 Time17-3))

(answer yes)


;; Fails after 300 seconds.

;; TO DO: identify a proof from the axioms in Merge.kif.