(note TQG16)  ;; boolean version

(time 900)

(instance Object16-1 EngineeringConnection)
(instance Object16-2 EngineeringComponent)
(instance Object16-3 EngineeringComponent)
(connectsEngineeringComponents Object16-1 Object16-2 Object16-3)

(not (overlapsSpatially Object16-2 Object16-3))

(query (meetsSpatially Object16-2 Object16-3))

(answer yes)


;; Answer 1. [yes]

;; 1. 	(instance Object16-2 EngineeringComponent)	[KB]	
;; 2. 	(instance Object16-2 EngineeringComponent)	1 	
;; 3. 	(subclass EngineeringComponent Object)	[KB]	
;; 4. 	(subclass EngineeringComponent Object)	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
;;     (not
;;         (instance ?X0 EngineeringComponent))
;;     (instance ?X0 Object))	4 10 	
;; 12. 	(instance Object16-2 Object)	2 11 	
;; 13. 	(instance Object16-3 EngineeringComponent)	[KB]	
;; 14. 	(instance Object16-3 EngineeringComponent)	13 	
;; 15. 	(instance Object16-3 Object)	14 11 	
;; 16. 	(=>
;;     (and
;;         (instance ?X91 EngineeringComponent)
;;         (instance ?X92 EngineeringComponent))
;;     (=>
;;         (connectedEngineeringComponents ?X91 ?X92)
;;         (connected ?X91 ?X92)))	[KB]	
;; 17. 	(or
;;     (connected ?X0 ?X1)
;;     (not
;;         (connectedEngineeringComponents ?X0 ?X1))
;;     (not
;;         (instance ?X1 EngineeringComponent))
;;     (not
;;         (instance ?X0 EngineeringComponent)))	16 	
;; 18. 	(connectsEngineeringComponents Object16-1 Object16-2 Object16-3)	[KB]	
;; 19. 	(connectsEngineeringComponents Object16-1 Object16-2 Object16-3)	18 	
;; 20. 	(=>
;;     (and
;;         (instance ?X137 EngineeringComponent)
;;         (instance ?X138 EngineeringComponent))
;;     (<=>
;;         (connectedEngineeringComponents ?X137 ?X138)
;;         (exists (?X139)
;;             (connectsEngineeringComponents ?X139 ?X137 ?X138))))	[KB]	
;; 21. 	(or
;;     (connectedEngineeringComponents ?X0 ?X1)
;;     (not
;;         (connectsEngineeringComponents ?X2 ?X0 ?X1))
;;     (not
;;         (instance ?X1 EngineeringComponent))
;;     (not
;;         (instance ?X0 EngineeringComponent)))	20 	
;; 22. 	(connectedEngineeringComponents Object16-2 Object16-3)	14 2 19 21 	
;; 23. 	(connected Object16-2 Object16-3)	14 2 17 22 	
;; 24. 	(not
;;     (meetsSpatially Object16-2 Object16-3))	[Negated Query]	
;; 25. 	(not
;;     (meetsSpatially Object16-2 Object16-3))	24 	
;; 26. 	(not
;;     (overlapsSpatially Object16-2 Object16-3))	[KB]	
;; 27. 	(not
;;     (overlapsSpatially Object16-2 Object16-3))	26 	
;; 28. 	(=>
;;     (and
;;         (instance ?X89 Object)
;;         (instance ?X90 Object))
;;     (=>
;;         (connected ?X90 ?X89)
;;         (or
;;             (meetsSpatially ?X90 ?X89)
;;             (overlapsSpatially ?X90 ?X89))))	[KB]	
;; 29. 	(or
;;     (overlapsSpatially ?X1 ?X0)
;;     (meetsSpatially ?X1 ?X0)
;;     (not
;;         (connected ?X1 ?X0))
;;     (not
;;         (instance ?X1 Object))
;;     (not
;;         (instance ?X0 Object)))	28 	
;; 30. 	(or
;;     (not
;;         (connected Object16-2 Object16-3))
;;     (not
;;         (instance Object16-2 Object))
;;     (not
;;         (instance Object16-3 Object)))	25 27 29 	
;; 31. 	True	12 15 23 30