Assertion list
expense spreadsheet (subgroup of spreadsheet ) → HasProperty
Results from Ascent++: 1
expense spreadsheet → HasProperty → fun 0.16