TSPC 62_a_ibm

62_a_ibm_1401
Here's how one of the 1401 programming systems — Report Program Generator — works to increase programming efficiency

( (IP-MAT (ADVP-TPC-CLR (ADV Here;{here}))
          (BEP;_Ip_ <apos>s;{be[here]})
          (NP-SBJ (IP-REL (ADVP-NIM (RADV how;{how}))
                          (NP-SBJ (NUM one;{one})
                                  (PP (P-ROLE of;{of})
                                      (NP (D the;{the})
                                          (NPR 1401)
                                          (N programming;{programming})
                                          (NS systems;{system})
                                          (PRN (NP (PUNC <mdash>)
                                                   (N Report;{report})
                                                   (N Program;{program})
                                                   (N Generator;{generator})
                                                   (PUNC <mdash>))))))
                          (VBP;_cat_Vt_ works;{work})
                          (IP-INF-CAT (TO to;{to})
                                      (VB;_Tn_ increase;{increase})
                                      (NP-OB1 (N programming;{programming})
                                              (N efficiency;{efficiency}))))))
  (ID 62_a_ibm_1401))

arc(r_0062_0001__Here_r_0062_0002___apos_s,r_0062_0003__how,arg0).
arc(r_0062_0004__one,r_0062_0006__the_r_0062_0007__1401_r_0062_0008__programming_r_0062_0009__systems,r_0062_0005__of).
arc(r_0062_0015__works,r_0062_0003__how,nim).
arc(r_0062_0015__works,r_0062_0017__increase,scope).
arc(r_0062_0017__increase,r_0062_0004__one,arg0).
arc(r_0062_0017__increase,r_0062_0018__programming_r_0062_0019__efficiency,arg1).
arc(z_0062_5005,r_0062_0006__the_r_0062_0007__1401_r_0062_0008__programming_r_0062_0009__systems,arg0).
arc(z_0062_5005,r_0062_0011__Report_r_0062_0012__Program_r_0062_0013__Generator,prd).

fof(formula,axiom,
    ? [R_0062_0003__HOW,R_0062_0001__HERE_R_0062_0002___APOS_S,R_0062_0006__THE_R_0062_0007__1401_R_0062_0008__PROGRAMMING_R_0062_0009__SYSTEMS,R_0062_0004__ONE,R_0062_0018__PROGRAMMING_R_0062_0019__EFFICIENCY,R_0062_0015__WORKS_R_0062_0017__INCREASE,R_0062_0011__REPORT_R_0062_0012__PROGRAM_R_0062_0013__GENERATOR,Z_0062_5005] :
      ( r_0062_0003__how(R_0062_0003__HOW)
      & r_0062_0006__the_r_0062_0007__1401_r_0062_0008__programming_r_0062_0009__systems(R_0062_0006__THE_R_0062_0007__1401_R_0062_0008__PROGRAMMING_R_0062_0009__SYSTEMS)
      & r_0062_0011__Report_r_0062_0012__Program_r_0062_0013__Generator(R_0062_0011__REPORT_R_0062_0012__PROGRAM_R_0062_0013__GENERATOR)
      & r_0062_0018__programming_r_0062_0019__efficiency(R_0062_0018__PROGRAMMING_R_0062_0019__EFFICIENCY)
      & z_0062_5005(Z_0062_5005)
      & has_prd(Z_0062_5005,R_0062_0011__REPORT_R_0062_0012__PROGRAM_R_0062_0013__GENERATOR)
      & has_arg0(Z_0062_5005,R_0062_0006__THE_R_0062_0007__1401_R_0062_0008__PROGRAMMING_R_0062_0009__SYSTEMS)
      & r_0062_0015__works_r_0062_0017__increase(R_0062_0015__WORKS_R_0062_0017__INCREASE)
      & has_arg1(R_0062_0015__WORKS_R_0062_0017__INCREASE,R_0062_0018__PROGRAMMING_R_0062_0019__EFFICIENCY)
      & has_arg0(R_0062_0015__WORKS_R_0062_0017__INCREASE,R_0062_0004__ONE)
      & r_0062_0004__one(R_0062_0004__ONE)
      & has_r_0062_0005__of(R_0062_0004__ONE,R_0062_0006__THE_R_0062_0007__1401_R_0062_0008__PROGRAMMING_R_0062_0009__SYSTEMS)
      & has_nim(R_0062_0015__WORKS_R_0062_0017__INCREASE,R_0062_0003__HOW)
      & r_0062_0001__Here_r_0062_0002___apos_s(R_0062_0001__HERE_R_0062_0002___APOS_S)
      & has_arg0(R_0062_0001__HERE_R_0062_0002___APOS_S,R_0062_0003__HOW) ) ).