(DEFINE (PROBLEM ASSEM-14) (:DOMAIN ASSEMBLY) (:OBJECTS SOCKET BRACKET HACK KLUDGE THINGUMBOB PLUG TUBE DOODAD GIMCRACK CONNECTOR SPROCKET FOOBAR FROB WHATSIS DEVICE CONTRAPTION WIDGET VALVE MOUNT - ASSEMBLY PLIERS CLAMP HAMMOCK - RESOURCE) (:INIT (AVAILABLE KLUDGE) (AVAILABLE THINGUMBOB) (AVAILABLE TUBE) (AVAILABLE DOODAD) (AVAILABLE GIMCRACK) (AVAILABLE SPROCKET) (AVAILABLE FOOBAR) (AVAILABLE FROB) (AVAILABLE DEVICE) (AVAILABLE WIDGET) (AVAILABLE VALVE) (AVAILABLE MOUNT) (REQUIRES BRACKET PLIERS) (REQUIRES HACK HAMMOCK) (REQUIRES PLUG CLAMP) (REQUIRES CONNECTOR PLIERS) (REQUIRES WHATSIS PLIERS) (REQUIRES CONTRAPTION CLAMP) (PART-OF BRACKET SOCKET) (PART-OF PLUG SOCKET) (PART-OF CONNECTOR SOCKET) (PART-OF WHATSIS SOCKET) (PART-OF DOODAD BRACKET) (PART-OF HACK BRACKET) (TRANSIENT-PART KLUDGE HACK) (PART-OF THINGUMBOB HACK) (TRANSIENT-PART TUBE PLUG) (TRANSIENT-PART DOODAD PLUG) (PART-OF GIMCRACK PLUG) (TRANSIENT-PART SPROCKET CONNECTOR) (PART-OF FOOBAR CONNECTOR) (PART-OF FROB CONNECTOR) (PART-OF TUBE WHATSIS) (PART-OF DEVICE WHATSIS) (PART-OF CONTRAPTION WHATSIS) (PART-OF WIDGET CONTRAPTION) (PART-OF VALVE CONTRAPTION) (PART-OF MOUNT CONTRAPTION) (ASSEMBLE-ORDER DOODAD GIMCRACK BRACKET) (ASSEMBLE-ORDER KLUDGE THINGUMBOB HACK) (ASSEMBLE-ORDER KLUDGE THINGUMBOB HACK) (REMOVE-ORDER THINGUMBOB KLUDGE HACK) (ASSEMBLE-ORDER TUBE DOODAD PLUG) (ASSEMBLE-ORDER TUBE GIMCRACK PLUG) (REMOVE-ORDER DOODAD TUBE PLUG) (ASSEMBLE-ORDER DOODAD GIMCRACK PLUG) (REMOVE-ORDER GIMCRACK DOODAD PLUG) (ASSEMBLE-ORDER SPROCKET FROB CONNECTOR) (REMOVE-ORDER FROB SPROCKET CONNECTOR) (ASSEMBLE-ORDER FOOBAR SPROCKET CONNECTOR) (ASSEMBLE-ORDER TUBE DOODAD WHATSIS) (ASSEMBLE-ORDER TUBE GIMCRACK WHATSIS) (ASSEMBLE-ORDER DEVICE CONTRAPTION WHATSIS) (ASSEMBLE-ORDER VALVE WIDGET CONTRAPTION)) (:GOAL (COMPLETE SOCKET)))