( (IP-MAT (NP-SBJ;{METHODS} (D;_nphd_ These;{these}))
          (BEP;_Ln_ are;{be})
          (NP-PRD (ADVP (ADV just;{just}))
                  (D;_nphd_ a_few;{a_few})
                  (PP (P-ROLE of;{of})
                      (NP;{SERVICES} (D the;{the})
                                     (ADJP (ADJ many;{many}))
                                     (NPR IBM;{IBM})
                                     (NS services;{service}))))
          (PUNC .))
  (ID 89_a_ibm_1401))

arc(r_0089_0002__are,r_0089_0001__These,arg0).
arc(r_0089_0002__are,r_0089_0004__a_few,prd).
arc(r_0089_0004__a_few,r_0089_0003__just,qual).
arc(r_0089_0004__a_few,r_0089_0006__the_r_0089_0008__IBM_r_0089_0009__services,r_0089_0005__of).
arc(r_0089_0006__the_r_0089_0008__IBM_r_0089_0009__services,r_0089_0007__many,attrib).

fof(formula,axiom,
    ? [R_0089_0001__THESE,R_0089_0003__JUST,R_0089_0007__MANY,R_0089_0006__THE_R_0089_0008__IBM_R_0089_0009__SERVICES,R_0089_0004__A_FEW,R_0089_0002__ARE] :
      ( r_0089_0001__These(R_0089_0001__THESE)
      & r_0089_0003__just(R_0089_0003__JUST)
      & r_0089_0007__many(R_0089_0007__MANY)
      & r_0089_0002__are(R_0089_0002__ARE)
      & has_prd(R_0089_0002__ARE,R_0089_0004__A_FEW)
      & r_0089_0004__a_few(R_0089_0004__A_FEW)
      & has_r_0089_0005__of(R_0089_0004__A_FEW,R_0089_0006__THE_R_0089_0008__IBM_R_0089_0009__SERVICES)
      & r_0089_0006__the_r_0089_0008__IBM_r_0089_0009__services(R_0089_0006__THE_R_0089_0008__IBM_R_0089_0009__SERVICES)
      & has_attrib(R_0089_0006__THE_R_0089_0008__IBM_R_0089_0009__SERVICES,R_0089_0007__MANY)
      & has_qual(R_0089_0004__A_FEW,R_0089_0003__JUST)
      & has_arg0(R_0089_0002__ARE,R_0089_0001__THESE) ) ).