Assertion: insert | /r/HasSubgroup | cylindric insert
Facets:
Source sentences: