Assertion list for term "less than the total amount".
Results from Ascent++: 1
payment (aspect of mortgage) → HasProperty → less than the total amount 0.25