Assertion list
bank money (subgroup of money ) → IsA
Results from Ascent++: 2
bank money → IsA → money 0.68
bank money → IsA → claim 0.39