Assertion list
intended recipient (subgroup of recipient ) → HasA
Results from Ascent++: 1
intended recipient → HasA → account 0.25