selector{
cond EnvExplored()
selector{
cond At(Robot,Bar)
act ExploreEnv()
}
}