Assertion list
massive star (subgroup of star ) → HasA
Results from Ascent++: 2
massive star → HasA → short lives 0.52
massive star → HasA → more fuel 0.25