Assertion: ring | /r/HasSubgroup | division ring
Facets:
Source sentences: