Assertion: diving | /r/HasSubgroup | macro diving
Facets:
Source sentences: