Assertion: intersection | /r/HasSubgroup | rcut intersection
Facets:
Source sentences: