Assertion list
reverse mortgage (subgroup of mortgage ) → HasPrerequisite
Results from Ascent++: 1
reverse mortgage → HasPrerequisite → monthly mortgage payments 0.38