NAME Place ?x on ?y IF holding ?x clear ?y ADD ?x on ?y clear ?x handEmpty DELETE clear ?y holding ?x NAME remove ?x from on top ?y IF ?x on ?y clear ?x handEmpty ADD clear ?y holding ?x DELETE ?x on ?y clear ?x handEmpty NAME pick up ?x from the table IF ontable ?x clear ?x handEmpty ADD holding ?x DELETE ontable ?x clear ?x handEmpty NAME put ?x down on the table IF holding ?x ADD ontable ?x clear ?x handEmpty DELETE holding ?x