Assertion list
sea urchin (primary) → AtLocation
Results from Ascent++: 1
sea urchin → AtLocation → ocean 0.47