Assertion list
motion (aspect of body ) → AtLocation
Results from Ascent++: 2
motion → AtLocation → straight line 0.46
motion → AtLocation → the curve of a parabola 0.29