Assertion: lens's surface | /r/HasProperty | prolate spheroid
Facets:
Source sentences:
text: <0} ellipse (surface is a prolate spheroid)