Assertion list
conventional mortgage (subgroup of mortgage ) → HasA
Results from Ascent++: 1
conventional mortgage → HasA → paid-in-full clause 0.29