Assertion: ellipse's eccentricity | /r/HasProperty | given with semimajor axis
Facets:
Source sentences:
text: Then with semimajor axis a, the eccentricity is given by