Assertion list
holdover tenant (subgroup of tenant ) → CapableOf
Results from Ascent++: 1
holdover tenant → CapableOf → remain in property 0.25