Assertion: planet's star | /r/HasProperty | mu arae
Facets:
Source sentences:
text: As a result of the NameExoWorlds campaign in December 2015 the IAU approved the names Cervantes (honoring the writer Miguel de Cervantes) and Copernicus (honoring the astronomer Nicolaus Copernicus) for the stars Mu Arae and 55 Cancri A, respectively.