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