Assertion: ascent | /r/HasSubgroup | final ascent
Facets:
Source sentences: