Assertion list
prime number (primary) → IsA
Results from Ascent++: 4
prime number → IsA → number 0.76
prime number → IsA → positive integer 0.59
prime number → IsA → natural number 0.57
prime number → IsA → whole number 0.55