Assertion: cut | /r/CapableOf | define unique irrational number
Facets:
Source sentences:
text: Otherwise, that cut defines a unique irrational number which, loosely speaking, fills the "gap" between A and B.