Context                Previous, Next                Top


29_a_ibm_1401
Pre-written programs have already been tested by IBM, reducing tedious checking operations on the computer.

%3 r_0029_0002__programs programs r_0029_0001__Pre__hyphen__written Pre-written r_0029_0002__programs->r_0029_0001__Pre__hyphen__written [attrib] r_0029_0003__have have r_0029_0005__been been r_0029_0003__have->r_0029_0005__been [scope] r_0029_0004__already already r_0029_0005__been->r_0029_0004__already [nim] r_0029_0006__tested tested r_0029_0005__been->r_0029_0006__tested [scope] r_0029_0006__tested->r_0029_0002__programs [arg1] r_0029_0008__IBM IBM r_0029_0006__tested->r_0029_0008__IBM [arg0] r_0029_0010__reducing reducing r_0029_0010__reducing->r_0029_0002__programs [arg0] r_0029_0013__operations operations r_0029_0010__reducing->r_0029_0013__operations [arg1] r_0029_0011__tedious tedious r_0029_0013__operations->r_0029_0011__tedious [attrib] r_0029_0012__checking checking r_0029_0013__operations->r_0029_0012__checking [attrib] r_0029_0015__the_r_0029_0016__computer the computer r_0029_0013__operations->r_0029_0015__the_r_0029_0016__computer on z_000_29_a_ibm_1401_27 z_000_29_a_ibm_1401_27->r_0029_0003__have [scope] z_000_29_a_ibm_1401_27->r_0029_0010__reducing [restriction] 
arc(r_0029_0002__programs, r_0029_0001__Pre__hyphen__written, attrib3).
arc(r_0029_0003__have, r_0029_0005__been, scope).
arc(r_0029_0005__been, r_0029_0004__already, nim11).
arc(r_0029_0005__been, r_0029_0006__tested, scope).
arc(r_0029_0006__tested, r_0029_0002__programs, arg1).
arc(r_0029_0006__tested, r_0029_0008__IBM, arg0).
arc(r_0029_0010__reducing, r_0029_0002__programs, arg0).
arc(r_0029_0010__reducing, r_0029_0013__operations, arg1).
arc(r_0029_0013__operations, r_0029_0011__tedious, attrib32).
arc(r_0029_0013__operations, r_0029_0012__checking, attrib35).
arc(r_0029_0013__operations, r_0029_0015__the_r_0029_0016__computer, r_0029_0014__on).
arc(z_000_29_a_ibm_1401_27, r_0029_0003__have, scope).
arc(z_000_29_a_ibm_1401_27, r_0029_0010__reducing, restriction).


%3 z_000_29_a_ibm_1401_27 r_0029_0010__reducing reducing z_000_29_a_ibm_1401_27->r_0029_0010__reducing [conj1] r_0029_0003__have_r_0029_0005__been_r_0029_0006__tested have been tested z_000_29_a_ibm_1401_27->r_0029_0003__have_r_0029_0005__been_r_0029_0006__tested [conj2] r_0029_0013__operations operations r_0029_0010__reducing->r_0029_0013__operations [arg1] r_0029_0002__programs programs r_0029_0010__reducing->r_0029_0002__programs [arg0] r_0029_0003__have_r_0029_0005__been_r_0029_0006__tested->r_0029_0002__programs [arg1] r_0029_0008__IBM IBM r_0029_0003__have_r_0029_0005__been_r_0029_0006__tested->r_0029_0008__IBM [arg0] r_0029_0004__already already r_0029_0003__have_r_0029_0005__been_r_0029_0006__tested->r_0029_0004__already [nim] r_0029_0015__the_r_0029_0016__computer the computer r_0029_0013__operations->r_0029_0015__the_r_0029_0016__computer on r_0029_0012__checking checking r_0029_0013__operations->r_0029_0012__checking [attrib] r_0029_0011__tedious tedious r_0029_0013__operations->r_0029_0011__tedious [attrib] r_0029_0001__Pre__hyphen__written Pre-written r_0029_0002__programs->r_0029_0001__Pre__hyphen__written [attrib] 
fof(formula,axiom,
    ? [Z_29_A_IBM_1401_27,R_29_10_REDUCING,R_29_13_OPERATIONS,R_29_11_TEDIOUS,R_29_12_CHECKING,R_29_15_THE_COMPUTER,R_29_3_HAVE_BEEN_TESTED,R_29_8_IBM,R_29_2_PROGRAMS,R_29_1_PRE_HYPHEN_WRITTEN,R_29_4_ALREADY] :
      ( tedious(R_29_11_TEDIOUS)
      & checking(R_29_12_CHECKING)
      & the_computer(R_29_15_THE_COMPUTER)
      & iBM(R_29_8_IBM)
      & pre_hyphen_written(R_29_1_PRE_HYPHEN_WRITTEN)
      & already(R_29_4_ALREADY)
      & z_29_a_ibm_1401_27(Z_29_A_IBM_1401_27)
      & conj1(Z_29_A_IBM_1401_27,R_29_10_REDUCING)
      & reducing(R_29_10_REDUCING,R_29_2_PROGRAMS,R_29_13_OPERATIONS)
      & programs(R_29_2_PROGRAMS)
      & attrib3(R_29_2_PROGRAMS,R_29_1_PRE_HYPHEN_WRITTEN)
      & operations(R_29_13_OPERATIONS)
      & attrib32(R_29_13_OPERATIONS,R_29_11_TEDIOUS)
      & attrib35(R_29_13_OPERATIONS,R_29_12_CHECKING)
      & on(R_29_13_OPERATIONS,R_29_15_THE_COMPUTER)
      & conj2(Z_29_A_IBM_1401_27,R_29_3_HAVE_BEEN_TESTED)
      & have_been_tested(R_29_3_HAVE_BEEN_TESTED,R_29_8_IBM,R_29_2_PROGRAMS)
      & nim11(R_29_3_HAVE_BEEN_TESTED,R_29_4_ALREADY) ) ).


n29_a_ibm_1401 n29_a_ibm_1401__1_1_1_1_1 Pre-written n29_a_ibm_1401__1_1_2_1 programs n29_a_ibm_1401__1_2_1 have n29_a_ibm_1401__1_3_1_1_1 already n29_a_ibm_1401__1_3_2_1 been n29_a_ibm_1401__1_3_3_1_1 tested n29_a_ibm_1401__1_3_3_2_1_1 by n29_a_ibm_1401__1_3_3_2_2_1_1 IBM n29_a_ibm_1401__1_4_1 , n29_a_ibm_1401__1_5_1_1_1 reducing n29_a_ibm_1401__1_5_1_2_1_1_1 tedious n29_a_ibm_1401__1_5_1_2_2_1_1 checking n29_a_ibm_1401__1_5_1_2_3_1 operations n29_a_ibm_1401__1_5_1_2_4_1_1 on n29_a_ibm_1401__1_5_1_2_4_2_1_1 the n29_a_ibm_1401__1_5_1_2_4_2_2_1 computer n29_a_ibm_1401__1_6_1 . n29_a_ibm_1401__1 IP-MAT n29_a_ibm_1401__1_1 NP-SBJ n29_a_ibm_1401__1->n29_a_ibm_1401__1_1 n29_a_ibm_1401__1_2 HVP;_cat_Ve_ n29_a_ibm_1401__1->n29_a_ibm_1401__1_2 n29_a_ibm_1401__1_3 IP-PPL-CAT n29_a_ibm_1401__1->n29_a_ibm_1401__1_3 n29_a_ibm_1401__1_4 PUNC n29_a_ibm_1401__1->n29_a_ibm_1401__1_4 n29_a_ibm_1401__1_5 PP-SCON n29_a_ibm_1401__1->n29_a_ibm_1401__1_5 n29_a_ibm_1401__1_6 PUNC n29_a_ibm_1401__1->n29_a_ibm_1401__1_6 n29_a_ibm_1401__1_1_1 ADJP n29_a_ibm_1401__1_1->n29_a_ibm_1401__1_1_1 n29_a_ibm_1401__1_1_2 NS n29_a_ibm_1401__1_1->n29_a_ibm_1401__1_1_2 n29_a_ibm_1401__1_1_1_1 ADJ n29_a_ibm_1401__1_1_1->n29_a_ibm_1401__1_1_1_1 n29_a_ibm_1401__1_1_1_1->n29_a_ibm_1401__1_1_1_1_1 n29_a_ibm_1401__1_1_2->n29_a_ibm_1401__1_1_2_1 n29_a_ibm_1401__1_2->n29_a_ibm_1401__1_2_1 n29_a_ibm_1401__1_3_1 ADVP-NIM n29_a_ibm_1401__1_3->n29_a_ibm_1401__1_3_1 n29_a_ibm_1401__1_3_2 BEN;_cat_VePASS_ n29_a_ibm_1401__1_3->n29_a_ibm_1401__1_3_2 n29_a_ibm_1401__1_3_3 IP-PPL-CAT n29_a_ibm_1401__1_3->n29_a_ibm_1401__1_3_3 n29_a_ibm_1401__1_3_1_1 ADV n29_a_ibm_1401__1_3_1->n29_a_ibm_1401__1_3_1_1 n29_a_ibm_1401__1_3_1_1->n29_a_ibm_1401__1_3_1_1_1 n29_a_ibm_1401__1_3_2->n29_a_ibm_1401__1_3_2_1 n29_a_ibm_1401__1_3_3_1 VVN;_Tn_ n29_a_ibm_1401__1_3_3->n29_a_ibm_1401__1_3_3_1 n29_a_ibm_1401__1_3_3_2 PP-LGS n29_a_ibm_1401__1_3_3->n29_a_ibm_1401__1_3_3_2 n29_a_ibm_1401__1_3_3_1->n29_a_ibm_1401__1_3_3_1_1 n29_a_ibm_1401__1_3_3_2_1 P-ROLE;_lgs_ n29_a_ibm_1401__1_3_3_2->n29_a_ibm_1401__1_3_3_2_1 n29_a_ibm_1401__1_3_3_2_2 NP n29_a_ibm_1401__1_3_3_2->n29_a_ibm_1401__1_3_3_2_2 n29_a_ibm_1401__1_3_3_2_1->n29_a_ibm_1401__1_3_3_2_1_1 n29_a_ibm_1401__1_3_3_2_2_1 NPR n29_a_ibm_1401__1_3_3_2_2->n29_a_ibm_1401__1_3_3_2_2_1 n29_a_ibm_1401__1_3_3_2_2_1->n29_a_ibm_1401__1_3_3_2_2_1_1 n29_a_ibm_1401__1_4->n29_a_ibm_1401__1_4_1 n29_a_ibm_1401__1_5_1 IP-PPL n29_a_ibm_1401__1_5->n29_a_ibm_1401__1_5_1 n29_a_ibm_1401__1_5_1_1 VAG;_Tn_ n29_a_ibm_1401__1_5_1->n29_a_ibm_1401__1_5_1_1 n29_a_ibm_1401__1_5_1_2 NP-OB1 n29_a_ibm_1401__1_5_1->n29_a_ibm_1401__1_5_1_2 n29_a_ibm_1401__1_5_1_1->n29_a_ibm_1401__1_5_1_1_1 n29_a_ibm_1401__1_5_1_2_1 ADJP n29_a_ibm_1401__1_5_1_2->n29_a_ibm_1401__1_5_1_2_1 n29_a_ibm_1401__1_5_1_2_2 ADJP n29_a_ibm_1401__1_5_1_2->n29_a_ibm_1401__1_5_1_2_2 n29_a_ibm_1401__1_5_1_2_3 NS n29_a_ibm_1401__1_5_1_2->n29_a_ibm_1401__1_5_1_2_3 n29_a_ibm_1401__1_5_1_2_4 PP n29_a_ibm_1401__1_5_1_2->n29_a_ibm_1401__1_5_1_2_4 n29_a_ibm_1401__1_5_1_2_1_1 ADJ n29_a_ibm_1401__1_5_1_2_1->n29_a_ibm_1401__1_5_1_2_1_1 n29_a_ibm_1401__1_5_1_2_1_1->n29_a_ibm_1401__1_5_1_2_1_1_1 n29_a_ibm_1401__1_5_1_2_2_1 ADJ n29_a_ibm_1401__1_5_1_2_2->n29_a_ibm_1401__1_5_1_2_2_1 n29_a_ibm_1401__1_5_1_2_2_1->n29_a_ibm_1401__1_5_1_2_2_1_1 n29_a_ibm_1401__1_5_1_2_3->n29_a_ibm_1401__1_5_1_2_3_1 n29_a_ibm_1401__1_5_1_2_4_1 P-ROLE n29_a_ibm_1401__1_5_1_2_4->n29_a_ibm_1401__1_5_1_2_4_1 n29_a_ibm_1401__1_5_1_2_4_2 NP n29_a_ibm_1401__1_5_1_2_4->n29_a_ibm_1401__1_5_1_2_4_2 n29_a_ibm_1401__1_5_1_2_4_1->n29_a_ibm_1401__1_5_1_2_4_1_1 n29_a_ibm_1401__1_5_1_2_4_2_1 D n29_a_ibm_1401__1_5_1_2_4_2->n29_a_ibm_1401__1_5_1_2_4_2_1 n29_a_ibm_1401__1_5_1_2_4_2_2 N n29_a_ibm_1401__1_5_1_2_4_2->n29_a_ibm_1401__1_5_1_2_4_2_2 n29_a_ibm_1401__1_5_1_2_4_2_1->n29_a_ibm_1401__1_5_1_2_4_2_1_1 n29_a_ibm_1401__1_5_1_2_4_2_2->n29_a_ibm_1401__1_5_1_2_4_2_2_1 n29_a_ibm_1401__1_6->n29_a_ibm_1401__1_6_1 
( (IP-MAT (NP-SBJ (ADJP (ADJ Pre_<hyphen>_written;{pre_written}))
                  (NS programs;{program}))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (ADVP-NIM (ADV already;{already}))
                      (BEN;_cat_VePASS_ been;{be})
                      (IP-PPL-CAT (VVN;_Tn_ tested;{test})
                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                          (NP (NPR IBM;{IBM})))))
          (PUNC ,)
          (PP-SCON (IP-PPL (VAG;_Tn_ reducing;{reduce})
                           (NP-OB1 (ADJP (ADJ tedious;{tedious}))
                                   (ADJP (ADJ checking;{checking}))
                                   (NS operations;{operation})
                                   (PP (P-ROLE on;{on})
                                       (NP (D the;{the})
                                           (N computer;{computer}))))))
          (PUNC .))
  (ID 29_a_ibm_1401))