Assertion: group's number | /r/HasProperty | fraction
Facets:
Source sentences:
text: x and y are rational numbers ("fractions") and satisfy x2 + y2 = 1.