(<=> (and (holds ?REL ?INST1 ?INST2) (instance ?REL UnaryFunction)) (equal (AssignmentFn ?REL ?INST1) ?INST2))
(=> (and (closedOn ?FUNCTION ?CLASS) (instance ?FUNCTION UnaryFunction)) (forall (?INST) (=> (instance ?INST ?CLASS) (instance (AssignmentFn ?FUNCTION ?INST) ?CLASS))))
(=> (and (instance ?FUNCTION UnaryFunction) (equal (AssignmentFn ?FUNCTION ?ARG) ?VALUE1) (equal (AssignmentFn ?FUNCTION ?ARG) ?VALUE2)) (equal ?VALUE1 ?VALUE2))
(=> (instance ?FUNCTION UnaryFunction) (valence ?FUNCTION 1))
Next UnaryFunction: ExtensionFn Up: UnaryFunction Previous UnaryFunction: EndFn