In the initial state, the bartender has two empty hands: left and right. There is one shaker (shaker1) and three shots (shot1, shot2, shot3), all of which are clean, empty, and placed on the table. Two ingredients are available: ingredient1 and ingredient2, dispensed by dispenser1 and dispenser2, respectively. Two cocktails are defined: cocktail1 and cocktail2, both made by mixing ingredient1 and ingredient2. The shaker (shaker1) is at fill level l0 (empty), with sequential fill levels l0 → l1 → l2.