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