(=> (and (instance ?INT1 Integer) (instance ?INT2 Integer)) (not (and (lessThan ?INT2 ?INT1) (lessThan (PredecessorFn ?INT1) ?INT2))))
(=> (equal (PredecessorFn ?INT1) (PredecessorFn ?INT2)) (equal ?INT1 ?INT2))
(=> (instance ?INT Integer) (equal ?INT (SuccessorFn (PredecessorFn ?INT))))
(=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT))))
(=> (instance ?INT Integer) (greaterThan ?INT (PredecessorFn ?INT)))
Next UnaryFunction: PrincipalHostFn Up: UnaryFunction Previous UnaryFunction: PastFn