Assertion list
joint tenant (subgroup of tenant ) → IsA
Results from Ascent++: 1
joint tenant → IsA → joint tenants 0.63