(DEFINE (PROBLEM ASSEM-11) (:DOMAIN ASSEMBLY) (:OBJECTS TUBE CONNECTOR VALVE THINGUMBOB FOOBAR WHATSIS HOOZAWHATSIE COIL HACK DEVICE PLUG MOUNT SPROCKET FROB UNIT CONTRAPTION WIRE FASTENER SOCKET - ASSEMBLY CHARGER TWEEZERS PLIERS - RESOURCE) (:INIT (AVAILABLE VALVE) (AVAILABLE THINGUMBOB) (AVAILABLE WHATSIS) (AVAILABLE HOOZAWHATSIE) (AVAILABLE HACK) (AVAILABLE DEVICE) (AVAILABLE PLUG) (AVAILABLE MOUNT) (AVAILABLE FROB) (AVAILABLE UNIT) (AVAILABLE CONTRAPTION) (AVAILABLE WIRE) (AVAILABLE FASTENER) (AVAILABLE SOCKET) (REQUIRES CONNECTOR PLIERS) (REQUIRES FOOBAR TWEEZERS) (REQUIRES COIL PLIERS) (REQUIRES SPROCKET CHARGER) (PART-OF CONNECTOR TUBE) (PART-OF FOOBAR TUBE) (PART-OF COIL TUBE) (PART-OF SPROCKET TUBE) (PART-OF VALVE CONNECTOR) (PART-OF THINGUMBOB CONNECTOR) (PART-OF DEVICE CONNECTOR) (PART-OF WHATSIS FOOBAR) (PART-OF HOOZAWHATSIE FOOBAR) (PART-OF HACK FOOBAR) (TRANSIENT-PART HACK COIL) (TRANSIENT-PART DEVICE COIL) (PART-OF PLUG COIL) (PART-OF MOUNT COIL) (PART-OF FROB SPROCKET) (PART-OF UNIT SPROCKET) (PART-OF CONTRAPTION SPROCKET) (PART-OF WIRE SPROCKET) (PART-OF FASTENER SPROCKET) (PART-OF SOCKET SPROCKET) (ASSEMBLE-ORDER COIL SPROCKET TUBE) (ASSEMBLE-ORDER DEVICE PLUG CONNECTOR) (ASSEMBLE-ORDER DEVICE PLUG CONNECTOR) (ASSEMBLE-ORDER HACK MOUNT FOOBAR) (ASSEMBLE-ORDER HACK MOUNT COIL) (REMOVE-ORDER MOUNT HACK COIL) (ASSEMBLE-ORDER DEVICE PLUG COIL) (ASSEMBLE-ORDER DEVICE PLUG COIL) (REMOVE-ORDER PLUG DEVICE COIL) (ASSEMBLE-ORDER PLUG HACK COIL) (ASSEMBLE-ORDER UNIT FROB SPROCKET) (ASSEMBLE-ORDER WIRE CONTRAPTION SPROCKET) (ASSEMBLE-ORDER SOCKET FROB SPROCKET)) (:GOAL (COMPLETE TUBE)))