Assertion: component | /r/HasSubgroup | smt component
Facets:
Source sentences: