Assertion: direct isometry | /r/HasProperty | either a rotation
Facets:
Source sentences:
text: As stated by Cederberg, "A direct isometry is either a rotation or a translation.