Assertion list for term "cover due payments of any amount".

Results from Ascent++: 1
guarantee CapableOfcover due payments of any amount 0.25