Assertion: ellipse | /r/HasProperty | squeezed auxiliary circle
Facets:
Source sentences:
text: πa2, since the ellipse is the squeezed auxiliary circle.