Assertion: rotation's point | /r/HasProperty | a line: the axis of rotation
Facets:
Source sentences:
text: Points in a mirror plane are invariant under reflection, and hence the points on their intersection (a line: the axis of rotation) are invariant under both the reflections, and hence under the rotation.