Assertion: ellipse's vertex | /r/HasProperty | a =5
Facets:
value: at (5,0)
type: OTHER
Source sentences:
text: One vertex is at (5,0), so a =5.