(doc make-gt350 "Make GT350")

(and (doc make-interior "Make Interior")
     (forall (?a : (activation-of ?a make-interior))
      (exists (?o1 : (instance-of ?o1 a002-bench)) (in ?o1 ?a)))
     (and (duration make-interior 5) (beginof make-interior 7)))

(and (doc make-drive "Make Drive")
     (forall (?a : (activation-of ?a make-drive))
      (exists (?o1 : (instance-of ?o1 a003-bench)) (in ?o1 ?a))))

(and (doc make-trim "Make Trim")
     (forall (?a : (activation-of ?a make-trim))
      (exists
       (?o1 ?o2 : (instance-of ?o1 a002-bench)
        (instance-of ?o2 a005-bench))
       (and (in ?o1 ?a) (in ?o2 ?a)))))

(doc make-chassis "Make Chassis")

(doc final-assembly "Final Assembly")

(doc make-hamess "Make Hamess")

(doc make-wires "Make Wires")

(doc assemble-engine "Assemble Engine")

(doc machine-block "Machine Block")

(doc change-mould "Change Mould")

(doc setup-furnace "Setup Furnace")

(doc analyse-metal "Analyse Metal")

(doc melt "Melt")

(doc wait "Wait")

(doc clear-cavities "Clear Cavities")

(doc setup-racks "Setup Racks")

(doc pour "Pour")

(doc remove-racks "Remove Racks")

(doc batch-complete "Batch Complete")

(and (doc make-gt350-proc "Make GT350 Process")
     (subactivity make-interior-1 make-gt350-proc)
     (subactivity make-drive-1 make-gt350-proc)
     (subactivity make-trim-1 make-gt350-proc)
     (subactivity make-chassis-1 make-gt350-proc)
     (subactivity final-assembly-1 make-gt350-proc)
     (subactivity j2 make-gt350-proc) (subactivity j1 make-gt350-proc)
     (subactivity make-harness-1 make-gt350-proc)
     (subactivity make-wires-1 make-gt350-proc)
     (subactivity assemble-engine-1 make-gt350-proc)
     (subactivity j4 make-gt350-proc) (subactivity j3 make-gt350-proc)
     (subactivity machine-block-1 make-gt350-proc)
     (subactivity change-mould-1 make-gt350-proc)
     (subactivity setup-furnace-1 make-gt350-proc)
     (subactivity analyse-metal-1 make-gt350-proc)
     (subactivity melt-1 make-gt350-proc)
     (subactivity wait-1 make-gt350-proc)
     (subactivity clear-cavities-1 make-gt350-proc)
     (subactivity j8 make-gt350-proc) (subactivity j7 make-gt350-proc)
     (subactivity j6 make-gt350-proc) (subactivity j5 make-gt350-proc)
     (subactivity setup-racks-1 make-gt350-proc)
     (subactivity pour-1 make-gt350-proc)
     (subactivity remove-racks-1 make-gt350-proc)
     (subactivity batch-complete-1 make-gt350-proc)
     (idef-process make-gt350-proc))

(and (doc make-interior-1
      "The occurence of Make-Interior in the Dec-19 schematic")
     (forall (?a : (activation-of ?a make-interior-1))
      (activation-of ?a make-interior))
     (forall (?a : (activation-of ?a make-interior-1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?a ?p))))

(and (doc make-drive-1
      "The occurence of Make-Drive in the Dec-19 schematic")
     (forall (?a : (activation-of ?a make-drive-1))
      (activation-of ?a make-drive))
     (forall (?a : (activation-of ?a make-drive-1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?a ?p))))

(and (doc make-trim-1
      "The occurence of Make-Trim in the Dec-19 schematic")
     (forall (?a : (activation-of ?a make-trim-1))
      (activation-of ?a make-trim))
     (forall (?a : (activation-of ?a make-trim-1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?a ?p))))

(and (doc make-chassis-1
      "The occurence of Make-Chassis in the Dec-19 schematic")
     (forall (?a : (activation-of ?a make-chassis-1))
      (activation-of ?a make-chassis))
     (forall (?a : (activation-of ?a make-chassis-1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?a ?p))))

(and (doc final-assembly-1
      "The occurence of Final-Assembly in the Dec-19 schematic")
     (forall (?a : (activation-of ?a final-assembly-1))
      (activation-of ?a final-assembly))
     (forall (?a : (activation-of ?a final-assembly-1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?a ?p))))

(and (doc j2 "J2")
     (forall (?j : (activation-of ?j j2))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?j ?p)))
     (follows j2 final-assembly-1 make-gt350-proc)
     (and (and_split j2 make-gt350-proc)
          (subactivity make-interior-1 j2)
          (subactivity make-drive-1 j2) (subactivity make-trim-1 j2)
          (subactivity assemble-engine-1 j2)
          (subactivity make-chassis-1 j2)))

(and (doc j1 "J1")
     (forall (?j : (activation-of ?j j1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?j ?p)))
     (and (and_split j1 make-gt350-proc)
          (subactivity make-interior-1 j1)
          (subactivity make-drive-1 j1) (subactivity make-trim-1 j1)
          (subactivity j3 j1) (subactivity make-chassis-1 j1)))

(and (doc make-harness-1
      "The occurence of Make-Harness in the Dec-26 schematic")
     (forall (?a : (activation-of ?a make-harness-1))
      (activation-of ?a make-harness))
     (forall (?a : (activation-of ?a make-harness-1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?a ?p))))

(and (doc make-wires-1
      "The occurence of Make-Wires in the Dec-26 schematic")
     (forall (?a : (activation-of ?a make-wires-1))
      (activation-of ?a make-wires))
     (forall (?a : (activation-of ?a make-wires-1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?a ?p))))

(and (doc assemble-engine-1
      "The occurence of Assemble-Engine in the Dec-26 schematic")
     (forall (?a : (activation-of ?a assemble-engine-1))
      (activation-of ?a assemble-engine))
     (forall (?a : (activation-of ?a assemble-engine-1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?a ?p))))

(and (doc j4 "J4")
     (forall (?j : (activation-of ?j j4))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?j ?p)))
     (follows j4 assemble-engine-1 make-gt350-proc)
     (and (and_split j4 make-gt350-proc)
          (subactivity machine-block-1 j4)
          (subactivity make-harness-1 j4)
          (subactivity make-wires-1 j4)))

(and (doc j3 "J3")
     (forall (?j : (activation-of ?j j3))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?j ?p)))
     (and (and_split j3 make-gt350-proc) (subactivity j5 j3)
          (subactivity make-harness-1 j3)
          (subactivity make-wires-1 j3)))

(and (doc machine-block-1
      "The occurence of Machine-Block in the Dec-27 schematic")
     (forall (?a : (activation-of ?a machine-block-1))
      (activation-of ?a machine-block))
     (forall (?a : (activation-of ?a machine-block-1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?a ?p))))

(and (doc l93 "L93")
     (follows clear-cavities-1 machine-block-1 make-gt350-proc))

(and (doc change-mould-1
      "The occurence of Change-Mould in the Dec-1 schematic")
     (forall (?a : (activation-of ?a change-mould-1))
      (activation-of ?a change-mould))
     (forall (?a : (activation-of ?a change-mould-1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?a ?p))))

(and (doc setup-furnace-1
      "The occurence of Setup-Furnace in the Dec-1 schematic")
     (forall (?a : (activation-of ?a setup-furnace-1))
      (activation-of ?a setup-furnace))
     (forall (?a : (activation-of ?a setup-furnace-1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?a ?p))))

(and (doc analyse-metal-1
      "The occurence of Analyse-Metal in the Dec-1 schematic")
     (forall (?a : (activation-of ?a analyse-metal-1))
      (activation-of ?a analyse-metal))
     (forall (?a : (activation-of ?a analyse-metal-1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?a ?p))))

(and (doc melt-1 "The occurence of Melt in the Dec-1 schematic")
     (forall (?a : (activation-of ?a melt-1)) (activation-of ?a melt))
     (forall (?a : (activation-of ?a melt-1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?a ?p))))

(and (doc wait-1 "The occurence of Wait in the Dec-1 schematic")
     (forall (?a : (activation-of ?a wait-1)) (activation-of ?a wait))
     (forall (?a : (activation-of ?a wait-1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?a ?p))))

(and (doc clear-cavities-1
      "The occurence of Clear-Cavities in the Dec-1 schematic")
     (forall (?a : (activation-of ?a clear-cavities-1))
      (activation-of ?a clear-cavities))
     (forall (?a : (activation-of ?a clear-cavities-1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?a ?p))))

(and (doc j8 "J8")
     (forall (?j : (activation-of ?j j8))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?j ?p)))
     (follows j8 setup-racks-1 make-gt350-proc)
     (and (and_split j8 make-gt350-proc)
          (subactivity analyse-metal-1 j8) (subactivity melt-1 j8)))

(and (doc j7 "J7")
     (forall (?j : (activation-of ?j j7))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?j ?p)))
     (follows setup-furnace-1 j7 make-gt350-proc)
     (and (and_split j7 make-gt350-proc)
          (subactivity analyse-metal-1 j7) (subactivity melt-1 j7)))

(and (doc j6 "J6")
     (forall (?j : (activation-of ?j j6))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?j ?p)))
     (follows j6 setup-furnace-1 make-gt350-proc)
     (and (xor_split j6 make-gt350-proc)
          (subactivity change-mould-1 j6)))

(and (doc j5 "J5")
     (forall (?j : (activation-of ?j j5))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?j ?p)))
     (and (xor_split j5 make-gt350-proc) (subactivity j6 j5)
          (subactivity change-mould-1 j5)))

(and (doc l121 "L121")
     (follows remove-racks-1 batch-complete-1 make-gt350-proc))

(and (doc l122 "L122") (follows pour-1 remove-racks-1 make-gt350-proc))

(and (doc l124 "L124") (follows setup-racks-1 pour-1 make-gt350-proc))

(and (doc l120 "L120")
     (follows batch-complete-1 wait-1 make-gt350-proc))

(and (doc l123 "L123")
     (follows wait-1 clear-cavities-1 make-gt350-proc))

(and (doc setup-racks-1
      "The occurence of Setup-Racks in the Dec-1-1 schematic")
     (forall (?a : (activation-of ?a setup-racks-1))
      (activation-of ?a setup-racks))
     (forall (?a : (activation-of ?a setup-racks-1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?a ?p))))

(and (doc pour-1 "The occurence of Pour in the Dec-1-1 schematic")
     (forall (?a : (activation-of ?a pour-1)) (activation-of ?a pour))
     (forall (?a : (activation-of ?a pour-1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?a ?p))))

(and (doc remove-racks-1
      "The occurence of Remove-Racks in the Dec-1-1 schematic")
     (forall (?a : (activation-of ?a remove-racks-1))
      (activation-of ?a remove-racks))
     (forall (?a : (activation-of ?a remove-racks-1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?a ?p))))

(and (doc batch-complete-1
      "The occurence of Batch-Complete in the Dec-1-1 schematic")
     (forall (?a : (activation-of ?a batch-complete-1))
      (activation-of ?a batch-complete))
     (forall (?a : (activation-of ?a batch-complete-1))
      (exists (?p : (activation-of ?p make-gt350-proc))
       (subactivity-occurrence ?a ?p))))