(=> (Non-Negative-Integer ?X) (>= ?X 0))
(<=> (Non-Negative-Integer ?X) (And (Integer ?X) (>= ?X 0)))