Assertion list for term "remain in property".

Results from Ascent++: 1
holdover tenant (subgroup of tenant) CapableOfremain in property 0.25