Assertion list
flexible budget (subgroup of budget ) → IsA
Results from Ascent++: 1
flexible budget → IsA → budget 0.68