Assertion: open interval | /r/HasProperty | mapped to half-open interval
Facets:
Source sentences:
text: Any open interval can be mapped to a half-open interval.