(define (problem assem-x-27) (:domain assembly) (:objects connector frob-51 mount-49 tube-58 wire-52 kludge-53 device-54 bracket-56 thingumbob-17 hack-59 valve-61 widget-62 connector-63 unit-64 fastener-24 foobar-18 contraption-19 plug-21 doodad-22 plug-31 bracket-25 whatsis-26 hoozawhatsie-27 foobar-28 wire-29 connector-30 hack-14 doodad-32 device-9 fastener-10 valve-11 tube-13 frob-3 sprocket-15 coil-16 kludge-5 contraption-7 gimcrack-8 unit mount-4 unit-1 widget-2 thingumbob sprocket kludge widget valve wire tube socket device frob fastener bracket hoozawhatsie whatsis foobar gimcrack - assembly hammock scalpel voltmeter - resource) (:init (available mount-49) (available wire-52) (available kludge-53) (available device-54) (available bracket-56) (available hack-59) (available valve-61) (available widget-62) (available connector-63) (available unit-64) (available foobar-18) (available contraption-19) (available plug-21) (available doodad-22) (available bracket-25) (available whatsis-26) (available hoozawhatsie-27) (available foobar-28) (available wire-29) (available connector-30) (available doodad-32) (available device-9) (available fastener-10) (available valve-11) (available tube-13) (available sprocket-15) (available coil-16) (available kludge-5) (available contraption-7) (available gimcrack-8) (available mount-4) (available unit-1) (available widget-2) (available thingumbob) (available widget) (available valve) (available tube) (available frob) (available hoozawhatsie) (available foobar) (available gimcrack) (available hammock) (available scalpel) (available voltmeter) (requires frob-51 voltmeter) (requires tube-58 hammock) (requires thingumbob-17 voltmeter) (requires fastener-24 hammock) (requires plug-31 hammock) (requires hack-14 hammock) (requires frob-3 voltmeter) (requires unit voltmeter) (requires sprocket scalpel) (requires kludge scalpel) (requires wire voltmeter) (requires socket scalpel) (requires device voltmeter) (requires fastener hammock) (requires bracket scalpel) (part-of frob-51 connector) (part-of tube-58 connector) (part-of thingumbob-17 connector) (part-of fastener-24 connector) (part-of plug-31 connector) (part-of hack-14 connector) (part-of frob-3 connector) (part-of unit connector) (part-of sprocket connector) (part-of socket connector) (part-of fastener connector) (part-of mount-49 frob-51) (part-of contraption-7 frob-51) (part-of wire-52 tube-58) (part-of kludge-53 tube-58) (part-of device-54 tube-58) (part-of hoozawhatsie-27 tube-58) (transient-part bracket-56 tube-58) (part-of sprocket-15 tube-58) (part-of hack-59 thingumbob-17) (part-of device thingumbob-17) (part-of valve-61 thingumbob-17) (part-of widget-62 thingumbob-17) (part-of connector-63 thingumbob-17) (part-of unit-64 thingumbob-17) (part-of foobar-18 fastener-24) (part-of contraption-19 fastener-24) (part-of mount-4 fastener-24) (part-of plug-21 fastener-24) (transient-part doodad-22 fastener-24) (part-of kludge fastener-24) (part-of bracket-25 plug-31) (part-of whatsis-26 plug-31) (transient-part hoozawhatsie-27 plug-31) (transient-part foobar-28 plug-31) (part-of wire-29 plug-31) (part-of connector-30 plug-31) (part-of doodad-32 hack-14) (part-of device-9 hack-14) (part-of fastener-10 hack-14) (part-of valve-11 hack-14) (part-of bracket-56 hack-14) (part-of tube-13 hack-14) (transient-part sprocket-15 frob-3) (part-of coil-16 frob-3) (part-of kludge-5 frob-3) (part-of doodad-22 frob-3) (transient-part contraption-7 frob-3) (part-of gimcrack-8 frob-3) (transient-part mount-4 unit) (part-of unit-1 unit) (part-of widget-2 unit) (part-of thingumbob unit) (transient-part kludge sprocket) (part-of wire sprocket) (transient-part widget kludge) (part-of valve kludge) (part-of tube wire) (part-of widget wire) (part-of foobar-28 socket) (transient-part device socket) ;; (part-of coil device) ;; BUG: coil not defined -- Malte (part-of frob device) (part-of bracket fastener) (part-of whatsis fastener) (part-of hoozawhatsie bracket) (part-of foobar bracket) (transient-part foobar whatsis) (part-of gimcrack whatsis) (assemble-order plug-31 unit connector) (assemble-order frob-3 plug-31 connector) (assemble-order fastener frob-51 connector) (assemble-order fastener socket connector) (assemble-order contraption-7 gimcrack-8 frob-51) (assemble-order kludge-53 wire-52 tube-58) (assemble-order kludge-53 hoozawhatsie-27 tube-58) (assemble-order hoozawhatsie-27 connector-30 tube-58) (assemble-order bracket-56 kludge-53 tube-58) (assemble-order bracket-56 hoozawhatsie-27 tube-58) (assemble-order bracket-56 device-54 tube-58) (remove-order kludge-53 bracket-56 tube-58) (assemble-order sprocket-15 gimcrack-8 tube-58) (assemble-order device foobar-28 thingumbob-17) (assemble-order mount-4 widget-2 fastener-24) (assemble-order doodad-22 contraption-19 fastener-24) (remove-order contraption-19 doodad-22 fastener-24) (assemble-order kludge wire fastener-24) (assemble-order whatsis-26 hoozawhatsie-27 plug-31) (assemble-order whatsis-26 foobar-28 plug-31) (assemble-order hoozawhatsie-27 connector-30 plug-31) (remove-order connector-30 hoozawhatsie-27 plug-31) (assemble-order foobar-28 bracket-25 plug-31) (remove-order bracket-25 foobar-28 plug-31) (assemble-order wire-29 whatsis-26 plug-31) (assemble-order connector-30 foobar-28 plug-31) (assemble-order doodad-32 fastener-10 hack-14) (assemble-order doodad-32 valve-11 hack-14) (assemble-order device-9 valve-11 hack-14) (assemble-order bracket-56 kludge-53 hack-14) (assemble-order bracket-56 hoozawhatsie-27 hack-14) (assemble-order bracket-56 device-54 hack-14) (assemble-order sprocket-15 gimcrack-8 frob-3) (remove-order gimcrack-8 sprocket-15 frob-3) (assemble-order doodad-22 contraption-19 frob-3) (assemble-order contraption-7 gimcrack-8 frob-3) (remove-order gimcrack-8 contraption-7 frob-3) (assemble-order mount-4 widget-2 unit) (remove-order widget-2 mount-4 unit) (assemble-order kludge wire sprocket) (remove-order wire kludge sprocket) (assemble-order widget valve kludge) (remove-order valve widget kludge) (assemble-order widget valve wire) (assemble-order foobar-28 bracket-25 socket) (assemble-order device foobar-28 socket) ;; (remove-order contraption device socket) ;; BUG: contraption not defined -- Malte ;; (assemble-order coil plug device) ;; BUG: coil not defined -- Malte (assemble-order hoozawhatsie foobar bracket) (assemble-order foobar gimcrack bracket) (assemble-order foobar gimcrack bracket) (assemble-order foobar gimcrack whatsis) (assemble-order foobar gimcrack whatsis) (remove-order gimcrack foobar whatsis)) (:goal (complete connector)))