Assertion list for term "account for proceed".

Results from Ascent++: 1
obligation (aspect of contract) CapableOfaccount for proceed 0.25