Assertion list for term "carrying the heaviest satellites".

Results from Ascent++: 1
rocket CapableOfcarrying the heaviest satellites 0.25