Assertion: spheroid's diameter | /r/HasProperty | 7917.5 mi
Facets:
Source sentences:
text: From this, we get a mean diameter of 12,742 km (7917.5 mi).