Assertion list
bad tenant (subgroup of tenant ) → IsA
Results from Ascent++: 2
bad tenant → IsA → tenant 0.23
bad tenant → IsA → nightmare 0.16