Assertion list
pet owner (subgroup of owner ) → HasProperty
Results from Ascent++: 1
pet owner → HasProperty → responsible 0.60