TSPC 40_a_ibm

40_a_ibm_1401
It allows generation of multiple machine instructions from one source statement, free - form coding, and an automatic assembly process through magnetic tape.

( (IP-MAT (NP-SBJ;{AUTOCODER} (PRO It;{it}))
          (VBP;_Tn_ allows;{allow})
          (NP-OB1 (NLYR (NLYR (N generation;{generation})
                              (PP (P-ROLE of;{of})
                                  (NP (ADJP (ADJ multiple;{multiple}))
                                      (N machine;{machine})
                                      (NS instructions;{instruction})
                                      (PP (P-ROLE from;{from})
                                          (NP (NUM one;{one})
                                              (N source;{source})
                                              (N statement;{statement}))))))
                        (PUNC ,)
                        (CONJP (NLYR (NLYR (ADJP (ADJ free;{free}))
                                           (PUNC <hyphen>)
                                           (N form;{form}))
                                     (N coding;{coding})))
                        (PUNC ,)
                        (CONJP (CONJ and;{and})
                               (NLYR (D an;{an})
                                     (ADJP (ADJ automatic;{automatic}))
                                     (N assembly;{assembly})
                                     (N process;{process})
                                     (PP (P-ROLE through;{through})
                                         (NP (ADJP (ADJ magnetic;{magnetic}))
                                             (N tape;{tape})))))))
          (PUNC .))
  (ID 40_a_ibm_1401))

arc(r_0040_0002__allows,r_0040_0001__It,arg0).
arc(r_0040_0002__allows,r_0040_0018__and,arg1).
arc(r_0040_0003__generation,r_0040_0006__machine_r_0040_0007__instructions,r_0040_0004__of).
arc(r_0040_0006__machine_r_0040_0007__instructions,r_0040_0005__multiple,attrib).
arc(r_0040_0006__machine_r_0040_0007__instructions,r_0040_0009__one_r_0040_0010__source_r_0040_0011__statement,r_0040_0008__from).
arc(r_0040_0015__form,r_0040_0013__free,attrib).
arc(r_0040_0016__coding,r_0040_0015__form,nim).
arc(r_0040_0018__and,r_0040_0003__generation,conj1).
arc(r_0040_0018__and,r_0040_0016__coding,conj2).
arc(r_0040_0018__and,r_0040_0019__an_r_0040_0021__assembly_r_0040_0022__process,conj3).
arc(r_0040_0019__an_r_0040_0021__assembly_r_0040_0022__process,r_0040_0020__automatic,attrib).
arc(r_0040_0019__an_r_0040_0021__assembly_r_0040_0022__process,r_0040_0025__tape,r_0040_0023__through).
arc(r_0040_0025__tape,r_0040_0024__magnetic,attrib).

fof(formula,axiom,
    ? [R_0040_0001__IT,R_0040_0005__MULTIPLE,R_0040_0009__ONE_R_0040_0010__SOURCE_R_0040_0011__STATEMENT,R_0040_0006__MACHINE_R_0040_0007__INSTRUCTIONS,R_0040_0003__GENERATION,R_0040_0013__FREE,R_0040_0015__FORM,R_0040_0016__CODING,R_0040_0020__AUTOMATIC,R_0040_0024__MAGNETIC,R_0040_0025__TAPE,R_0040_0019__AN_R_0040_0021__ASSEMBLY_R_0040_0022__PROCESS,R_0040_0018__AND,R_0040_0002__ALLOWS] :
      ( r_0040_0001__It(R_0040_0001__IT)
      & r_0040_0005__multiple(R_0040_0005__MULTIPLE)
      & r_0040_0009__one_r_0040_0010__source_r_0040_0011__statement(R_0040_0009__ONE_R_0040_0010__SOURCE_R_0040_0011__STATEMENT)
      & r_0040_0013__free(R_0040_0013__FREE)
      & r_0040_0020__automatic(R_0040_0020__AUTOMATIC)
      & r_0040_0024__magnetic(R_0040_0024__MAGNETIC)
      & r_0040_0002__allows(R_0040_0002__ALLOWS)
      & has_arg1(R_0040_0002__ALLOWS,R_0040_0018__AND)
      & r_0040_0018__and(R_0040_0018__AND)
      & has_conj3(R_0040_0018__AND,R_0040_0019__AN_R_0040_0021__ASSEMBLY_R_0040_0022__PROCESS)
      & r_0040_0019__an_r_0040_0021__assembly_r_0040_0022__process(R_0040_0019__AN_R_0040_0021__ASSEMBLY_R_0040_0022__PROCESS)
      & has_r_0040_0023__through(R_0040_0019__AN_R_0040_0021__ASSEMBLY_R_0040_0022__PROCESS,R_0040_0025__TAPE)
      & r_0040_0025__tape(R_0040_0025__TAPE)
      & has_attrib(R_0040_0025__TAPE,R_0040_0024__MAGNETIC)
      & has_attrib(R_0040_0019__AN_R_0040_0021__ASSEMBLY_R_0040_0022__PROCESS,R_0040_0020__AUTOMATIC)
      & has_conj2(R_0040_0018__AND,R_0040_0016__CODING)
      & r_0040_0016__coding(R_0040_0016__CODING)
      & has_nim(R_0040_0016__CODING,R_0040_0015__FORM)
      & r_0040_0015__form(R_0040_0015__FORM)
      & has_attrib(R_0040_0015__FORM,R_0040_0013__FREE)
      & has_conj1(R_0040_0018__AND,R_0040_0003__GENERATION)
      & r_0040_0003__generation(R_0040_0003__GENERATION)
      & has_r_0040_0004__of(R_0040_0003__GENERATION,R_0040_0006__MACHINE_R_0040_0007__INSTRUCTIONS)
      & r_0040_0006__machine_r_0040_0007__instructions(R_0040_0006__MACHINE_R_0040_0007__INSTRUCTIONS)
      & has_r_0040_0008__from(R_0040_0006__MACHINE_R_0040_0007__INSTRUCTIONS,R_0040_0009__ONE_R_0040_0010__SOURCE_R_0040_0011__STATEMENT)
      & has_attrib(R_0040_0006__MACHINE_R_0040_0007__INSTRUCTIONS,R_0040_0005__MULTIPLE)
      & has_arg0(R_0040_0002__ALLOWS,R_0040_0001__IT) ) ).