Assertion list
good tenant (subgroup of tenant ) → IsA
Results from Ascent++: 3
good tenant → IsA → someone 0.35
good tenant → IsA → good neighbor 0.16
good tenant → IsA → key element 0.16