Assertion list
speed (aspect of tank ) → CapableOf
Results from Ascent++: 1
speed → CapableOf → get to zero 0.25