Assertion list for term "paid by proceeding".

Results from Ascent++: 1
expense CapableOfpaid by proceeding 0.68