Assertion list for term "evolve into red giant".

Results from Ascent++: 1
star CapableOfevolve into red giant 0.52