Assertion: circle's side | /r/HasProperty | segment
Facets:
value: from that second triangle
type: LOCATION
Source sentences:
text: This is a consequence of symmetry: the sides of one triangle adjacent to a vertex that is an orthocenter to another triangle are segments from that second triangle.