Assertion list
large bank (subgroup of bank ) → HasA
Results from Ascent++: 2
large bank → HasA → resource 0.48
large bank → HasA → atm 0.25