6_a_ibm_1401
It is through these languages that the computer itself is used to perform many of the tedious functions that the programmer would otherwise have to perform.

%3 r_0006_0002__is is r_0006_0004__these_r_0006_0005__languages these languages r_0006_0002__is->r_0006_0004__these_r_0006_0005__languages through [clr] r_0006_0006__that_r_0006_0010__is that is r_0006_0002__is->r_0006_0006__that_r_0006_0010__is [arg0] r_0006_0009__itself itself r_0006_0006__that_r_0006_0010__is->r_0006_0009__itself [nim] r_0006_0011__used used r_0006_0006__that_r_0006_0010__is->r_0006_0011__used [scope] r_0006_0014__many_quant many [quant] r_0006_0011__used->r_0006_0014__many_quant [arg1] z_000_6_a_ibm_1401_30 r_0006_0011__used->z_000_6_a_ibm_1401_30 [arg0] r_0006_0012__to_r_0006_0013__perform to perform r_0006_0014__many_quant->r_0006_0012__to_r_0006_0013__perform [scope] z_000_6_a_ibm_1401_39 r_0006_0014__many_quant->z_000_6_a_ibm_1401_39 [restriction] r_0006_0007__the_r_0006_0008__computer the computer r_0006_0012__to_r_0006_0013__perform->r_0006_0007__the_r_0006_0008__computer [arg0] r_0006_0012__to_r_0006_0013__perform->z_000_6_a_ibm_1401_39 [arg1] r_0006_0016__the_r_0006_0018__functions the functions z_000_6_a_ibm_1401_39->r_0006_0016__the_r_0006_0018__functions of r_0006_0017__tedious tedious r_0006_0016__the_r_0006_0018__functions->r_0006_0017__tedious [attrib] r_0006_0019__that_r_0006_0022__would that would r_0006_0024__have have r_0006_0019__that_r_0006_0022__would->r_0006_0024__have [scope] r_0006_0023__otherwise otherwise r_0006_0024__have->r_0006_0023__otherwise [nim] r_0006_0025__to_r_0006_0026__perform to perform r_0006_0024__have->r_0006_0025__to_r_0006_0026__perform [scope] r_0006_0025__to_r_0006_0026__perform->r_0006_0016__the_r_0006_0018__functions [arg1] r_0006_0020__the_r_0006_0021__programmer the programmer r_0006_0025__to_r_0006_0026__perform->r_0006_0020__the_r_0006_0021__programmer [arg0]
arc(r_0006_0002__is, r_0006_0004__these_r_0006_0005__languages, r_0006_0003__through_clr10).
arc(r_0006_0002__is, r_0006_0006__that_r_0006_0010__is, arg0).
arc(r_0006_0006__that_r_0006_0010__is, r_0006_0009__itself, nim24).
arc(r_0006_0006__that_r_0006_0010__is, r_0006_0011__used, scope).
arc(r_0006_0011__used, r_0006_0014__many_quant, arg1).
arc(r_0006_0011__used, z_000_6_a_ibm_1401_30, arg0).
arc(r_0006_0012__to_r_0006_0013__perform, r_0006_0007__the_r_0006_0008__computer, arg0).
arc(r_0006_0012__to_r_0006_0013__perform, z_000_6_a_ibm_1401_39, arg1).
arc(r_0006_0014__many_quant, r_0006_0012__to_r_0006_0013__perform, scope).
arc(r_0006_0014__many_quant, z_000_6_a_ibm_1401_39, restriction).
arc(r_0006_0016__the_r_0006_0018__functions, r_0006_0017__tedious, attrib48).
arc(r_0006_0019__that_r_0006_0022__would, r_0006_0024__have, scope).
arc(r_0006_0024__have, r_0006_0023__otherwise, nim64).
arc(r_0006_0024__have, r_0006_0025__to_r_0006_0026__perform, scope).
arc(r_0006_0025__to_r_0006_0026__perform, r_0006_0016__the_r_0006_0018__functions, arg1).
arc(r_0006_0025__to_r_0006_0026__perform, r_0006_0020__the_r_0006_0021__programmer, arg0).
arc(z_000_6_a_ibm_1401_39, r_0006_0016__the_r_0006_0018__functions, r_0006_0015__of).



%3 z_000_6_a_ibm_1401_39 r_0006_0016__the_r_0006_0018__functions the functions z_000_6_a_ibm_1401_39->r_0006_0016__the_r_0006_0018__functions of r_0006_0017__tedious tedious r_0006_0016__the_r_0006_0018__functions->r_0006_0017__tedious [attrib] r_0006_0019__that_r_0006_0022__would_r_0006_0024__have_r_0006_0025__to_r_0006_0026__perform that would have to perform r_0006_0019__that_r_0006_0022__would_r_0006_0024__have_r_0006_0025__to_r_0006_0026__perform->r_0006_0016__the_r_0006_0018__functions [arg1] r_0006_0020__the_r_0006_0021__programmer the programmer r_0006_0019__that_r_0006_0022__would_r_0006_0024__have_r_0006_0025__to_r_0006_0026__perform->r_0006_0020__the_r_0006_0021__programmer [arg0] r_0006_0023__otherwise otherwise r_0006_0019__that_r_0006_0022__would_r_0006_0024__have_r_0006_0025__to_r_0006_0026__perform->r_0006_0023__otherwise [nim] r_0006_0014__many_quant many [quant] r_0006_0014__many_quant->z_000_6_a_ibm_1401_39 [restriction] r_0006_0012__to_r_0006_0013__perform to perform r_0006_0014__many_quant->r_0006_0012__to_r_0006_0013__perform [scope] r_0006_0012__to_r_0006_0013__perform->z_000_6_a_ibm_1401_39 [arg1] r_0006_0007__the_r_0006_0008__computer the computer r_0006_0012__to_r_0006_0013__perform->r_0006_0007__the_r_0006_0008__computer [arg0] r_0006_0006__that_r_0006_0010__is_r_0006_0011__used that is used r_0006_0006__that_r_0006_0010__is_r_0006_0011__used->r_0006_0014__many_quant [arg1] z_000_6_a_ibm_1401_30 r_0006_0006__that_r_0006_0010__is_r_0006_0011__used->z_000_6_a_ibm_1401_30 [arg0] r_0006_0009__itself itself r_0006_0006__that_r_0006_0010__is_r_0006_0011__used->r_0006_0009__itself [nim] r_0006_0002__is is r_0006_0002__is->r_0006_0006__that_r_0006_0010__is_r_0006_0011__used [arg0] r_0006_0004__these_r_0006_0005__languages these languages r_0006_0002__is->r_0006_0004__these_r_0006_0005__languages through [clr]
fof(formula,axiom,
    ? [R_0006_0004__THESE_R_0006_0005__LANGUAGES,R_0006_0009__ITSELF,Z_000_6_A_IBM_1401_30,R_0006_0006__THAT_R_0006_0010__IS_R_0006_0011__USED,R_0006_0002__IS,R_0006_0023__OTHERWISE,R_0006_0017__TEDIOUS,R_0006_0016__THE_R_0006_0018__FUNCTIONS,R_0006_0020__THE_R_0006_0021__PROGRAMMER,R_0006_0019__THAT_R_0006_0022__WOULD_R_0006_0024__HAVE_R_0006_0025__TO_R_0006_0026__PERFORM] :
      ( r_0006_0004__these_r_0006_0005__languages(R_0006_0004__THESE_R_0006_0005__LANGUAGES)
      & r_0006_0009__itself(R_0006_0009__ITSELF)
      & r_0006_0017__tedious(R_0006_0017__TEDIOUS)
      & r_0006_0020__the_r_0006_0021__programmer(R_0006_0020__THE_R_0006_0021__PROGRAMMER)
      & r_0006_0023__otherwise(R_0006_0023__OTHERWISE)
      & z_000_6_a_ibm_1401_30(Z_000_6_A_IBM_1401_30)
      & r_0006_0019__that_r_0006_0022__would_r_0006_0024__have_r_0006_0025__to_r_0006_0026__perform(R_0006_0019__THAT_R_0006_0022__WOULD_R_0006_0024__HAVE_R_0006_0025__TO_R_0006_0026__PERFORM)
      & has_arg0(R_0006_0019__THAT_R_0006_0022__WOULD_R_0006_0024__HAVE_R_0006_0025__TO_R_0006_0026__PERFORM,R_0006_0020__THE_R_0006_0021__PROGRAMMER)
      & has_arg1(R_0006_0019__THAT_R_0006_0022__WOULD_R_0006_0024__HAVE_R_0006_0025__TO_R_0006_0026__PERFORM,R_0006_0016__THE_R_0006_0018__FUNCTIONS)
      & r_0006_0016__the_r_0006_0018__functions(R_0006_0016__THE_R_0006_0018__FUNCTIONS)
      & has_attrib48(R_0006_0016__THE_R_0006_0018__FUNCTIONS,R_0006_0017__TEDIOUS)
      & has_nim64(R_0006_0019__THAT_R_0006_0022__WOULD_R_0006_0024__HAVE_R_0006_0025__TO_R_0006_0026__PERFORM,R_0006_0023__OTHERWISE)
      & r_0006_0002__is(R_0006_0002__IS)
      & has_arg0(R_0006_0002__IS,R_0006_0006__THAT_R_0006_0010__IS_R_0006_0011__USED)
      & r_0006_0006__that_r_0006_0010__is_r_0006_0011__used(R_0006_0006__THAT_R_0006_0010__IS_R_0006_0011__USED)
      & has_arg0(R_0006_0006__THAT_R_0006_0010__IS_R_0006_0011__USED,Z_000_6_A_IBM_1401_30)
      & ! [Z_000_6_A_IBM_1401_39] :
          ( ( z_000_6_a_ibm_1401_39(Z_000_6_A_IBM_1401_39)
            & has_r_0006_0015__of(Z_000_6_A_IBM_1401_39,R_0006_0016__THE_R_0006_0018__FUNCTIONS) )
         => ? [R_0006_0007__THE_R_0006_0008__COMPUTER,R_0006_0012__TO_R_0006_0013__PERFORM] :
              ( r_0006_0007__the_r_0006_0008__computer(R_0006_0007__THE_R_0006_0008__COMPUTER)
              & r_0006_0012__to_r_0006_0013__perform(R_0006_0012__TO_R_0006_0013__PERFORM)
              & has_arg1(R_0006_0012__TO_R_0006_0013__PERFORM,Z_000_6_A_IBM_1401_39)
              & has_arg0(R_0006_0012__TO_R_0006_0013__PERFORM,R_0006_0007__THE_R_0006_0008__COMPUTER) ) )
      & has_nim24(R_0006_0006__THAT_R_0006_0010__IS_R_0006_0011__USED,R_0006_0009__ITSELF)
      & has_r_0006_0003__through_clr10(R_0006_0002__IS,R_0006_0004__THESE_R_0006_0005__LANGUAGES) ) ).



n6_a_ibm_1401 n6_a_ibm_1401__1_1_1_1 It n6_a_ibm_1401__1_2_1 is n6_a_ibm_1401__1_3_1_1 through n6_a_ibm_1401__1_3_2_1_1 these n6_a_ibm_1401__1_3_2_2_1 languages n6_a_ibm_1401__1_4_1_1_1 that n6_a_ibm_1401__1_4_1_2_1_1 the n6_a_ibm_1401__1_4_1_2_2_1 computer n6_a_ibm_1401__1_4_1_3_1_1 itself n6_a_ibm_1401__1_4_1_4_1 is n6_a_ibm_1401__1_4_1_5_1_1 * n6_a_ibm_1401__1_4_1_5_2_1 used n6_a_ibm_1401__1_4_1_5_3_1_1 to n6_a_ibm_1401__1_4_1_5_3_2_1 perform n6_a_ibm_1401__1_4_1_5_3_3_1_1 many n6_a_ibm_1401__1_4_1_5_3_3_2_1_1 of n6_a_ibm_1401__1_4_1_5_3_3_2_2_1_1 the n6_a_ibm_1401__1_4_1_5_3_3_2_2_2_1_1 tedious n6_a_ibm_1401__1_4_1_5_3_3_2_2_3_1 functions n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_1_1 that n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_2_1_1 the n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_2_2_1 programmer n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_3_1 would n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_1_1_1 otherwise n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_2_1 have n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3_1_1 *T* n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3_2_1 to n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3_3_1 perform n6_a_ibm_1401__1_5_1 . n6_a_ibm_1401__1 IP-MAT n6_a_ibm_1401__1_1 NP-SBJ n6_a_ibm_1401__1->n6_a_ibm_1401__1_1 n6_a_ibm_1401__1_2 BEP;_Ipr_ n6_a_ibm_1401__1->n6_a_ibm_1401__1_2 n6_a_ibm_1401__1_3 PP-CLR n6_a_ibm_1401__1->n6_a_ibm_1401__1_3 n6_a_ibm_1401__1_4 CP-THT-NSBJ n6_a_ibm_1401__1->n6_a_ibm_1401__1_4 n6_a_ibm_1401__1_5 PUNC n6_a_ibm_1401__1->n6_a_ibm_1401__1_5 n6_a_ibm_1401__1_1_1 PRO;_provisional_ n6_a_ibm_1401__1_1->n6_a_ibm_1401__1_1_1 n6_a_ibm_1401__1_1_1->n6_a_ibm_1401__1_1_1_1 n6_a_ibm_1401__1_2->n6_a_ibm_1401__1_2_1 n6_a_ibm_1401__1_3_1 P-ROLE n6_a_ibm_1401__1_3->n6_a_ibm_1401__1_3_1 n6_a_ibm_1401__1_3_2 NP n6_a_ibm_1401__1_3->n6_a_ibm_1401__1_3_2 n6_a_ibm_1401__1_3_1->n6_a_ibm_1401__1_3_1_1 n6_a_ibm_1401__1_3_2_1 D n6_a_ibm_1401__1_3_2->n6_a_ibm_1401__1_3_2_1 n6_a_ibm_1401__1_3_2_2 NS n6_a_ibm_1401__1_3_2->n6_a_ibm_1401__1_3_2_2 n6_a_ibm_1401__1_3_2_1->n6_a_ibm_1401__1_3_2_1_1 n6_a_ibm_1401__1_3_2_2->n6_a_ibm_1401__1_3_2_2_1 n6_a_ibm_1401__1_4_1 IP-SUB n6_a_ibm_1401__1_4->n6_a_ibm_1401__1_4_1 n6_a_ibm_1401__1_4_1_1 C n6_a_ibm_1401__1_4_1->n6_a_ibm_1401__1_4_1_1 n6_a_ibm_1401__1_4_1_2 NP-SBJ n6_a_ibm_1401__1_4_1->n6_a_ibm_1401__1_4_1_2 n6_a_ibm_1401__1_4_1_3 NP-RFL n6_a_ibm_1401__1_4_1->n6_a_ibm_1401__1_4_1_3 n6_a_ibm_1401__1_4_1_4 BEP;_cat_VePASS_ n6_a_ibm_1401__1_4_1->n6_a_ibm_1401__1_4_1_4 n6_a_ibm_1401__1_4_1_5 IP-PPL-CAT n6_a_ibm_1401__1_4_1->n6_a_ibm_1401__1_4_1_5 n6_a_ibm_1401__1_4_1_1->n6_a_ibm_1401__1_4_1_1_1 n6_a_ibm_1401__1_4_1_2_1 D n6_a_ibm_1401__1_4_1_2->n6_a_ibm_1401__1_4_1_2_1 n6_a_ibm_1401__1_4_1_2_2 N n6_a_ibm_1401__1_4_1_2->n6_a_ibm_1401__1_4_1_2_2 n6_a_ibm_1401__1_4_1_2_1->n6_a_ibm_1401__1_4_1_2_1_1 n6_a_ibm_1401__1_4_1_2_2->n6_a_ibm_1401__1_4_1_2_2_1 n6_a_ibm_1401__1_4_1_3_1 PNX n6_a_ibm_1401__1_4_1_3->n6_a_ibm_1401__1_4_1_3_1 n6_a_ibm_1401__1_4_1_3_1->n6_a_ibm_1401__1_4_1_3_1_1 n6_a_ibm_1401__1_4_1_4->n6_a_ibm_1401__1_4_1_4_1 n6_a_ibm_1401__1_4_1_5_1 NP-LGS n6_a_ibm_1401__1_4_1_5->n6_a_ibm_1401__1_4_1_5_1 n6_a_ibm_1401__1_4_1_5_2 VVN;_Tnt_ n6_a_ibm_1401__1_4_1_5->n6_a_ibm_1401__1_4_1_5_2 n6_a_ibm_1401__1_4_1_5_3 IP-INF-OB1 n6_a_ibm_1401__1_4_1_5->n6_a_ibm_1401__1_4_1_5_3 n6_a_ibm_1401__1_4_1_5_1->n6_a_ibm_1401__1_4_1_5_1_1 n6_a_ibm_1401__1_4_1_5_2->n6_a_ibm_1401__1_4_1_5_2_1 n6_a_ibm_1401__1_4_1_5_3_1 TO n6_a_ibm_1401__1_4_1_5_3->n6_a_ibm_1401__1_4_1_5_3_1 n6_a_ibm_1401__1_4_1_5_3_2 VB;_Tn_ n6_a_ibm_1401__1_4_1_5_3->n6_a_ibm_1401__1_4_1_5_3_2 n6_a_ibm_1401__1_4_1_5_3_3 NP-OB1 n6_a_ibm_1401__1_4_1_5_3->n6_a_ibm_1401__1_4_1_5_3_3 n6_a_ibm_1401__1_4_1_5_3_1->n6_a_ibm_1401__1_4_1_5_3_1_1 n6_a_ibm_1401__1_4_1_5_3_2->n6_a_ibm_1401__1_4_1_5_3_2_1 n6_a_ibm_1401__1_4_1_5_3_3_1 Q;_nphd_ n6_a_ibm_1401__1_4_1_5_3_3->n6_a_ibm_1401__1_4_1_5_3_3_1 n6_a_ibm_1401__1_4_1_5_3_3_2 PP n6_a_ibm_1401__1_4_1_5_3_3->n6_a_ibm_1401__1_4_1_5_3_3_2 n6_a_ibm_1401__1_4_1_5_3_3_1->n6_a_ibm_1401__1_4_1_5_3_3_1_1 n6_a_ibm_1401__1_4_1_5_3_3_2_1 P-ROLE n6_a_ibm_1401__1_4_1_5_3_3_2->n6_a_ibm_1401__1_4_1_5_3_3_2_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2 NP n6_a_ibm_1401__1_4_1_5_3_3_2->n6_a_ibm_1401__1_4_1_5_3_3_2_2 n6_a_ibm_1401__1_4_1_5_3_3_2_1->n6_a_ibm_1401__1_4_1_5_3_3_2_1_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_1 D n6_a_ibm_1401__1_4_1_5_3_3_2_2->n6_a_ibm_1401__1_4_1_5_3_3_2_2_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_2 ADJP n6_a_ibm_1401__1_4_1_5_3_3_2_2->n6_a_ibm_1401__1_4_1_5_3_3_2_2_2 n6_a_ibm_1401__1_4_1_5_3_3_2_2_3 NS n6_a_ibm_1401__1_4_1_5_3_3_2_2->n6_a_ibm_1401__1_4_1_5_3_3_2_2_3 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4 IP-REL n6_a_ibm_1401__1_4_1_5_3_3_2_2->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4 n6_a_ibm_1401__1_4_1_5_3_3_2_2_1->n6_a_ibm_1401__1_4_1_5_3_3_2_2_1_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_2_1 ADJ n6_a_ibm_1401__1_4_1_5_3_3_2_2_2->n6_a_ibm_1401__1_4_1_5_3_3_2_2_2_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_2_1->n6_a_ibm_1401__1_4_1_5_3_3_2_2_2_1_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_3->n6_a_ibm_1401__1_4_1_5_3_3_2_2_3_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_1 C n6_a_ibm_1401__1_4_1_5_3_3_2_2_4->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_2 NP-SBJ n6_a_ibm_1401__1_4_1_5_3_3_2_2_4->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_2 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_3 MD;_cat_Vi_ n6_a_ibm_1401__1_4_1_5_3_3_2_2_4->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_3 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4 IP-INF-CAT n6_a_ibm_1401__1_4_1_5_3_3_2_2_4->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_1->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_1_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_2_1 D n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_2->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_2_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_2_2 N n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_2->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_2_2 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_2_1->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_2_1_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_2_2->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_2_2_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_3->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_3_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_1 ADVP-NIM n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_2 HV;_cat_Vt_ n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_2 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3 IP-INF-CAT n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_1_1 ADV n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_1->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_1_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_1_1->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_1_1_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_2->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_2_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3_1 NP-OB1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3_2 TO n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3_2 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3_3 VB;_Tn_ n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3_3 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3_1->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3_1_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3_2->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3_2_1 n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3_3->n6_a_ibm_1401__1_4_1_5_3_3_2_2_4_4_3_3_1 n6_a_ibm_1401__1_5->n6_a_ibm_1401__1_5_1
( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (BEP;_Ipr_ is;{be[through]})
          (PP-CLR (P-ROLE through;{through})
                  (NP;{PROGRAMMING_LANGUAGES} (D these;{these})
                                              (NS languages;{language})))
          (CP-THT-NSBJ (IP-SUB (C that;{that})
                               (NP-SBJ;{COMPUTER} (D the;{the})
                                                  (N computer;{computer}))
                               (NP-RFL;{COMPUTER} (PNX itself;{itself}))
                               (BEP;_cat_VePASS_ is;{be})
                               (IP-PPL-CAT (NP-LGS *)
                                           (VVN;_Tnt_ used;{use})
                                           (IP-INF-OB1 (TO to;{to})
                                                       (VB;_Tn_ perform;{perform})
                                                       (NP-OB1 (Q;_nphd_ many;{many})
                                                               (PP (P-ROLE of;{of})
                                                                   (NP (D the;{the})
                                                                       (ADJP (ADJ tedious;{tedious}))
                                                                       (NS functions;{function})
                                                                       (IP-REL (C that;{that})
                                                                               (NP-SBJ (D the;{the})
                                                                                       (N programmer;{programmer}))
                                                                               (MD;_cat_Vi_ would;{will})
                                                                               (IP-INF-CAT (ADVP-NIM (ADV otherwise;{otherwise}))
                                                                                           (HV;_cat_Vt_ have;{have})
                                                                                           (IP-INF-CAT (NP-OB1 *T*)
                                                                                                       (TO to;{to})
                                                                                                       (VB;_Tn_ perform;{perform})))))))))))
          (PUNC .))
  (ID 6_a_ibm_1401))