(note TQG41)  ;; boolean version

;; Predicate introduction.

(instance testPred41-1 TernaryPredicate)
(domain testPred41-1 1 Entity)
(domain testPred41-1 2 Entity)
(domain testPred41-1 3 Entity)
(instance Entity41-1 Entity)
(instance Entity41-2 Entity)
(instance Entity41-3 Entity)
(instance Entity41-4 Entity)

(query (not (testPred41-1 Entity41-1 Entity41-2 Entity41-3 Entity41-4)))

(answer yes)


;; This test fails because there is no axiomatic support for
;; concluding that a TernaryPredicate cannot have four arguments.