(define (problem assem-x-6) (:domain assembly) (:objects bracket doodad wire-3 plug-7 thingumbob-8 gimcrack socket-4 connector-1 device-2 device plug kludge fastener wire frob thingumbob mount socket coil contraption widget hoozawhatsie sprocket valve hack unit tube foobar whatsis connector - assembly tweezers - resource) (:init (available plug-7) (available thingumbob-8) (available socket-4) (available connector-1) (available device-2) (available plug) (available kludge) (available fastener) (available wire) (available frob) (available thingumbob) (available socket) (available coil) (available contraption) (available widget) (available hoozawhatsie) (available sprocket) (available hack) (available unit) (available tube) (available foobar) (available whatsis) (available connector) (available tweezers) (requires doodad tweezers) (requires device tweezers) (requires mount tweezers) (requires valve tweezers) (part-of doodad bracket) (part-of device bracket) (part-of mount bracket) (part-of valve bracket) (part-of wire-3 doodad) (part-of gimcrack doodad) (part-of plug-7 wire-3) (part-of thingumbob-8 wire-3) (part-of socket-4 gimcrack) (part-of connector-1 gimcrack) (part-of device-2 gimcrack) (part-of plug device) (part-of kludge device) (part-of fastener device) (part-of wire device) (part-of frob device) (part-of thingumbob device) (part-of socket mount) (part-of coil mount) (part-of contraption mount) (part-of widget mount) (part-of hoozawhatsie mount) (part-of sprocket mount) (part-of hack valve) (part-of unit valve) (part-of tube valve) (part-of foobar valve) (part-of whatsis valve) (part-of connector valve) (assemble-order mount doodad bracket) (assemble-order valve doodad bracket) (assemble-order gimcrack wire-3 doodad) (assemble-order connector-1 device-2 gimcrack) (assemble-order fastener kludge device) (assemble-order wire kludge device) (assemble-order frob thingumbob device) (assemble-order thingumbob kludge device) (assemble-order coil socket mount) (assemble-order contraption socket mount) (assemble-order widget sprocket mount) (assemble-order hoozawhatsie sprocket mount) (assemble-order tube whatsis valve)) (:goal (complete bracket)))