Assertion: transformation's point | /r/HasProperty | connected to its image point
Facets:
value: by a segment
type: OTHER
Source sentences:
text: A transformation such that every point of the preimage may be connected to its image point by a segment that is perpendicular to the line that is the "mirror" of the reflection and has its midpoint on the mirror of the reflection.