Assertion: triangle's length | /r/HasProperty | replaced by the vector sum
Facets:
Source sentences:
text: where the length z of the third side has been replaced by the vector sum x