Assertion: parabola's line | /r/CapableOf | satisfy the equation
Facets:
Source sentences:
text: We must show that a point (x, y) that is equidistant from (o, p) and the line y = -p also satisfies the equation y = 1/4p x2