Assertion: rotation | /r/HasSubgroup | euclidean rotation
Facets:
Source sentences: