Assertion list
buoy (primary) → AtLocation
Results from Ascent++: 1
buoy → AtLocation → the water 0.49