Assertion: open interval | /r/HasProperty | $i=(a-\epsilon
Facets:
Source sentences:
text: and there is an open interval $I=(a-\epsilon,a+\epsilon)$ such that