;;;the two robots have to push a box that is near the door to another room
(load-goal '(in-room box1 rram))

(load-start-state
 '((is-type rpdp room)
   (is-type rclk room)
   (is-type rram room)
   (is-type drclkrpdp door)
   (is-type drramrclk door)
   (is-type box1 box)
   (is-type robot1 robot)
   (is-type robot2 robot)
   (connects drramrclk rclk rram)
   (connects drramrclk rram rclk)
   (connects drclkrpdp rclk rpdp)
   (connects drclkrpdp rpdp rclk)
   (pushable box1)
   (weight box1 200)
   (next-to box1 drramrclk)
   (statis drramrclk open)
   (statis drclkrpdp open)
   (in-room box1 rclk)
   (in-room robot1 rclk)
   (in-room robot2 rram)))