Context                Previous, Next                Top


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

%3 r_0062_0002___apos_s 's r_0062_0001__Here Here r_0062_0002___apos_s->r_0062_0001__Here [clr] z_000_62_a_ibm_1401_7 r_0062_0002___apos_s->z_000_62_a_ibm_1401_7 [arg0] r_0062_0004__one one r_0062_0006__the_r_0062_0007__1401_r_0062_0008__programming_r_0062_0009__systems the 1401 programming systems r_0062_0004__one->r_0062_0006__the_r_0062_0007__1401_r_0062_0008__programming_r_0062_0009__systems of r_0062_0015__works works r_0062_0015__works->z_000_62_a_ibm_1401_7 [nim] r_0062_0016__to_r_0062_0017__increase to increase r_0062_0015__works->r_0062_0016__to_r_0062_0017__increase [scope] r_0062_0016__to_r_0062_0017__increase->r_0062_0004__one [arg0] r_0062_0018__programming_r_0062_0019__efficiency programming efficiency r_0062_0016__to_r_0062_0017__increase->r_0062_0018__programming_r_0062_0019__efficiency [arg1] z_000_62_a_ibm_1401_27 z_000_62_a_ibm_1401_27->r_0062_0006__the_r_0062_0007__1401_r_0062_0008__programming_r_0062_0009__systems [arg0] r_0062_0011__Report_r_0062_0012__Program_r_0062_0013__Generator Report Program Generator z_000_62_a_ibm_1401_27->r_0062_0011__Report_r_0062_0012__Program_r_0062_0013__Generator [prd] 
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).


%3 z_000_62_a_ibm_1401_27 r_0062_0011__Report_r_0062_0012__Program_r_0062_0013__Generator Report Program Generator z_000_62_a_ibm_1401_27->r_0062_0011__Report_r_0062_0012__Program_r_0062_0013__Generator [prd] r_0062_0006__the_r_0062_0007__1401_r_0062_0008__programming_r_0062_0009__systems the 1401 programming systems z_000_62_a_ibm_1401_27->r_0062_0006__the_r_0062_0007__1401_r_0062_0008__programming_r_0062_0009__systems [arg0] r_0062_0015__works_r_0062_0016__to_r_0062_0017__increase works to increase r_0062_0018__programming_r_0062_0019__efficiency programming efficiency r_0062_0015__works_r_0062_0016__to_r_0062_0017__increase->r_0062_0018__programming_r_0062_0019__efficiency [arg1] r_0062_0004__one one r_0062_0015__works_r_0062_0016__to_r_0062_0017__increase->r_0062_0004__one [arg0] z_000_62_a_ibm_1401_7 r_0062_0015__works_r_0062_0016__to_r_0062_0017__increase->z_000_62_a_ibm_1401_7 [nim] r_0062_0004__one->r_0062_0006__the_r_0062_0007__1401_r_0062_0008__programming_r_0062_0009__systems of r_0062_0002___apos_s 's r_0062_0002___apos_s->z_000_62_a_ibm_1401_7 [arg0] r_0062_0001__Here Here r_0062_0002___apos_s->r_0062_0001__Here [clr] 
fof(formula,axiom,
    ? [R_62_2__APOS_S,R_62_1_HERE,R_62_15_WORKS_TO_INCREASE,R_62_4_ONE,R_62_18_PROGRAMMING_EFFICIENCY,Z_62_A_IBM_1401_7,Z_62_A_IBM_1401_27,R_62_6_THE_1401_PROGRAMMING_SYSTEMS,R_62_11_REPORT_PROGRAM_GENERATOR] :
      ( here(R_62_1_HERE)
      & programming_efficiency(R_62_18_PROGRAMMING_EFFICIENCY)
      & the_1401_programming_systems(R_62_6_THE_1401_PROGRAMMING_SYSTEMS)
      & report_Program_Generator(R_62_11_REPORT_PROGRAM_GENERATOR)
      & _apos_s(R_62_2__APOS_S,Z_62_A_IBM_1401_7)
      & clr2(R_62_2__APOS_S,R_62_1_HERE)
      & works_to_increase(R_62_15_WORKS_TO_INCREASE,R_62_4_ONE,R_62_18_PROGRAMMING_EFFICIENCY)
      & one(R_62_4_ONE)
      & of(R_62_4_ONE,R_62_6_THE_1401_PROGRAMMING_SYSTEMS)
      & nim9(R_62_15_WORKS_TO_INCREASE,Z_62_A_IBM_1401_7)
      & z_62_a_ibm_1401_27(Z_62_A_IBM_1401_27,R_62_6_THE_1401_PROGRAMMING_SYSTEMS,R_62_11_REPORT_PROGRAM_GENERATOR) ) ).


n62_a_ibm_1401 n62_a_ibm_1401__1_1_1_1 Here n62_a_ibm_1401__1_2_1 's n62_a_ibm_1401__1_3_1_1_1_1 how n62_a_ibm_1401__1_3_1_2_1_1 one n62_a_ibm_1401__1_3_1_2_2_1_1 of n62_a_ibm_1401__1_3_1_2_2_2_1_1 the n62_a_ibm_1401__1_3_1_2_2_2_2_1 1401 n62_a_ibm_1401__1_3_1_2_2_2_3_1 programming n62_a_ibm_1401__1_3_1_2_2_2_4_1 systems n62_a_ibm_1401__1_3_1_2_2_2_5_1_1_1 <mdash> n62_a_ibm_1401__1_3_1_2_2_2_5_1_2_1 Report n62_a_ibm_1401__1_3_1_2_2_2_5_1_3_1 Program n62_a_ibm_1401__1_3_1_2_2_2_5_1_4_1 Generator n62_a_ibm_1401__1_3_1_2_2_2_5_1_5_1 <mdash> n62_a_ibm_1401__1_3_1_3_1 works n62_a_ibm_1401__1_3_1_4_1_1 to n62_a_ibm_1401__1_3_1_4_2_1 increase n62_a_ibm_1401__1_3_1_4_3_1_1 programming n62_a_ibm_1401__1_3_1_4_3_2_1 efficiency n62_a_ibm_1401__1 IP-MAT n62_a_ibm_1401__1_1 ADVP-TPC-CLR n62_a_ibm_1401__1->n62_a_ibm_1401__1_1 n62_a_ibm_1401__1_2 BEP;_Ip_ n62_a_ibm_1401__1->n62_a_ibm_1401__1_2 n62_a_ibm_1401__1_3 NP-SBJ n62_a_ibm_1401__1->n62_a_ibm_1401__1_3 n62_a_ibm_1401__1_1_1 ADV n62_a_ibm_1401__1_1->n62_a_ibm_1401__1_1_1 n62_a_ibm_1401__1_1_1->n62_a_ibm_1401__1_1_1_1 n62_a_ibm_1401__1_2->n62_a_ibm_1401__1_2_1 n62_a_ibm_1401__1_3_1 IP-REL n62_a_ibm_1401__1_3->n62_a_ibm_1401__1_3_1 n62_a_ibm_1401__1_3_1_1 ADVP-NIM n62_a_ibm_1401__1_3_1->n62_a_ibm_1401__1_3_1_1 n62_a_ibm_1401__1_3_1_2 NP-SBJ n62_a_ibm_1401__1_3_1->n62_a_ibm_1401__1_3_1_2 n62_a_ibm_1401__1_3_1_3 VBP;_cat_Vt_ n62_a_ibm_1401__1_3_1->n62_a_ibm_1401__1_3_1_3 n62_a_ibm_1401__1_3_1_4 IP-INF-CAT n62_a_ibm_1401__1_3_1->n62_a_ibm_1401__1_3_1_4 n62_a_ibm_1401__1_3_1_1_1 RADV n62_a_ibm_1401__1_3_1_1->n62_a_ibm_1401__1_3_1_1_1 n62_a_ibm_1401__1_3_1_1_1->n62_a_ibm_1401__1_3_1_1_1_1 n62_a_ibm_1401__1_3_1_2_1 NUM n62_a_ibm_1401__1_3_1_2->n62_a_ibm_1401__1_3_1_2_1 n62_a_ibm_1401__1_3_1_2_2 PP n62_a_ibm_1401__1_3_1_2->n62_a_ibm_1401__1_3_1_2_2 n62_a_ibm_1401__1_3_1_2_1->n62_a_ibm_1401__1_3_1_2_1_1 n62_a_ibm_1401__1_3_1_2_2_1 P-ROLE n62_a_ibm_1401__1_3_1_2_2->n62_a_ibm_1401__1_3_1_2_2_1 n62_a_ibm_1401__1_3_1_2_2_2 NP n62_a_ibm_1401__1_3_1_2_2->n62_a_ibm_1401__1_3_1_2_2_2 n62_a_ibm_1401__1_3_1_2_2_1->n62_a_ibm_1401__1_3_1_2_2_1_1 n62_a_ibm_1401__1_3_1_2_2_2_1 D n62_a_ibm_1401__1_3_1_2_2_2->n62_a_ibm_1401__1_3_1_2_2_2_1 n62_a_ibm_1401__1_3_1_2_2_2_2 NPR n62_a_ibm_1401__1_3_1_2_2_2->n62_a_ibm_1401__1_3_1_2_2_2_2 n62_a_ibm_1401__1_3_1_2_2_2_3 N n62_a_ibm_1401__1_3_1_2_2_2->n62_a_ibm_1401__1_3_1_2_2_2_3 n62_a_ibm_1401__1_3_1_2_2_2_4 NS n62_a_ibm_1401__1_3_1_2_2_2->n62_a_ibm_1401__1_3_1_2_2_2_4 n62_a_ibm_1401__1_3_1_2_2_2_5 IP-PPL n62_a_ibm_1401__1_3_1_2_2_2->n62_a_ibm_1401__1_3_1_2_2_2_5 n62_a_ibm_1401__1_3_1_2_2_2_1->n62_a_ibm_1401__1_3_1_2_2_2_1_1 n62_a_ibm_1401__1_3_1_2_2_2_2->n62_a_ibm_1401__1_3_1_2_2_2_2_1 n62_a_ibm_1401__1_3_1_2_2_2_3->n62_a_ibm_1401__1_3_1_2_2_2_3_1 n62_a_ibm_1401__1_3_1_2_2_2_4->n62_a_ibm_1401__1_3_1_2_2_2_4_1 n62_a_ibm_1401__1_3_1_2_2_2_5_1 NP-PRD n62_a_ibm_1401__1_3_1_2_2_2_5->n62_a_ibm_1401__1_3_1_2_2_2_5_1 n62_a_ibm_1401__1_3_1_2_2_2_5_1_1 PUNC n62_a_ibm_1401__1_3_1_2_2_2_5_1->n62_a_ibm_1401__1_3_1_2_2_2_5_1_1 n62_a_ibm_1401__1_3_1_2_2_2_5_1_2 N n62_a_ibm_1401__1_3_1_2_2_2_5_1->n62_a_ibm_1401__1_3_1_2_2_2_5_1_2 n62_a_ibm_1401__1_3_1_2_2_2_5_1_3 N n62_a_ibm_1401__1_3_1_2_2_2_5_1->n62_a_ibm_1401__1_3_1_2_2_2_5_1_3 n62_a_ibm_1401__1_3_1_2_2_2_5_1_4 N n62_a_ibm_1401__1_3_1_2_2_2_5_1->n62_a_ibm_1401__1_3_1_2_2_2_5_1_4 n62_a_ibm_1401__1_3_1_2_2_2_5_1_5 PUNC n62_a_ibm_1401__1_3_1_2_2_2_5_1->n62_a_ibm_1401__1_3_1_2_2_2_5_1_5 n62_a_ibm_1401__1_3_1_2_2_2_5_1_1->n62_a_ibm_1401__1_3_1_2_2_2_5_1_1_1 n62_a_ibm_1401__1_3_1_2_2_2_5_1_2->n62_a_ibm_1401__1_3_1_2_2_2_5_1_2_1 n62_a_ibm_1401__1_3_1_2_2_2_5_1_3->n62_a_ibm_1401__1_3_1_2_2_2_5_1_3_1 n62_a_ibm_1401__1_3_1_2_2_2_5_1_4->n62_a_ibm_1401__1_3_1_2_2_2_5_1_4_1 n62_a_ibm_1401__1_3_1_2_2_2_5_1_5->n62_a_ibm_1401__1_3_1_2_2_2_5_1_5_1 n62_a_ibm_1401__1_3_1_3->n62_a_ibm_1401__1_3_1_3_1 n62_a_ibm_1401__1_3_1_4_1 TO n62_a_ibm_1401__1_3_1_4->n62_a_ibm_1401__1_3_1_4_1 n62_a_ibm_1401__1_3_1_4_2 VB;_Tn_ n62_a_ibm_1401__1_3_1_4->n62_a_ibm_1401__1_3_1_4_2 n62_a_ibm_1401__1_3_1_4_3 NP-OB1 n62_a_ibm_1401__1_3_1_4->n62_a_ibm_1401__1_3_1_4_3 n62_a_ibm_1401__1_3_1_4_1->n62_a_ibm_1401__1_3_1_4_1_1 n62_a_ibm_1401__1_3_1_4_2->n62_a_ibm_1401__1_3_1_4_2_1 n62_a_ibm_1401__1_3_1_4_3_1 N n62_a_ibm_1401__1_3_1_4_3->n62_a_ibm_1401__1_3_1_4_3_1 n62_a_ibm_1401__1_3_1_4_3_2 N n62_a_ibm_1401__1_3_1_4_3->n62_a_ibm_1401__1_3_1_4_3_2 n62_a_ibm_1401__1_3_1_4_3_1->n62_a_ibm_1401__1_3_1_4_3_1_1 n62_a_ibm_1401__1_3_1_4_3_2->n62_a_ibm_1401__1_3_1_4_3_2_1 
( (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))