Assertion list
hard money (subgroup of money ) → IsA

Results from Ascent++: 1
hard moneyIsA money 0.68