Assertion: real number | /r/HasProperty | embedded within surreal
Facets:
Source sentences:
text: Thus the real numbers are also embedded within the surreals.