Assertion list
excess reserve (subgroup of reserve ) → IsA
Results from Ascent++: 1
excess reserve → IsA → zero 0.49