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 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_r_0029_0005__been_r_0029_0006__tested have been tested r_0029_0003__have_r_0029_0005__been_r_0029_0006__tested->r_0029_0002__programs [arg1] r_0029_0004__already already r_0029_0003__have_r_0029_0005__been_r_0029_0006__tested->r_0029_0004__already [nim] r_0029_0008__IBM IBM r_0029_0003__have_r_0029_0005__been_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_r_0029_0005__been_r_0029_0006__tested [conj2] z_000_29_a_ibm_1401_27->r_0029_0010__reducing [conj1] 
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_5 Pre-written n29_a_ibm_1401_7 programs n29_a_ibm_1401_9 have n29_a_ibm_1401_13 already n29_a_ibm_1401_15 been n29_a_ibm_1401_18 tested n29_a_ibm_1401_21 by n29_a_ibm_1401_24 IBM n29_a_ibm_1401_26 , n29_a_ibm_1401_30 reducing n29_a_ibm_1401_34 tedious n29_a_ibm_1401_37 checking n29_a_ibm_1401_39 operations n29_a_ibm_1401_42 on n29_a_ibm_1401_45 the n29_a_ibm_1401_47 computer n29_a_ibm_1401_49 . n29_a_ibm_1401_1 IP-MAT n29_a_ibm_1401_2 NP-SBJ n29_a_ibm_1401_1->n29_a_ibm_1401_2 n29_a_ibm_1401_8 HVP;_cat_Ve_ n29_a_ibm_1401_1->n29_a_ibm_1401_8 n29_a_ibm_1401_10 IP-PPL-CAT n29_a_ibm_1401_1->n29_a_ibm_1401_10 n29_a_ibm_1401_25 PUNC n29_a_ibm_1401_1->n29_a_ibm_1401_25 n29_a_ibm_1401_27 PP-SCON n29_a_ibm_1401_1->n29_a_ibm_1401_27 n29_a_ibm_1401_48 PUNC n29_a_ibm_1401_1->n29_a_ibm_1401_48 n29_a_ibm_1401_3 ADJP n29_a_ibm_1401_2->n29_a_ibm_1401_3 n29_a_ibm_1401_6 NS n29_a_ibm_1401_2->n29_a_ibm_1401_6 n29_a_ibm_1401_4 ADJ n29_a_ibm_1401_3->n29_a_ibm_1401_4 n29_a_ibm_1401_4->n29_a_ibm_1401_5 n29_a_ibm_1401_6->n29_a_ibm_1401_7 n29_a_ibm_1401_8->n29_a_ibm_1401_9 n29_a_ibm_1401_11 ADVP-NIM n29_a_ibm_1401_10->n29_a_ibm_1401_11 n29_a_ibm_1401_14 BEN;_cat_VePASS_ n29_a_ibm_1401_10->n29_a_ibm_1401_14 n29_a_ibm_1401_16 IP-PPL-CAT n29_a_ibm_1401_10->n29_a_ibm_1401_16 n29_a_ibm_1401_12 ADV n29_a_ibm_1401_11->n29_a_ibm_1401_12 n29_a_ibm_1401_12->n29_a_ibm_1401_13 n29_a_ibm_1401_14->n29_a_ibm_1401_15 n29_a_ibm_1401_17 VVN;_Tn_ n29_a_ibm_1401_16->n29_a_ibm_1401_17 n29_a_ibm_1401_19 PP-LGS n29_a_ibm_1401_16->n29_a_ibm_1401_19 n29_a_ibm_1401_17->n29_a_ibm_1401_18 n29_a_ibm_1401_20 P-ROLE;_lgs_ n29_a_ibm_1401_19->n29_a_ibm_1401_20 n29_a_ibm_1401_22 NP n29_a_ibm_1401_19->n29_a_ibm_1401_22 n29_a_ibm_1401_20->n29_a_ibm_1401_21 n29_a_ibm_1401_23 NPR n29_a_ibm_1401_22->n29_a_ibm_1401_23 n29_a_ibm_1401_23->n29_a_ibm_1401_24 n29_a_ibm_1401_25->n29_a_ibm_1401_26 n29_a_ibm_1401_28 IP-PPL n29_a_ibm_1401_27->n29_a_ibm_1401_28 n29_a_ibm_1401_29 VAG;_Tn_ n29_a_ibm_1401_28->n29_a_ibm_1401_29 n29_a_ibm_1401_31 NP-OB1 n29_a_ibm_1401_28->n29_a_ibm_1401_31 n29_a_ibm_1401_29->n29_a_ibm_1401_30 n29_a_ibm_1401_32 ADJP n29_a_ibm_1401_31->n29_a_ibm_1401_32 n29_a_ibm_1401_35 ADJP n29_a_ibm_1401_31->n29_a_ibm_1401_35 n29_a_ibm_1401_38 NS n29_a_ibm_1401_31->n29_a_ibm_1401_38 n29_a_ibm_1401_40 PP n29_a_ibm_1401_31->n29_a_ibm_1401_40 n29_a_ibm_1401_33 ADJ n29_a_ibm_1401_32->n29_a_ibm_1401_33 n29_a_ibm_1401_33->n29_a_ibm_1401_34 n29_a_ibm_1401_36 ADJ n29_a_ibm_1401_35->n29_a_ibm_1401_36 n29_a_ibm_1401_36->n29_a_ibm_1401_37 n29_a_ibm_1401_38->n29_a_ibm_1401_39 n29_a_ibm_1401_41 P-ROLE n29_a_ibm_1401_40->n29_a_ibm_1401_41 n29_a_ibm_1401_43 NP n29_a_ibm_1401_40->n29_a_ibm_1401_43 n29_a_ibm_1401_41->n29_a_ibm_1401_42 n29_a_ibm_1401_44 D n29_a_ibm_1401_43->n29_a_ibm_1401_44 n29_a_ibm_1401_46 N n29_a_ibm_1401_43->n29_a_ibm_1401_46 n29_a_ibm_1401_44->n29_a_ibm_1401_45 n29_a_ibm_1401_46->n29_a_ibm_1401_47 n29_a_ibm_1401_48->n29_a_ibm_1401_49 
( (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))