Assertion list
basin (primary) → AtLocation
Results from Ascent++: 1
basin → AtLocation → overdraft 0.41