Assertion: set | /r/HasSubgroup | generating set
Facets:
Source sentences: