Assertion list
foreign bank (subgroup of bank ) → IsA

Results from Ascent++: 2
foreign bankIsA bank 0.33
foreign bankIsA national bank 0.25