Assertion: rational number | /r/HasProperty | represented by irreducible fraction
Facets:
value: uniquely
type: MANNER
Source sentences:
text: Every rational number can be uniquely represented by some irreducible fraction.