Assertion list
second mortgage (subgroup of mortgage ) → IsA
Results from Ascent++: 2
second mortgage → IsA → a purchase money mortgage 0.25
second mortgage → IsA → second mortgage 0.25