(define (problem assem-x-3) (:domain assembly) (:objects foobar coil widget tube frob socket hack hoozawhatsie sprocket thingumbob whatsis doodad gimcrack kludge contraption connector wire plug device fastener valve mount bracket unit - assembly clamp hammer file - resource) (:init (available coil) (available widget) (available frob) (available socket) (available hoozawhatsie) (available sprocket) (available thingumbob) (available whatsis) (available gimcrack) (available kludge) (available wire) (available plug) (available fastener) (available valve) (available bracket) (available unit) (available clamp) (available hammer) (available file) (requires tube clamp) (requires hack clamp) (requires doodad hammer) (requires contraption file) (requires device file) (requires mount hammer) (part-of coil foobar) (part-of widget foobar) (part-of tube foobar) (part-of hack foobar) (part-of doodad foobar) (part-of contraption foobar) (part-of mount foobar) (part-of frob tube) (part-of socket tube) (part-of hoozawhatsie hack) (part-of sprocket hack) (part-of thingumbob hack) (part-of whatsis hack) (part-of gimcrack doodad) (part-of kludge doodad) (part-of connector contraption) (part-of device contraption) (part-of wire connector) (part-of plug connector) (part-of fastener device) (part-of valve device) (part-of bracket mount) (part-of unit mount) (assemble-order coil hack foobar) (assemble-order frob socket tube) (assemble-order hoozawhatsie whatsis hack) (assemble-order thingumbob hoozawhatsie hack) (assemble-order whatsis sprocket hack) (assemble-order gimcrack kludge doodad) (assemble-order plug wire connector) (assemble-order valve fastener device) (assemble-order bracket unit mount)) (:goal (complete foobar)))