(DEFINE (PROBLEM ASSEM-6) (:DOMAIN ASSEMBLY) (:OBJECTS MOUNT HOOZAWHATSIE BRACKET TUBE SOCKET HACK WHATSIS WIDGET CONNECTOR FASTENER VALVE GIMCRACK THINGUMBOB DEVICE FOOBAR - ASSEMBLY CHARGER HAMMER - RESOURCE) (:INIT (AVAILABLE BRACKET) (AVAILABLE TUBE) (AVAILABLE SOCKET) (AVAILABLE WIDGET) (AVAILABLE CONNECTOR) (AVAILABLE VALVE) (AVAILABLE GIMCRACK) (AVAILABLE DEVICE) (AVAILABLE FOOBAR) (REQUIRES HOOZAWHATSIE CHARGER) (REQUIRES HACK CHARGER) (REQUIRES WHATSIS HAMMER) (REQUIRES FASTENER HAMMER) (REQUIRES THINGUMBOB HAMMER) (PART-OF HOOZAWHATSIE MOUNT) (PART-OF HACK MOUNT) (PART-OF THINGUMBOB MOUNT) (PART-OF BRACKET HOOZAWHATSIE) (PART-OF DEVICE HOOZAWHATSIE) (PART-OF TUBE HOOZAWHATSIE) (PART-OF SOCKET HOOZAWHATSIE) (PART-OF WHATSIS HACK) (PART-OF FASTENER HACK) (PART-OF WIDGET WHATSIS) (PART-OF CONNECTOR WHATSIS) (PART-OF VALVE FASTENER) (PART-OF GIMCRACK FASTENER) (TRANSIENT-PART DEVICE THINGUMBOB) (PART-OF FOOBAR THINGUMBOB) (ASSEMBLE-ORDER DEVICE FOOBAR HOOZAWHATSIE) (ASSEMBLE-ORDER SOCKET DEVICE HOOZAWHATSIE) (ASSEMBLE-ORDER WHATSIS FASTENER HACK) (ASSEMBLE-ORDER CONNECTOR WIDGET WHATSIS) (ASSEMBLE-ORDER VALVE GIMCRACK FASTENER) (ASSEMBLE-ORDER DEVICE FOOBAR THINGUMBOB) (REMOVE-ORDER FOOBAR DEVICE THINGUMBOB)) (:GOAL (COMPLETE MOUNT)))