Assertion list
original mortgage (subgroup of mortgage ) → AtLocation
Results from Ascent++: 1
original mortgage → AtLocation → effect 0.68