Assertion: quotient group | /r/HasProperty | d 4 / r
Facets:
Source sentences:
text: The elements of the quotient group D 4 / R are R itself, which represents the identity, and U = f