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