Assertion: rational number | /r/HasProperty | supertype
Facets:
Source sentences:
text: Rationals are also supertypes for all of the existing numeric types, save Complex .