Assertion list
rational number (primary) → HasProperty

Results from Ascent++: 6
rational numberHasProperty equal 0.70
rational numberHasProperty algebraic 0.48
rational numberHasProperty negative 0.42
rational numberHasProperty commutative 0.41
rational numberHasProperty associative 0.39
rational numberHasProperty countable 0.25