Assertion: rotation | /r/HasAspect | unique inverse rotation
Facets:
Source sentences:
text: Composing two rotations results in another rotation; every rotation has a unique inverse rotation; and the identity map satisfies the definition of a rotation.