Assertion list
new owner (subgroup of owner ) → Desires
Results from Ascent++: 2
new owner → Desires → meet other owners 0.25
new owner → Desires → same beneficiaries 0.25