Assertion: rational number | /r/HasProperty | such that c/d ≠
Facets:
Source sentences:
text: If a/b and c/d are two rational numbers, such that c/d ≠ 0, then