Assertion: parabola's line | /r/HasProperty | common tangents
Facets:
value: to both p=0
type: TRANSITIVE-OBJECT
value: to q=0
type: OTHER
Source sentences:
text: Then all the lines which are common tangents to both P=0 and Q=0 are tangent to C.