Assertion list
tuna (primary) → AtLocation
Results from Ascent++: 2
tuna → AtLocation → the ocean 0.46
tuna → AtLocation → a feeding frenzy 0.33