Assertion list
sea lion (primary) → AtLocation
Results from Ascent++: 1
sea lion → AtLocation → the water 0.41