Assertion: ellipse | /r/HasProperty | nondegenerate
Facets:
Source sentences:
text: Also assume the ellipse is nondegenerate (i.e., it is not a circle, so , and we have already established is not a point, since ).