Assertion: hop | /r/HasSubgroup | new hop
Facets:
Source sentences: