Assertion: circle's diameter | /r/HasProperty | perpendicular
Facets:
value: to a chord
type: OTHER
Source sentences:
text: If the diameter of a circle is perpendicular to a chord, then the diameter bisects the chord and its arc, therefore XZ ZY when arc XW arc WY.