Assertion: dip | /r/HasSubgroup | fun dip
Facets:
Source sentences: