Assertion: rational number | /r/HasAspect | its canonical form
Facets:
Source sentences:
text: - rationals use inside canonical form - each rational can have its canonical form (irreducible fraction where denominator is always positive)
text: - each rational can have its canonical form (irreducible fraction where denominator is always positive) comparison & equality