Assertion list for term "reduce remaining balance of the mortgage".
Results from Ascent++: 1
monthly payment (subgroup of payment) → CapableOf → reduce remaining balance of the mortgage 0.48