Assertion list
saving bank (subgroup of bank ) → HasProperty
Results from Ascent++: 1
saving bank → HasProperty → exempt 0.28