Assertion: latitude | /r/HasProperty | phi1 = 90.0 - lat1
Facets:
Source sentences:
text: pi / 180.0 # phi = 90 - latitude phi1 = ( 90.0 - lat1 )