Assertion: scope | /r/HasSubgroup | module scope
Facets:
Source sentences: