Assertion: asterism's star | /r/HasProperty | cor caroli
Facets:
Source sentences:
text: The Great Diamond, or Diamond of Virgo, is a prominent spring asterism formed by the bright stars Cor Caroli in Canes Venatici constellation, Arcturus in Boötes, Spica in Virgo, and Denebola in Leo.