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