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