Assertion list
holdover tenant (subgroup of tenant ) → IsA
Results from Ascent++: 1
holdover tenant → IsA → tenant 0.68