Assertion: path | /r/HasSubgroup | orbit path
Facets:
Source sentences: