selector{ cond At(Coffee,Bar) selector{ cond At(Robot,CoffeeMachine) act MakeCoffee() } }