Assertion: trigonometric function's value | /r/HasProperty | half of the value of versine
Facets:
Source sentences:
text: In the table of secret trig functions, "ha" clearly means half; the value of haversine is half of the value of versine, for example.