Assertion list for term "natural number".

Results from Ascent++: 1
prime number IsAnatural number 0.57