Assertion list
unit owner (subgroup of owner ) → HasA
Results from Ascent++: 2
unit owner → HasA → obligation 0.47
unit owner → HasA → the option 0.25