Assertion list for term "pay up to the termination date".

Results from Ascent++: 1
estate CapableOfpay up to the termination date 0.25