TSPC 88_a_ibm

88_a_ibm_1401
Experienced, highly trained individuals work with customers in applying IBM methods to their requirements.

( (IP-MAT (NP-SBJ (ADJP (ADJ Experienced;{experienced}))
                  (PUNC ,)
                  (IP-PPL (NP-LGS *)
                          (ADVP-NIM (ADV highly;{highly}))
                          (VVN;_Tn_ trained;{train}))
                  (NS individuals;{individual}))
          (VBP;_Ipr_ work;{work[in]})
          (PP-NIM (P-ROLE with;{with})
                  (NP;{CUSTOMERS} (NS customers;{customer})))
          (PP-CLR (P-ROLE in;{in})
                  (IP-PPL (VAG;_Tn.pr_ applying;{apply[to]})
                          (NP-OB1;{METHODS} (NPR IBM;{IBM})
                                            (NS methods;{method}))
                          (PP-CLR (P-ROLE to;{to})
                                  (NP (NP-GEN;{CUSTOMERS} (PRO;_genm_ their;{their}))
                                      (NS requirements;{requirement})))))
          (PUNC .))
  (ID 88_a_ibm_1401))

arc(r_0088_0004__trained,r_0088_0003__highly,nim).
arc(r_0088_0004__trained,r_0088_0005__individuals,inv_arg1).
arc(r_0088_0004__trained,z_0088_5004___star_,arg0).
arc(r_0088_0005__individuals,r_0088_0001__Experienced,attrib).
arc(r_0088_0006__work,r_0088_0005__individuals,arg0).
arc(r_0088_0006__work,r_0088_0008__customers,r_0088_0007__with__nim).
arc(r_0088_0006__work,r_0088_0010__applying_r_0088_0013__to,r_0088_0009__in__clr).
arc(r_0088_0010__applying_r_0088_0013__to,r_0088_0005__individuals,arg0).
arc(r_0088_0010__applying_r_0088_0013__to,r_0088_0011__IBM_r_0088_0012__methods,arg1).
arc(r_0088_0010__applying_r_0088_0013__to,r_0088_0015__requirements,arg2).
arc(r_0088_0015__requirements,r_0088_0014__their,gen).

fof(formula,axiom,
    ? [R_0088_0003__HIGHLY,Z_0088_5004___STAR_,R_0088_0004__TRAINED,R_0088_0001__EXPERIENCED,R_0088_0005__INDIVIDUALS,R_0088_0008__CUSTOMERS,R_0088_0011__IBM_R_0088_0012__METHODS,R_0088_0014__THEIR,R_0088_0015__REQUIREMENTS,R_0088_0010__APPLYING_R_0088_0013__TO,R_0088_0006__WORK] :
      ( r_0088_0001__Experienced(R_0088_0001__EXPERIENCED)
      & r_0088_0003__highly(R_0088_0003__HIGHLY)
      & r_0088_0008__customers(R_0088_0008__CUSTOMERS)
      & r_0088_0011__IBM_r_0088_0012__methods(R_0088_0011__IBM_R_0088_0012__METHODS)
      & r_0088_0014__their(R_0088_0014__THEIR)
      & z_0088_5004___star_(Z_0088_5004___STAR_)
      & r_0088_0006__work(R_0088_0006__WORK)
      & has_r_0088_0009__in__clr(R_0088_0006__WORK,R_0088_0010__APPLYING_R_0088_0013__TO)
      & r_0088_0010__applying_r_0088_0013__to(R_0088_0010__APPLYING_R_0088_0013__TO)
      & has_arg2(R_0088_0010__APPLYING_R_0088_0013__TO,R_0088_0015__REQUIREMENTS)
      & r_0088_0015__requirements(R_0088_0015__REQUIREMENTS)
      & has_gen(R_0088_0015__REQUIREMENTS,R_0088_0014__THEIR)
      & has_arg1(R_0088_0010__APPLYING_R_0088_0013__TO,R_0088_0011__IBM_R_0088_0012__METHODS)
      & has_arg0(R_0088_0010__APPLYING_R_0088_0013__TO,R_0088_0005__INDIVIDUALS)
      & r_0088_0005__individuals(R_0088_0005__INDIVIDUALS)
      & has_attrib(R_0088_0005__INDIVIDUALS,R_0088_0001__EXPERIENCED)
      & has_inv_arg1(R_0088_0005__INDIVIDUALS,R_0088_0004__TRAINED)
      & r_0088_0004__trained(R_0088_0004__TRAINED)
      & has_arg0(R_0088_0004__TRAINED,Z_0088_5004___STAR_)
      & has_nim(R_0088_0004__TRAINED,R_0088_0003__HIGHLY)
      & has_r_0088_0007__with__nim(R_0088_0006__WORK,R_0088_0008__CUSTOMERS)
      & has_arg0(R_0088_0006__WORK,R_0088_0005__INDIVIDUALS) ) ).