Assertion: transformation's point | /r/HasProperty | translated to another point
Facets:
Source sentences:
text: Consider a point P(x 1 , y 1 ) to be translated to another point Q(x 2 , y 2 ).