Assertion: real number | /r/HasProperty | a
Facets:
Source sentences:
text: There exists a real number 0 such that for every real a a