Assertion list
foreign bank (subgroup of bank ) → AtLocation
Results from Ascent++: 1
foreign bank → AtLocation → any state 0.25