Assertion: planet | /r/AtLocation | the iau style manual
Facets:
Source sentences:
text: While there are cultural names for the planets and Earth's satellite in other languages, there are classic names for the major planets and Moon which appear in English language IAU resolutions and the IAU Style Manual (which was approved by an IAU resolution in 1988).