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