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