Assertion: real number | /r/HasProperty | s numbers of type
Facets:
Source sentences:
text: Almost all real numbers are S numbers of type 1, which is minimal for real S numbers.