TSPC 27_a_ibm

27_a_ibm_1401
Many pre-written programs are supplied by IBM, eliminating necessity of customers' staffs writing their own.

arc(r_0027_0003__programs, r_0027_0001__Many, attrib3).
arc(r_0027_0003__programs, r_0027_0002__pre__hyphen__written, attrib6).
arc(r_0027_0004__are, r_0027_0005__supplied, scope).
arc(r_0027_0005__supplied, r_0027_0003__programs, arg1).
arc(r_0027_0005__supplied, r_0027_0007__IBM, arg0).
arc(r_0027_0009__eliminating, r_0027_0010__necessity, arg1).
arc(r_0027_0009__eliminating, z_000_27_a_ibm_1401_25, arg0).
arc(r_0027_0010__necessity, r_0027_0015__writing, r_0027_0011__of).
arc(r_0027_0014__staffs, r_0027_0012__customers_r_0027_0013___apos_, gen).
arc(r_0027_0015__writing, r_0027_0014__staffs, arg0).
arc(r_0027_0015__writing, z_000_27_a_ibm_1401_45, arg1).
arc(z_000_27_a_ibm_1401_24, r_0027_0004__are, scope).
arc(z_000_27_a_ibm_1401_24, r_0027_0009__eliminating, restriction).
arc(z_000_27_a_ibm_1401_45, z_000_27_a_ibm_1401_46, gen).
arc(z_000_27_a_ibm_1401_46, r_0027_0014__staffs, gen).
arc(z_000_27_a_ibm_1401_46, r_0027_0017__own, attrib50).

fof(formula,axiom,
    ? [R_0027_0001__MANY,R_0027_0002__PRE__HYPHEN__WRITTEN,R_0027_0003__PROGRAMS,R_0027_0007__IBM,R_0027_0004__ARE_R_0027_0005__SUPPLIED,R_0027_0012__CUSTOMERS_R_0027_0013___APOS_,R_0027_0014__STAFFS,R_0027_0017__OWN,Z_000_27_A_IBM_1401_46,Z_000_27_A_IBM_1401_45,R_0027_0015__WRITING,R_0027_0010__NECESSITY,Z_000_27_A_IBM_1401_25,R_0027_0009__ELIMINATING,Z_000_27_A_IBM_1401_24] :
      ( r_0027_0001__Many(R_0027_0001__MANY)
      & r_0027_0002__pre__hyphen__written(R_0027_0002__PRE__HYPHEN__WRITTEN)
      & r_0027_0007__IBM(R_0027_0007__IBM)
      & r_0027_0012__customers_r_0027_0013___apos_(R_0027_0012__CUSTOMERS_R_0027_0013___APOS_)
      & r_0027_0017__own(R_0027_0017__OWN)
      & z_000_27_a_ibm_1401_25(Z_000_27_A_IBM_1401_25)
      & z_000_27_a_ibm_1401_24(Z_000_27_A_IBM_1401_24)
      & has_conj1(Z_000_27_A_IBM_1401_24,R_0027_0009__ELIMINATING)
      & r_0027_0009__eliminating(R_0027_0009__ELIMINATING)
      & has_arg0(R_0027_0009__ELIMINATING,Z_000_27_A_IBM_1401_25)
      & has_arg1(R_0027_0009__ELIMINATING,R_0027_0010__NECESSITY)
      & r_0027_0010__necessity(R_0027_0010__NECESSITY)
      & has_r_0027_0011__of(R_0027_0010__NECESSITY,R_0027_0015__WRITING)
      & r_0027_0015__writing(R_0027_0015__WRITING)
      & has_arg1(R_0027_0015__WRITING,Z_000_27_A_IBM_1401_45)
      & z_000_27_a_ibm_1401_45(Z_000_27_A_IBM_1401_45)
      & has_gen(Z_000_27_A_IBM_1401_45,Z_000_27_A_IBM_1401_46)
      & z_000_27_a_ibm_1401_46(Z_000_27_A_IBM_1401_46)
      & has_attrib50(Z_000_27_A_IBM_1401_46,R_0027_0017__OWN)
      & has_gen(Z_000_27_A_IBM_1401_46,R_0027_0014__STAFFS)
      & r_0027_0014__staffs(R_0027_0014__STAFFS)
      & has_gen(R_0027_0014__STAFFS,R_0027_0012__CUSTOMERS_R_0027_0013___APOS_)
      & has_arg0(R_0027_0015__WRITING,R_0027_0014__STAFFS)
      & has_conj2(Z_000_27_A_IBM_1401_24,R_0027_0004__ARE_R_0027_0005__SUPPLIED)
      & r_0027_0004__are_r_0027_0005__supplied(R_0027_0004__ARE_R_0027_0005__SUPPLIED)
      & has_arg0(R_0027_0004__ARE_R_0027_0005__SUPPLIED,R_0027_0007__IBM)
      & has_arg1(R_0027_0004__ARE_R_0027_0005__SUPPLIED,R_0027_0003__PROGRAMS)
      & r_0027_0003__programs(R_0027_0003__PROGRAMS)
      & has_attrib6(R_0027_0003__PROGRAMS,R_0027_0002__PRE__HYPHEN__WRITTEN)
      & has_attrib3(R_0027_0003__PROGRAMS,R_0027_0001__MANY) ) ).

( (IP-MAT (NP-SBJ (ADJP (ADJ Many;{many}))
                  (ADJP (ADJ pre_<hyphen>_written;{pre_written}))
                  (NS programs;{program}))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (VVN;_Tn_ supplied;{supply})
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (NPR IBM;{IBM}))))
          (PUNC ,)
          (PP-SCON (IP-PPL3 (VAG;_Tn_ eliminating;{eliminate})
                            (NP-OB1 (N necessity;{necessity})
                                    (PP (P-ROLE of;{of})
                                        (IP-PPL3 (NP-SBJ;{STAFFS} (NP-GEN (NS customers;{customer})
                                                                          (GENM <apos>))
                                                                  (NS staffs;{staff}))
                                                 (VAG;_Tn_ writing;{write})
                                                 (NP-OB1 (NP-GEN (NP-GEN;{STAFFS} (PRO;_genm_ their;{their}))
                                                                 (ADJP (ADJ own;{own})))))))))
          (PUNC .))
  (ID 27_a_ibm_1401))