Assertion list
new owner (subgroup of owner ) → IsA

Results from Ascent++: 1
new ownerIsA tenant 0.25