Assertion: rational number | /r/HasProperty | expressed in unique way
Facets:
value: as an irreducible fraction
type: MANNER
Source sentences:
text: Every rational number may be expressed in a unique way as an irreducible fraction a/b, where a and b are coprime integers, and b > 0.