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