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