Assertion list
new owner (subgroup of owner ) → HasA
Results from Ascent++: 4
new owner → HasA → right 0.35
new owner → HasA → full information 0.25
new owner → HasA → little 0.25
new owner → HasA → vision 0.16