Assertion: suspension | /r/HasSubgroup | reduced suspension
Facets:
Source sentences: