Assertion: rational number | /r/HasProperty | different
Facets:
Source sentences:
text: Rationals are different enough to justify their own formatting, and if we want to use format strings, we can pull off the numerator and denominator separately to format them.