Assertion: strut | /r/HasSubgroup | auxiliary strut
Facets:
Source sentences: