Assertion: parabola's vertex | /r/HasProperty | below the focus
Facets:
Source sentences:
text: If the vertex is below the focus, then 'p' is positive (the focus is in the + y direction from the vertex).
text: Since the vertex is below the focus, this is a right-side up parabola and p is positive.