Assertion list for term "maximum and knownamount".

Results from Ascent++: 1
monthly payment (subgroup of payment) IsAmaximum and knownamount 0.25