Assertion: pointer | /r/HasSubgroup | null pointer
Facets:
Source sentences: