Assertion list
new tenant (subgroup of tenant ) → HasProperty

Results from Ascent++: 3
new tenantHasProperty acceptable 0.45
new tenantHasProperty liable 0.44
new tenantHasProperty happy 0.21