Assertion: production line | /r/HasSubgroup | smt production line
Facets:
Source sentences: