Assertion: tip | /r/HasSubgroup | q tip
Facets:
Source sentences: