(note TQG47)  ;; boolean version

;; Row variable expansion.

(instance testPred47-1 BinaryPredicate)
(domain testPred47-1 1 Entity)
(domain testPred47-1 2 Entity)

(instance Entity47-1 Entity)
(instance Entity47-2 Entity)

(=>
  (testPred47-1 ?ITEM @ROW)
  (instance ?ITEM Amphibian))

(testPred47-1 Entity47-1 Entity47-2)

(query (instance Entity47-1 Amphibian))

(answer yes)


;; Answer 1. [yes]

;; 1. 	(not
;;     (instance Entity47-1 Amphibian))	[Negated Query]	
;; 2. 	(not
;;     (instance Entity47-1 Amphibian))	1 	
;; 3. 	(testPred47-1 Entity47-1 Entity47-2)	[KB]	
;; 4. 	(testPred47-1 Entity47-1 Entity47-2)	3 	
;; 5. 	(=>
;;     (testPred47-1 ?X1 ?X91)
;;     (instance ?X1 Amphibian))	[KB]	
;; 6. 	(or
;;     (instance ?X0 Amphibian)
;;     (not
;;         (testPred47-1 ?X0 ?X1)))	5 	
;; 7. 	True	2 4 6