Assertion: ellipse's point | /r/HasProperty | two special points
Facets:
value: on that line
type: LOCATION
Source sentences:
text: To obtain the extended Euclidean plane, the absolute line is chosen to be the line at infinity of the Euclidean plane and the absolute points are two special points on that line called the circular points at infinity.