Assertion list
acceleration (primary) → AtLocation
Results from Ascent++: 3
acceleration → AtLocation → opposite direction 0.44
acceleration → AtLocation → predetermined range 0.25
acceleration → AtLocation → stable state 0.25