::= ::= (if-food-ahead ) ::= (progn2 ) ::= (progn3 ) ::= (left) | (right) | (move)