Assertion: celestial sphere's star | /r/HasProperty | diphda
Facets:
Source sentences:
text: The 10 brightest stars in Cetus are Diphda (Beta Ceti, mag. 2.02), Menkar (Alpha Ceti, mag. 2.53), Eta Ceti (mag.