Assertion: real number's part | /r/HasProperty | non-empty interiors
Facets:
Source sentences:
text: The parts I 1 and I 3 are both non-empty (and have non-empty interiors) if and only if x is in the interior of I. This is an interval version of the trichotomy principle.