Assertion list
bullfrog (primary) → AtLocation
Results from Ascent++: 1
bullfrog → AtLocation → a neighboring region 0.25