Assertion list
main sequence star (subgroup of star ) → AtLocation
Results from Ascent++: 1
main sequence star → AtLocation → a state of equilibrium 0.25