Assertion list
total debit (subgroup of debit ) → HasProperty
Results from Ascent++: 1
total debit → HasProperty → equal 0.25