Assertion list
skydiver (primary) → AtLocation
Results from Ascent++: 1
skydiver → AtLocation → freefall 0.32