Assertion: ellipsoid's length | /r/HasProperty | determined by calculation
Facets:
Source sentences:
text: A geodetic datum is as defined above, together with the coordinate system and the set of all points and lines whose coordinates, lengths, and directions have been determined by measurement and calculation.