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

arc(r_0062_0002___apos_s, r_0062_0001__Here, clr2).
arc(r_0062_0002___apos_s, z_000_62_a_ibm_1401_7, 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_0016__to_r_0062_0017__increase, scope).
arc(r_0062_0015__works, z_000_62_a_ibm_1401_7, nim9).
arc(r_0062_0016__to_r_0062_0017__increase, r_0062_0004__one, arg0).
arc(r_0062_0016__to_r_0062_0017__increase, r_0062_0018__programming_r_0062_0019__efficiency, arg1).
arc(z_000_62_a_ibm_1401_27, r_0062_0006__the_r_0062_0007__1401_r_0062_0008__programming_r_0062_0009__systems, arg0).
arc(z_000_62_a_ibm_1401_27, r_0062_0011__Report_r_0062_0012__Program_r_0062_0013__Generator, prd).

fof(formula,axiom,
    ? [R_0062_0001__HERE,Z_000_62_A_IBM_1401_7,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_0016__TO_R_0062_0017__INCREASE,R_0062_0011__REPORT_R_0062_0012__PROGRAM_R_0062_0013__GENERATOR,Z_000_62_A_IBM_1401_27] :
      ( r_0062_0001__Here(R_0062_0001__HERE)
      & 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_000_62_a_ibm_1401_7(Z_000_62_A_IBM_1401_7)
      & z_000_62_a_ibm_1401_27(Z_000_62_A_IBM_1401_27)
      & has_prd(Z_000_62_A_IBM_1401_27,R_0062_0011__REPORT_R_0062_0012__PROGRAM_R_0062_0013__GENERATOR)
      & has_arg0(Z_000_62_A_IBM_1401_27,R_0062_0006__THE_R_0062_0007__1401_R_0062_0008__PROGRAMMING_R_0062_0009__SYSTEMS)
      & r_0062_0015__works_r_0062_0016__to_r_0062_0017__increase(R_0062_0015__WORKS_R_0062_0016__TO_R_0062_0017__INCREASE)
      & has_arg1(R_0062_0015__WORKS_R_0062_0016__TO_R_0062_0017__INCREASE,R_0062_0018__PROGRAMMING_R_0062_0019__EFFICIENCY)
      & has_arg0(R_0062_0015__WORKS_R_0062_0016__TO_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_nim9(R_0062_0015__WORKS_R_0062_0016__TO_R_0062_0017__INCREASE,Z_000_62_A_IBM_1401_7)
      & r_0062_0002___apos_s(R_0062_0002___APOS_S)
      & has_arg0(R_0062_0002___APOS_S,Z_000_62_A_IBM_1401_7)
      & has_clr2(R_0062_0002___APOS_S,R_0062_0001__HERE) ) ).

( (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})
                                          (IP-PPL (NP-PRD (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))