Assertion list
consumer firework (subgroup of firework ) → ReceivesAction
Results from Ascent++: 1
consumer firework → ReceivesAction → sold 0.25