Assertion list for term "terminate four earth science missions".
Results from Ascent++: 1
budget → CapableOf → terminate four earth science missions 0.20