(note TQG4)  ;; boolean version

(time 600)

(instance Entity4-1 Human)

(instance DoingSomething4-1 IntentionalProcess)

(agent DoingSomething4-1 Entity4-1)

(=>
  (and
    (agent ?PROC ?AGENT)
    (instance ?PROC IntentionalProcess))
  (and
    (instance ?AGENT CognitiveAgent)
    (not
      (holdsDuring
        (WhenFn ?PROC)
        (attribute ?AGENT Dead)))))

(query (not (holdsDuring (WhenFn DoingSomething4-1) (attribute Entity4-1 Dead))))

(answer yes)


;; Answer 1. [yes]

;; 1. 	(instance DoingSomething4-1 IntentionalProcess)	[KB]	
;; 2. 	(instance DoingSomething4-1 IntentionalProcess)	1 	
;; 3. 	(agent DoingSomething4-1 Entity4-1)	[KB]	
;; 4. 	(agent DoingSomething4-1 Entity4-1)	3 	
;; 5. 	(not
;;     (not
;;         (holdsDuring
;;             (WhenFn DoingSomething4-1) `
;;             (attribute Entity4-1 Dead))))	[KB]	
;; 6. 	(holdsDuring
;;     (WhenFn DoingSomething4-1) `
;;     (attribute Entity4-1 Dead))	5 	
;; 7. 	(=>
;;     (and
;;         (instance ?X5 Process)
;;         (instance ?X4 Agent))
;;     (=>
;;         (and
;;             (agent ?X5 ?X4)
;;             (instance ?X5 IntentionalProcess))
;;         (and
;;             (instance ?X4 CognitiveAgent)
;;             (not
;;                 (holdsDuring
;;                     (WhenFn ?X5) `
;;                     (attribute ?X4 Dead))))))	[KB]	
;; 8. 	(or
;;     (not
;;         (holdsDuring
;;             (WhenFn ?X0) `
;;             (attribute ?X1 Dead)))
;;     (not
;;         (instance ?X0 IntentionalProcess))
;;     (not
;;         (agent ?X0 ?X1))
;;     (not
;;         (instance ?X1 Agent))
;;     (not
;;         (instance ?X0 Process)))	7 	
;; 9. 	(or
;;     (not
;;         (instance Entity4-1 Agent))
;;     (not
;;         (instance DoingSomething4-1 Process)))	2 4 6 8 	
;; 10. 	(<=>
;;     (instance ?X4 Agent)
;;     (exists (?X5)
;;         (agent ?X5 ?X4)))	[KB]	
;; 11. 	(or
;;     (instance ?X0 Agent)
;;     (not
;;         (agent ?X1 ?X0)))	10 	
;; 12. 	(instance Entity4-1 Agent)	4 11 	
;; 13. 	(not
;;     (instance DoingSomething4-1 Process))	9 12 	
;; 14. 	(subclass IntentionalProcess Process)	[KB]	
;; 15. 	(subclass IntentionalProcess Process)	14 	
;; 16. 	(=>
;;     (subclass ?X403 ?X404)
;;     (and
;;         (instance ?X403 SetOrClass)
;;         (instance ?X404 SetOrClass)))	[KB]	
;; 17. 	(or
;;     (instance ?X1 SetOrClass)
;;     (not
;;         (subclass ?X0 ?X1)))	16 	
;; 18. 	(or
;;     (instance ?X0 SetOrClass)
;;     (not
;;         (subclass ?X0 ?X1)))	16 	
;; 19. 	(=>
;;     (and
;;         (instance ?X403 SetOrClass)
;;         (instance ?X404 SetOrClass))
;;     (=>
;;         (and
;;             (subclass ?X403 ?X404)
;;             (instance ?X405 ?X403))
;;         (instance ?X405 ?X404)))	[KB]	
;; 20. 	(or
;;     (instance ?X2 ?X1)
;;     (not
;;         (instance ?X2 ?X0))
;;     (not
;;         (subclass ?X0 ?X1))
;;     (not
;;         (instance ?X1 SetOrClass))
;;     (not
;;         (instance ?X0 SetOrClass)))	19 	
;; 21. 	(or
;;     (not
;;         (subclass ?X0 ?X1))
;;     (not
;;         (instance ?X2 ?X0))
;;     (instance ?X2 ?X1))	17 18 20 	
;; 22. 	(or
;;     (not
;;         (instance ?X0 IntentionalProcess))
;;     (instance ?X0 Process))	15 21 	
;; 23. 	True	13 2 22