TSPC 88_a_ibm

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

arc(r_0088_0004__trained, r_0088_0003__highly, nim11).
arc(r_0088_0004__trained, r_0088_0005__individuals, arg1).
arc(r_0088_0004__trained, z_000_88_a_ibm_1401_9, arg0).
arc(r_0088_0005__individuals, r_0088_0001__Experienced, attrib3).
arc(r_0088_0006__work, r_0088_0005__individuals, arg0).
arc(r_0088_0006__work, r_0088_0008__customers, r_0088_0007__with_nim23).
arc(r_0088_0006__work, r_0088_0010__applying, r_0088_0009__in_clr29).
arc(r_0088_0010__applying, r_0088_0011__IBM_r_0088_0012__methods, arg1).
arc(r_0088_0010__applying, r_0088_0015__requirements, r_0088_0013__to_clr40).
arc(r_0088_0010__applying, z_000_88_a_ibm_1401_29, arg0).
arc(r_0088_0015__requirements, r_0088_0008__customers, gen).

fof(formula,axiom,
    ? [R_0088_0003__HIGHLY,R_0088_0001__EXPERIENCED,R_0088_0005__INDIVIDUALS,Z_000_88_A_IBM_1401_9,R_0088_0004__TRAINED,R_0088_0008__CUSTOMERS,R_0088_0011__IBM_R_0088_0012__METHODS,R_0088_0015__REQUIREMENTS,Z_000_88_A_IBM_1401_29,R_0088_0010__APPLYING,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)
      & z_000_88_a_ibm_1401_29(Z_000_88_A_IBM_1401_29)
      & z_000_88_a_ibm_1401_9(Z_000_88_A_IBM_1401_9)
      & r_0088_0006__work(R_0088_0006__WORK)
      & has_r_0088_0009__in_clr29(R_0088_0006__WORK,R_0088_0010__APPLYING)
      & r_0088_0010__applying(R_0088_0010__APPLYING)
      & has_arg0(R_0088_0010__APPLYING,Z_000_88_A_IBM_1401_29)
      & has_r_0088_0013__to_clr40(R_0088_0010__APPLYING,R_0088_0015__REQUIREMENTS)
      & r_0088_0015__requirements(R_0088_0015__REQUIREMENTS)
      & has_gen(R_0088_0015__REQUIREMENTS,R_0088_0008__CUSTOMERS)
      & has_arg1(R_0088_0010__APPLYING,R_0088_0011__IBM_R_0088_0012__METHODS)
      & has_r_0088_0007__with_nim23(R_0088_0006__WORK,R_0088_0008__CUSTOMERS)
      & has_arg0(R_0088_0006__WORK,R_0088_0005__INDIVIDUALS)
      & r_0088_0005__individuals(R_0088_0005__INDIVIDUALS)
      & has_attrib3(R_0088_0005__INDIVIDUALS,R_0088_0001__EXPERIENCED)
      & r_0088_0004__trained(R_0088_0004__TRAINED)
      & has_arg0(R_0088_0004__TRAINED,Z_000_88_A_IBM_1401_9)
      & has_arg1(R_0088_0004__TRAINED,R_0088_0005__INDIVIDUALS)
      & has_nim11(R_0088_0004__TRAINED,R_0088_0003__HIGHLY) ) ).

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