Assertion: ellipse | /r/HasProperty | a point set
Facets:
Source sentences:
text: An oval is a point set that has the following properties, which are held by conics: 1) any line intersects an oval in none, one or two points, 2) at any point of the oval there exists a unique tangent line.