Assertion list for term "go to principal reduction".

Results from Ascent++: 1
mortgage CapableOfgo to principal reduction 0.16