Assertion list
mortgagee (primary) → HasProperty
Results from Ascent++: 2
mortgagee → HasProperty → liable 0.68
mortgagee → HasProperty → necessary 0.36