Assertion list
home mortgage (subgroup of mortgage ) → IsA

Results from Ascent++: 1
home mortgageIsA loan 0.25