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