Assertion list
new tenant (subgroup of tenant ) → HasA
Results from Ascent++: 1
new tenant → HasA → dog 0.25