Assertion list for term "pay remaining revenues".

Results from Ascent++: 1
treasurer CapableOfpay remaining revenues 0.27