Assertion list
good tenant (subgroup of tenant ) → HasProperty

Results from Ascent++: 1
good tenantHasProperty responsible 0.20