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