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