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

arc(r_0027_0003__programs,r_0027_0001__Many,attrib).
arc(r_0027_0003__programs,r_0027_0002__pre__hyphen__written,attrib).
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,r_0027_0006__by_arg0).
arc(r_0027_0009__eliminating,r_0027_0010__necessity,arg1).
arc(r_0027_0009__eliminating,z_0027_5007,arg0).
arc(r_0027_0010__necessity,r_0027_0015__writing,r_0027_0011__of).
arc(r_0027_0014__staffs,r_0027_0012__customers,gen).
arc(r_0027_0015__writing,r_0027_0014__staffs,arg0).
arc(r_0027_0015__writing,z_0027_5017,arg1).
arc(z_0027_5004,r_0027_0004__are,scope).
arc(z_0027_5004,r_0027_0009__eliminating,restriction).
arc(z_0027_5016,r_0027_0014__staffs,gen).
arc(z_0027_5016,r_0027_0017__own,attrib).
arc(z_0027_5017,z_0027_5016,gen).

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_0014__STAFFS,R_0027_0017__OWN,Z_0027_5016,Z_0027_5017,R_0027_0015__WRITING,R_0027_0010__NECESSITY,Z_0027_5007,R_0027_0009__ELIMINATING,Z_0027_5004] :
      ( 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_0012__CUSTOMERS)
      & r_0027_0017__own(R_0027_0017__OWN)
      & z_0027_5007(Z_0027_5007)
      & z_0027_5004(Z_0027_5004)
      & has_conj1(Z_0027_5004,R_0027_0009__ELIMINATING)
      & r_0027_0009__eliminating(R_0027_0009__ELIMINATING)
      & has_arg0(R_0027_0009__ELIMINATING,Z_0027_5007)
      & 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_0027_5017)
      & z_0027_5017(Z_0027_5017)
      & has_gen(Z_0027_5017,Z_0027_5016)
      & z_0027_5016(Z_0027_5016)
      & has_attrib(Z_0027_5016,R_0027_0017__OWN)
      & has_gen(Z_0027_5016,R_0027_0014__STAFFS)
      & r_0027_0014__staffs(R_0027_0014__STAFFS)
      & has_gen(R_0027_0014__STAFFS,R_0027_0012__CUSTOMERS)
      & has_arg0(R_0027_0015__WRITING,R_0027_0014__STAFFS)
      & has_conj2(Z_0027_5004,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_r_0027_0006__by_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_attrib(R_0027_0003__PROGRAMS,R_0027_0002__PRE__HYPHEN__WRITTEN)
      & has_attrib(R_0027_0003__PROGRAMS,R_0027_0001__MANY) ) ).