Assertion list
glider (primary) → AtLocation
Results from Ascent++: 2
glider → AtLocation → the air 0.66
glider → AtLocation → the water 0.46