Assertion list
current customer (subgroup of customer ) → ReceivesAction
Results from Ascent++: 1
current customer → ReceivesAction → served 0.25