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