Assertion: real number | /r/HasProperty | large
Facets:
value: infinitely
type: DEGREE
Source sentences:
text: The real numbers form a maximal subfield that is Archimedean (meaning that no real number is infinitely large).