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).

fof(formula,axiom,
    ? [R_0029_0004__ALREADY,R_0029_0001__PRE__HYPHEN__WRITTEN,R_0029_0002__PROGRAMS,R_0029_0008__IBM,R_0029_0003__HAVE_R_0029_0005__BEEN_R_0029_0006__TESTED,R_0029_0011__TEDIOUS,R_0029_0012__CHECKING,R_0029_0015__THE_R_0029_0016__COMPUTER,R_0029_0013__OPERATIONS,R_0029_0010__REDUCING,Z_000_29_A_IBM_1401_27] :
      ( r_0029_0001__Pre__hyphen__written(R_0029_0001__PRE__HYPHEN__WRITTEN)
      & r_0029_0004__already(R_0029_0004__ALREADY)
      & r_0029_0008__IBM(R_0029_0008__IBM)
      & r_0029_0011__tedious(R_0029_0011__TEDIOUS)
      & r_0029_0012__checking(R_0029_0012__CHECKING)
      & r_0029_0015__the_r_0029_0016__computer(R_0029_0015__THE_R_0029_0016__COMPUTER)
      & z_000_29_a_ibm_1401_27(Z_000_29_A_IBM_1401_27)
      & has_conj1(Z_000_29_A_IBM_1401_27,R_0029_0010__REDUCING)
      & r_0029_0010__reducing(R_0029_0010__REDUCING)
      & has_arg1(R_0029_0010__REDUCING,R_0029_0013__OPERATIONS)
      & r_0029_0013__operations(R_0029_0013__OPERATIONS)
      & has_r_0029_0014__on(R_0029_0013__OPERATIONS,R_0029_0015__THE_R_0029_0016__COMPUTER)
      & has_attrib35(R_0029_0013__OPERATIONS,R_0029_0012__CHECKING)
      & has_attrib32(R_0029_0013__OPERATIONS,R_0029_0011__TEDIOUS)
      & has_arg0(R_0029_0010__REDUCING,R_0029_0002__PROGRAMS)
      & r_0029_0002__programs(R_0029_0002__PROGRAMS)
      & has_attrib3(R_0029_0002__PROGRAMS,R_0029_0001__PRE__HYPHEN__WRITTEN)
      & has_conj2(Z_000_29_A_IBM_1401_27,R_0029_0003__HAVE_R_0029_0005__BEEN_R_0029_0006__TESTED)
      & r_0029_0003__have_r_0029_0005__been_r_0029_0006__tested(R_0029_0003__HAVE_R_0029_0005__BEEN_R_0029_0006__TESTED)
      & has_arg0(R_0029_0003__HAVE_R_0029_0005__BEEN_R_0029_0006__TESTED,R_0029_0008__IBM)
      & has_arg1(R_0029_0003__HAVE_R_0029_0005__BEEN_R_0029_0006__TESTED,R_0029_0002__PROGRAMS)
      & has_nim11(R_0029_0003__HAVE_R_0029_0005__BEEN_R_0029_0006__TESTED,R_0029_0004__ALREADY) ) ).

( (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))