Assertion list for term "pay all debts of the branch".

Results from Ascent++: 1
treasurer CapableOfpay all debts of the branch 0.25