Assertion: right triangle's side | /r/HasProperty | ps
Facets:
Source sentences:
text: Let A, B, C be the midpoints of the sides PS, PR and SR respectively.