Assertion: ngf | /r/HasSubgroup | pure ngf
Facets:
Source sentences: