Assertion list
catfish (primary) → AtLocation
Results from Ascent++: 1
catfish → AtLocation → lake 0.41