Assertion: ghz | /r/HasSubgroup | f ghz
Facets:
Source sentences: