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