Assertion list
pet owner (subgroup of owner ) → HasA
Results from Ascent++: 1
pet owner → HasA → pet 0.31