Assertion list for term "pay in one lump sum".

Results from Ascent++: 1
new boiler (subgroup of boiler) CapableOfpay in one lump sum 0.42