Assertion: open interval | /r/HasProperty | the set of real numbers
Facets:
Source sentences:
text: The unbounded interval is the set of real numbers itself (a closed interval, since it contains all its limit points)