Assertion: sketch | /r/HasSubgroup | derived sketch
Facets:
Source sentences: