Assertion: pedal | /r/HasProperty | the envelope of the circles
Facets:
value: with diameters pr
type: OTHER
Source sentences:
text: Hence the pedal is the envelope of the circles with diameters PR where R lies on the curve.