Assertion list
speed (aspect of motor ) → AtLocation
Results from Ascent++: 1
speed → AtLocation → inverse proportion 0.25