Assertion: trap | /r/HasSubgroup | complex trap
Facets:
Source sentences: