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