Assertion: real number | /r/CapableOf | establish given number
Facets:
value: as an irrational number
type: MANNER
Source sentences:
text: Real numbers establish the given number as an irrational number