Assertion: instruction | /r/HasSubgroup | attached statement
Facets:
Source sentences: