Assertion: triangle's line | /r/HasProperty | associated in symmetrical way
Facets:
value: with vertices
type: OTHER
value: with the three sides
type: OTHER
Source sentences:
text: Often they are constructed by finding three lines associated in a symmetrical way with the three sides (or vertices) and then proving that the three lines meet in a single point: an important tool for proving the existence of these is Ceva's theorem, which gives a criterion for determining when three such lines are concurrent.