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