TSPC 29_a_ibm

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

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

arc(r_0029_0002__programs,r_0029_0001__Pre__hyphen__written,attrib).
arc(r_0029_0003__have,r_0029_0005__been,scope).
arc(r_0029_0005__been,r_0029_0004__already,nim).
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,r_0029_0007__by_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,attrib).
arc(r_0029_0013__operations,r_0029_0012__checking,attrib).
arc(r_0029_0013__operations,r_0029_0015__the_r_0029_0016__computer,r_0029_0014__on).
arc(z_0029_5003,r_0029_0003__have,scope).
arc(z_0029_5003,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_0029_5003] :
      ( 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_0029_5003(Z_0029_5003)
      & has_conj1(Z_0029_5003,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_attrib(R_0029_0013__OPERATIONS,R_0029_0012__CHECKING)
      & has_attrib(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_attrib(R_0029_0002__PROGRAMS,R_0029_0001__PRE__HYPHEN__WRITTEN)
      & has_conj2(Z_0029_5003,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_r_0029_0007__by_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_nim(R_0029_0003__HAVE_R_0029_0005__BEEN_R_0029_0006__TESTED,R_0029_0004__ALREADY) ) ).