Assertion: systole | /r/HasSubgroup | extra systole
Facets:
Source sentences: