Assertion: parabola's vertex | /r/HasProperty | above the focus
Facets:
Source sentences:
text: If the vertex is above the focus, then 'p' is negative the focus is in the - y direction from the vertex).