(define (problem assem-x-7) (:domain assembly) (:objects unit kludge-4 connector-5 gimcrack-6 mount-7 sprocket-3 foobar device-1 socket-2 wire kludge whatsis plug widget socket doodad thingumbob gimcrack tube contraption valve mount frob hack connector fastener bracket device - assembly scope pliers voltmeter - resource) (:init (available connector-5) (available gimcrack-6) (available mount-7) (available sprocket-3) (available device-1) (available socket-2) (available kludge) (available whatsis) (available widget) (available socket) (available doodad) (available gimcrack) (available tube) (available valve) (available mount) (available frob) (available hack) (available connector) (available bracket) (available device) (available scope) (available pliers) (available voltmeter) (requires kludge-4 voltmeter) (requires foobar voltmeter) (requires wire voltmeter) (requires plug voltmeter) (requires thingumbob pliers) (requires contraption scope) (requires fastener pliers) (part-of kludge-4 unit) (part-of foobar unit) (part-of plug unit) (part-of thingumbob unit) (part-of contraption unit) (part-of fastener unit) (transient-part connector-5 kludge-4) (part-of gimcrack-6 kludge-4) (part-of mount-7 kludge-4) (part-of bracket kludge-4) (part-of sprocket-3 kludge-4) (part-of device-1 foobar) (part-of socket-2 foobar) (part-of wire foobar) (part-of kludge wire) (part-of whatsis wire) (part-of widget plug) (transient-part socket plug) (part-of doodad plug) (part-of hack thingumbob) (part-of socket thingumbob) (part-of gimcrack thingumbob) (part-of tube thingumbob) (part-of valve contraption) (part-of mount contraption) (part-of frob contraption) (transient-part hack contraption) (part-of connector-5 contraption) (part-of connector contraption) (transient-part bracket fastener) (part-of device fastener) (assemble-order foobar kludge-4 unit) (assemble-order foobar contraption unit) (assemble-order foobar plug unit) (assemble-order connector-5 mount-7 kludge-4) (remove-order mount-7 connector-5 kludge-4) (assemble-order bracket device kludge-4) (assemble-order bracket device kludge-4) (assemble-order sprocket-3 bracket kludge-4) (assemble-order sprocket-3 connector-5 kludge-4) (assemble-order socket-2 device-1 foobar) (assemble-order kludge whatsis wire) (assemble-order socket doodad plug) (remove-order doodad socket plug) (assemble-order hack connector-5 thingumbob) (assemble-order socket doodad thingumbob) (assemble-order gimcrack tube thingumbob) (assemble-order hack connector-5 contraption) ;; (remove-order sprocket hack contraption) ;; BUG: sprocket not defined -- Malte (assemble-order connector-5 mount-7 contraption) (assemble-order bracket device fastener) (assemble-order bracket device fastener) (remove-order device bracket fastener)) (:goal (complete unit)))