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