Assertion list
reverse mortgage (subgroup of mortgage ) → HasProperty
Results from Ascent++: 1
reverse mortgage → HasProperty → right 0.45