Assertion: cut | /r/CreatedBy | that rational
Facets:
Source sentences:
text: If B has a smallest element among the rationals, the cut corresponds to that rational.