Assertion list
potential tenant (subgroup of tenant ) → HasProperty
Results from Ascent++: 1
potential tenant → HasProperty → suitable 0.25