Assertion: circle's diameter | /r/HasProperty | 8000 miles long
Facets:
Source sentences:
text: Then the mean proportional between OS and OB will be very nearly equal to a sixth of the circumference, the error being less than a twelfth of an inch when the diameter is 8000 miles long.