Assertion: positive rational number | /r/HasProperty | $r$
Facets:
Source sentences:
text: bc$; every negative (positive) rational number $r$ is smaller (greater)