Assertion list for term "continue orbiting for the rest of time".

Results from Ascent++: 1
voyager CapableOfcontinue orbiting for the rest of time 0.25