Assertion: pedal | /r/HasProperty | perpendicular
Facets:
value: to xy
type: LOCATION
Source sentences:
text: The circle and the pedal are both perpendicular to XY so they are tangent at X.