(note TQG22)  ;; boolean version

;; subrelation subsumption and equality reasoning.

(time 180)

(instance Man22-1 Man)
(instance Ancestor22-1 Human)
(son Man22-1 Ancestor22-1)

(query (exists (?X)
         (and
           (ancestor Man22-1 ?X)
           (equal ?X Ancestor22-1))))

(answer yes)


;; Answer 1. [yes]

;; 1. 	(instance Man22-1 Man)	[KB]	
;; 2. 	(instance Man22-1 Man)	1 	
;; 3. 	(instance Ancestor22-1 Human)	[KB]	
;; 4. 	(instance Ancestor22-1 Human)	3 	
;; 5. 	(not
;;     (exists (?X0)
;;         (and
;;             (ancestor Man22-1 ?X0)
;;             (equal ?X0 Ancestor22-1))))	[Negated Query]	
;; 6. 	(or
;;     (not
;;         (equal ?X0 Ancestor22-1))
;;     (not
;;         (ancestor Man22-1 ?X0)))	5 	
;; 7. 	(son Man22-1 Ancestor22-1)	[KB]	
;; 8. 	(son Man22-1 Ancestor22-1)	7 	
;; 9. 	(=>
;;     (and
;;         (instance ?X91 Man)
;;         (instance ?X92 Human))
;;     (=>
;;         (son ?X91 ?X92)
;;         (ancestor ?X91 ?X92)))	[KB]	
;; 10. 	(or
;;     (ancestor ?X0 ?X1)
;;     (not
;;         (son ?X0 ?X1))
;;     (not
;;         (instance ?X1 Human))
;;     (not
;;         (instance ?X0 Man)))	9 	
;; 11. 	True	2 4 6 8 10