Assertion list
large bank (subgroup of bank ) → HasPrerequisite
Results from Ascent++: 1
large bank → HasPrerequisite → significant amount of additiona… 0.25