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