Assertion list
bright star (subgroup of star ) → HasA
Results from Ascent++: 1
bright star → HasA → negative magnitudes 0.35