Assertion: ellipse's point | /r/HasProperty | p(x 1
Facets:
Source sentences:
text: Let the point p(x 1 , y 1 ) and ellipse