Assertion list
bank money (subgroup of money ) → HasA
Results from Ascent++: 1
bank money → HasA → intrinsic value 0.39