Assertion: celestial sphere's star | /r/HasProperty | labelled with greek letter
Facets:
value: to indicate their bayer designation
type: PURPOSE
Source sentences:
text: The 58 selected stars for navigation are shown in blue and labelled with their common name, star number, and a Greek letter to indicate their Bayer designation.
text: The additional 115 tabulated stars that can also be used for navigation are shown in red and labelled with a Greek letter to indicate their Bayer designation.