Assertion list
starfish (primary) → AtLocation
Results from Ascent++: 1
starfish → AtLocation → the water 0.25