Assertion list for term "betelgeuse".

Results from Ascent++: 1
bright star (subgroup of star) IsAbetelgeuse 0.22