Assertion list for term "reached red giant phase".

Results from Ascent++: 1
star CapableOfreached red giant phase 0.50