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