Assertion list
budgeting spreadsheet (subgroup of spreadsheet ) → HasProperty
Results from Ascent++: 1
budgeting spreadsheet → HasProperty → correct 0.68