Assertion: asterism's star | /r/HasProperty | alioth
Facets:
Source sentences:
text: The stars that form the Big Dipper are the seven brightest stars in Ursa Major: Alioth, Dubhe, Merak, Alkaid, Phecda, Megrez, and Mizar.
text: The brightest star in the Big Dipper asterism is Alioth, Epsilon Ursae Majoris, which is also the brightest star in the constellation Ursa Major and the 31st brightest star in the sky.