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