Assertion list
digital wallet (subgroup of wallet ) → ReceivesAction
Results from Ascent++: 1
digital wallet → ReceivesAction → associated with the buyer 0.25