Relation N-ARY-TUPLE

Arity: 999

Axioms:

(Nth-Domain N-Ary-Tuple 999 Thing)

• Defined in theory: Built-in-theory
• Source code: Built-In-Theory.lisp