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