Assertion list
prime number (primary) → HasA

Results from Ascent++: 8
prime numberHasA only two factors 0.50
prime numberHasA an exponent of 2 0.41
prime numberHasA exactly two divisors 0.34
prime numberHasA exactly two factors 0.29
prime numberHasA two factors 0.26
prime numberHasA common factor 0.25
prime numberHasA divisor 0.25
prime numberHasA just one number 0.25