include "../bw/bw"

module BW_LONG_TABLE;

   import BLOCKS_WORLD;

   import TOP;

   objects
     Left, Right : Place;

   actions
     Walk(Place);

   variables
     p : Place;
     b, b1 : Block;
     x : Thing;
     s : Supporter;

   import LOCAL;

   import MOVE;
     Move(Robot,p) is Walk(p);

   axioms
     Actor(Robot, PutDown(b,s));
     Theme(b1, PutDown(b, b1));  

     PutDown(b,s) causes Location(b)=p if Location(Robot)=p & -Thing(s);
