Assertion list for term "arrive at the position".

Results from Ascent++: 1
footstep CapableOfarrive at the position 0.50