Assertion list
money bill (subgroup of bill ) → IsA
Results from Ascent++: 1
money bill → IsA → bill 0.36