Assertion list
potential tenant (subgroup of tenant ) → HasA
Results from Ascent++: 1
potential tenant → HasA → pet 0.48