Assertion list
leg (aspect of ant ) → AtLocation
Results from Ascent++: 1
leg → AtLocation → swing phase 0.25