Assertion list for term "arrive at the mars sphere of influence".
Results from Ascent++: 1
spacecraft → CapableOf → arrive at the mars sphere of influence 0.30