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