(note TQG43)  ;; boolean version

;; Predicate introduction.

(instance testPred43-1 QuintaryPredicate)
(domain testPred43-1 1 Entity)
(domain testPred43-1 2 Entity)
(domain testPred43-1 3 Entity)
(domain testPred43-1 4 Entity)
(domain testPred43-1 5 Entity)
(instance Entity43-1 Entity)
(instance Entity43-2 Entity)
(instance Entity43-3 Entity)
(instance Entity43-4 Entity)
(instance Entity43-5 Entity)
(instance Entity43-6 Entity)

(query (not (testPred43-1 Entity43-1 Entity43-2 Entity43-3 Entity43-4 Entity43-5 Entity43-6)))

(answer yes)


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