Assertion: cut | /r/HasSubgroup | k cut
Facets:
Source sentences: