Assertion list
foreign bank (subgroup of bank ) → HasProperty
Results from Ascent++: 2
foreign bank → HasProperty → active 0.40
foreign bank → HasProperty → more efficient 0.16