Assertion list
walrus (primary) → AtLocation
Results from Ascent++: 2
walrus → AtLocation → shallow waters 0.38
walrus → AtLocation → cold regions 0.25