Assertion list
adjustable rate mortgage (subgroup of mortgage ) → IsA

Results from Ascent++: 1
adjustable rate mortgageIsA mortgage 0.57