Assertion: detection | /r/HasSubgroup | cycle detection
Facets:
Source sentences: