Assertion: imp | /r/HasSubgroup | second imp
Facets:
Source sentences: