Assertion list
helicopter money (subgroup of money ) → IsA
Results from Ascent++: 1
helicopter money → IsA → money 0.68