Assertion list for term "remain on main sequence".

Results from Ascent++: 1
star CapableOfremain on main sequence 0.49