(note TQG48)  ;; boolean version

;; Row variable expansion.

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

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

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

(testPred48-1 Entity48-1 Entity48-2 Entity48-3 Entity48-4)
(testPred48-1 Entity48-2 Entity48-1 Entity48-3 Entity48-4)

(query (and 
         (instance Entity48-1 Reptile)
         (instance Entity48-2 Reptile)))

(answer yes)


;; Answer 1. [yes]

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