Assertion list for term "go into default".

Results from Ascent++: 2
mortgage CapableOfgo into default 0.54
debt CapableOfgo into default 0.32