(note TQG8)  ;; boolean version

(time 900)

(instance Jane8-1 Human)

(query (exists (?ROLE1 ?ROLE2) 
         (and 
           (capability Reasoning ?ROLE1 Jane8-1) 
           (capability Perception ?ROLE2 Jane8-1))))

(answer yes)


;; (solutionAxiom
;;   (=> 
;;     (instance ?AGENT Object) 
;;     (=> 
;;       (instance ?AGENT CognitiveAgent) 
;;       (capability Reasoning agent ?AGENT))))

;; (solutionAxiom
;;   (=> 
;;     (instance ?AGENT Object) 
;;     (=> 
;;       (instance ?AGENT SentientAgent) 
;;       (capability Perception experiencer ?AGENT))))


;; Answer 1. [yes]

;; 1. 	(instance Jane8-1 Human)	[KB]	
;; 2. 	(instance Jane8-1 Human)	1 	
;; 3. 	(subclass Human CognitiveAgent)	[KB]	
;; 4. 	(subclass Human CognitiveAgent)	3 	
;; 5. 	(=>
;;     (subclass ?X403 ?X404)
;;     (and
;;         (instance ?X403 SetOrClass)
;;         (instance ?X404 SetOrClass)))	[KB]	
;; 6. 	(or
;;     (instance ?X1 SetOrClass)
;;     (not
;;         (subclass ?X0 ?X1)))	5 	
;; 7. 	(or
;;     (instance ?X0 SetOrClass)
;;     (not
;;         (subclass ?X0 ?X1)))	5 	
;; 8. 	(=>
;;     (and
;;         (instance ?X403 SetOrClass)
;;         (instance ?X404 SetOrClass))
;;     (=>
;;         (and
;;             (subclass ?X403 ?X404)
;;             (instance ?X405 ?X403))
;;         (instance ?X405 ?X404)))	[KB]	
;; 9. 	(or
;;     (instance ?X2 ?X1)
;;     (not
;;         (instance ?X2 ?X0))
;;     (not
;;         (subclass ?X0 ?X1))
;;     (not
;;         (instance ?X1 SetOrClass))
;;     (not
;;         (instance ?X0 SetOrClass)))	8 	
;; 10. 	(or
;;     (not
;;         (subclass ?X0 ?X1))
;;     (not
;;         (instance ?X2 ?X0))
;;     (instance ?X2 ?X1))	6 7 9 	
;; 11. 	(or
;;     (instance ?X0 CognitiveAgent)
;;     (not
;;         (instance ?X0 Human)))	4 10 	
;; 12. 	(subclass Organism Object)	[KB]	
;; 13. 	(subclass Organism Object)	12 	
;; 14. 	(or
;;     (not
;;         (instance ?X0 Organism))
;;     (instance ?X0 Object))	13 10 	
;; 15. 	(subclass Human Organism)	[KB]	
;; 16. 	(subclass Human Organism)	15 	
;; 17. 	(or
;;     (not
;;         (instance ?X0 Human))
;;     (instance ?X0 Organism))	16 10 	
;; 18. 	(instance Jane8-1 Organism)	2 17 	
;; 19. 	(instance Jane8-1 Object)	14 18 	
;; 20. 	(subclass Human SentientAgent)	[KB]	
;; 21. 	(subclass Human SentientAgent)	20 	
;; 22. 	(or
;;     (not
;;         (instance ?X0 Human))
;;     (instance ?X0 SentientAgent))	21 10 	
;; 23. 	(instance Jane8-1 SentientAgent)	2 22 	
;; 24. 	(=>
;;     (instance ?X4 Object)
;;     (=>
;;         (instance ?X4 CognitiveAgent)
;;         (capability Reasoning agent ?X4)))	[KB]	
;; 25. 	(or
;;     (capability Reasoning agent ?X0)
;;     (not
;;         (instance ?X0 CognitiveAgent))
;;     (not
;;         (instance ?X0 Object)))	24 	
;; 26. 	(not
;;     (exists (?X0 ?X1)
;;         (and
;;             (capability Reasoning ?X0 Jane8-1)
;;             (capability Perception ?X1 Jane8-1))))	[Negated Query]	
;; 27. 	(or
;;     (not
;;         (capability Perception ?X1 Jane8-1))
;;     (not
;;         (capability Reasoning ?X0 Jane8-1)))	26 	
;; 28. 	(=>
;;     (instance ?X4 Object)
;;     (=>
;;         (instance ?X4 SentientAgent)
;;         (capability Perception experiencer ?X4)))	[KB]	
;; 29. 	(or
;;     (capability Perception experiencer ?X0)
;;     (not
;;         (instance ?X0 SentientAgent))
;;     (not
;;         (instance ?X0 Object)))	28 	
;; 30. 	(or
;;     (not
;;         (capability Reasoning ?X0 Jane8-1))
;;     (not
;;         (instance Jane8-1 Object))
;;     (not
;;         (instance Jane8-1 SentientAgent)))	27 29 	
;; 31. 	(not
;;     (instance Jane8-1 CognitiveAgent))	19 23 25 30 	
;; 32. 	True	2 11 31