( (IP-MAT (NP-SBJ (D A;{a})
                  (N library;{library})
                  (PP (P-ROLE of;{of})
                      (NP;{LIBRARY_PROGRAMS} (NPR 1401)
                                             (NS programs;{program}))))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ established;{establish})))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Tn.pr_ aid;{aid[in]})
                           (NP-OB1 (Q all;{all})
                                   (NPR 1401)
                                   (NS customers;{customer}))
                           (PP-CLR (P-ROLE in;{in})
                                   (IP-PPL (VAG;_Tn_ solving;{solve})
                                           (NP-OB1 (ADJP (ADJ specific;{specific}))
                                                   (NS applications;{application})
                                                   (PUNC ,)
                                                   (PRN (ADJP (AJLYR (AJLYR (ADJ scientific;{scientific}))
                                                                     (CONJP (CONJ as_well_as;{as_well_as})
                                                                            (AJLYR (ADJ commercial;{commercial})))))))))))
          (PUNC .))
  (ID 79_a_ibm_1401))

arc(r_0079_0001__A_r_0079_0002__library,r_0079_0004__1401_r_0079_0005__programs,r_0079_0003__of).
arc(r_0079_0006__will,r_0079_0007__be,scope).
arc(r_0079_0007__be,r_0079_0008__established,scope).
arc(r_0079_0008__established,r_0079_0001__A_r_0079_0002__library,arg1).
arc(r_0079_0008__established,z_0079_5017___star_,arg0).
arc(r_0079_0010__aid,r_0079_0001__A_r_0079_0002__library,arg0).
arc(r_0079_0010__aid,r_0079_0012__1401_r_0079_0013__customers,arg1).
arc(r_0079_0010__aid,r_0079_0015__solving,r_0079_0014__in__clr).
arc(r_0079_0011__all__quant,r_0079_0010__aid,scope).
arc(r_0079_0011__all__quant,r_0079_0012__1401_r_0079_0013__customers,restriction).
arc(r_0079_0015__solving,r_0079_0012__1401_r_0079_0013__customers,arg0).
arc(r_0079_0015__solving,r_0079_0017__applications,arg1).
arc(r_0079_0017__applications,r_0079_0016__specific,attrib).
arc(r_0079_0017__applications,r_0079_0020__as_well_as,prn).
arc(r_0079_0020__as_well_as,r_0079_0019__scientific,conj1).
arc(r_0079_0020__as_well_as,r_0079_0021__commercial,conj2).
arc(z_0079_5003,r_0079_0006__will,scope).
arc(z_0079_5003,r_0079_0011__all__quant,restriction).

fof(formula,axiom,
    ? [R_0079_0004__1401_R_0079_0005__PROGRAMS,R_0079_0001__A_R_0079_0002__LIBRARY,Z_0079_5017___STAR_,R_0079_0006__WILL_R_0079_0007__BE_R_0079_0008__ESTABLISHED,Z_0079_5003] :
      ( r_0079_0004__1401_r_0079_0005__programs(R_0079_0004__1401_R_0079_0005__PROGRAMS)
      & z_0079_5017___star_(Z_0079_5017___STAR_)
      & z_0079_5003(Z_0079_5003)
      & ! [R_0079_0012__1401_R_0079_0013__CUSTOMERS] :
          ( r_0079_0012__1401_r_0079_0013__customers(R_0079_0012__1401_R_0079_0013__CUSTOMERS)
         => ? [R_0079_0016__SPECIFIC,R_0079_0019__SCIENTIFIC,R_0079_0021__COMMERCIAL,R_0079_0020__AS_WELL_AS,R_0079_0017__APPLICATIONS,R_0079_0015__SOLVING,R_0079_0010__AID] :
              ( r_0079_0016__specific(R_0079_0016__SPECIFIC)
              & r_0079_0019__scientific(R_0079_0019__SCIENTIFIC)
              & r_0079_0021__commercial(R_0079_0021__COMMERCIAL)
              & r_0079_0010__aid(R_0079_0010__AID)
              & has_r_0079_0014__in__clr(R_0079_0010__AID,R_0079_0015__SOLVING)
              & r_0079_0015__solving(R_0079_0015__SOLVING)
              & has_arg1(R_0079_0015__SOLVING,R_0079_0017__APPLICATIONS)
              & r_0079_0017__applications(R_0079_0017__APPLICATIONS)
              & has_prn(R_0079_0017__APPLICATIONS,R_0079_0020__AS_WELL_AS)
              & r_0079_0020__as_well_as(R_0079_0020__AS_WELL_AS)
              & has_conj2(R_0079_0020__AS_WELL_AS,R_0079_0021__COMMERCIAL)
              & has_conj1(R_0079_0020__AS_WELL_AS,R_0079_0019__SCIENTIFIC)
              & has_attrib(R_0079_0017__APPLICATIONS,R_0079_0016__SPECIFIC)
              & has_arg0(R_0079_0015__SOLVING,R_0079_0012__1401_R_0079_0013__CUSTOMERS)
              & has_arg1(R_0079_0010__AID,R_0079_0012__1401_R_0079_0013__CUSTOMERS)
              & has_arg0(R_0079_0010__AID,R_0079_0001__A_R_0079_0002__LIBRARY) ) )
      & has_conj2(Z_0079_5003,R_0079_0006__WILL_R_0079_0007__BE_R_0079_0008__ESTABLISHED)
      & r_0079_0006__will_r_0079_0007__be_r_0079_0008__established(R_0079_0006__WILL_R_0079_0007__BE_R_0079_0008__ESTABLISHED)
      & has_arg0(R_0079_0006__WILL_R_0079_0007__BE_R_0079_0008__ESTABLISHED,Z_0079_5017___STAR_)
      & has_arg1(R_0079_0006__WILL_R_0079_0007__BE_R_0079_0008__ESTABLISHED,R_0079_0001__A_R_0079_0002__LIBRARY)
      & r_0079_0001__A_r_0079_0002__library(R_0079_0001__A_R_0079_0002__LIBRARY)
      & has_r_0079_0003__of(R_0079_0001__A_R_0079_0002__LIBRARY,R_0079_0004__1401_R_0079_0005__PROGRAMS) ) ).