Relation SUCCESSOR

Arity: 3

Range: Constant

Axioms:

(Nth-Domain Successor 2 Constant)

(Nth-Domain Successor 1 Unary-Relation)

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