Assertion: ellipse's vertex | /r/HasProperty | subtract 5 from the x-value
Facets:
Source sentences:
text: Vertices: (7, -1) and (-3, -1) (add/subtract 5 from the x-value )