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