Relation -

as a function subtracts each argument, from left to right, from the result of the previous subtraction, and returns the final difference. As a variable, bound to the form currently being executed by the read loop.
Arity: 3
Range: Number
Axioms:
(Nth-Domain - 2 Number)

(Nth-Domain - 1 Number)