Relation /

as a function divides each argument, from left to right, into the result of the previous division, and returns the final quotient. As a variable, bound to a list containing the multiple values last returned by the read loop.
Arity: 3
Range: Number
Axioms:
(Nth-Domain / 2 Number)

(Nth-Domain / 1 Number)