Relation PREDECESSOR

Arity: 3

Range: Constant

Axioms:

(Nth-Domain Predecessor 2 Constant)

(Nth-Domain Predecessor 1 Unary-Relation)

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