(blockA OBJECT) (blockB OBJECT) (blockC OBJECT) (preconds (on-table blockA) (on-table blockB) (on blockC blockA) (clear blockB) (clear blockC) (arm-empty)) (effects (on blockA blockB) (on blockB blockC))