Assertion: ellipse's focus | /r/HasProperty | 3 units
Facets:
value: above the center
type: LOCATION
Source sentences:
text: Also, since the focus is 3 units above the center, then c = 3 ; since the vertex is 4 units above, then a = 4 .