Assertion: rational number | /r/HasProperty | such that
Facets:
Source sentences:
text: If a/b is a rational number,then there exists a rational number (-a/b) such that