Assertion list
order confirmation (subgroup of confirmation ) → ReceivesAction
Results from Ascent++: 1
order confirmation → ReceivesAction → issued 0.25