(note TQG49)  ;; boolean version

;; Row variable expansion.

(instance testPred49-1 QuaternaryPredicate)
(domain testPred49-1 1 Entity)
(domain testPred49-1 2 Entity)
(domain testPred49-1 3 Entity)
(domain testPred49-1 4 Entity)

(instance Entity49-1 Entity)
(instance Entity49-2 Entity)
(instance Entity49-3 Entity)
(instance Entity49-4 Entity)

(=>
  (testPred49-1 @ROW ?ITEM1 ?ITEM2)
  (and
    (instance ?ITEM1 Amphibian)
    (instance ?ITEM2 Reptile)))

(testPred49-1 Entity49-1 Entity49-2 Entity49-3 Entity49-4)
(testPred49-1 Entity49-1 Entity49-2 Entity49-4 Entity49-3)

(query (and
         (instance Entity49-3 Reptile)
         (instance Entity49-4 Reptile)))

(answer yes)


;; Answer 1. [yes]

;; 1. 	(testPred49-1 Entity49-1 Entity49-2 Entity49-3 Entity49-4)	[KB]	
;; 2. 	(testPred49-1 Entity49-1 Entity49-2 Entity49-3 Entity49-4)	1 	
;; 3. 	(=>
;;     (testPred49-1 ?X91 ?X92 ?X112 ?X113)
;;     (and
;;         (instance ?X112 Amphibian)
;;         (instance ?X113 Reptile)))	[KB]	
;; 4. 	(or
;;     (instance ?X3 Reptile)
;;     (not
;;         (testPred49-1 ?X0 ?X1 ?X2 ?X3)))	3 	
;; 5. 	(instance Entity49-4 Reptile)	2 4 	
;; 6. 	(not
;;     (and
;;         (instance Entity49-3 Reptile)
;;         (instance Entity49-4 Reptile)))	[Negated Query]	
;; 7. 	(or
;;     (not
;;         (instance Entity49-4 Reptile))
;;     (not
;;         (instance Entity49-3 Reptile)))	6 	
;; 8. 	(testPred49-1 Entity49-1 Entity49-2 Entity49-4 Entity49-3)	[KB]	
;; 9. 	(testPred49-1 Entity49-1 Entity49-2 Entity49-4 Entity49-3)	8 	
;; 10. 	(instance Entity49-3 Reptile)	9 4 	
;; 11. 	True	5 7 10