Assertion: tetrahedron | /r/HasSubgroup | rotating tetrahedron
Facets:
Source sentences: