Context                Previous, Next                Top


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

%3 r_0088_0004__trained trained r_0088_0003__highly highly r_0088_0004__trained->r_0088_0003__highly [nim] r_0088_0005__individuals individuals r_0088_0004__trained->r_0088_0005__individuals [arg1] z_000_88_a_ibm_1401_9 r_0088_0004__trained->z_000_88_a_ibm_1401_9 [arg0] r_0088_0001__Experienced Experienced r_0088_0005__individuals->r_0088_0001__Experienced [attrib] r_0088_0006__work work r_0088_0006__work->r_0088_0005__individuals [arg0] r_0088_0008__customers customers r_0088_0006__work->r_0088_0008__customers with [nim] r_0088_0010__applying applying r_0088_0006__work->r_0088_0010__applying in [clr] r_0088_0011__IBM_r_0088_0012__methods IBM methods r_0088_0010__applying->r_0088_0011__IBM_r_0088_0012__methods [arg1] r_0088_0015__requirements requirements r_0088_0010__applying->r_0088_0015__requirements to [clr] z_000_88_a_ibm_1401_29 r_0088_0010__applying->z_000_88_a_ibm_1401_29 [arg0] r_0088_0015__requirements->r_0088_0008__customers [gen] 
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).


%3 r_0088_0015__requirements requirements r_0088_0008__customers customers r_0088_0015__requirements->r_0088_0008__customers [gen] r_0088_0010__applying applying r_0088_0010__applying->r_0088_0015__requirements to [clr] z_000_88_a_ibm_1401_29 r_0088_0010__applying->z_000_88_a_ibm_1401_29 [arg0] r_0088_0011__IBM_r_0088_0012__methods IBM methods r_0088_0010__applying->r_0088_0011__IBM_r_0088_0012__methods [arg1] r_0088_0006__work work r_0088_0006__work->r_0088_0008__customers with [nim] r_0088_0006__work->r_0088_0010__applying in [clr] r_0088_0005__individuals individuals r_0088_0006__work->r_0088_0005__individuals [arg0] r_0088_0001__Experienced Experienced r_0088_0005__individuals->r_0088_0001__Experienced [attrib] r_0088_0004__trained trained r_0088_0004__trained->r_0088_0005__individuals [arg1] z_000_88_a_ibm_1401_9 r_0088_0004__trained->z_000_88_a_ibm_1401_9 [arg0] r_0088_0003__highly highly r_0088_0004__trained->r_0088_0003__highly [nim] 
fof(formula,axiom,
    ? [R_88_4_TRAINED,Z_88_A_IBM_1401_9,R_88_3_HIGHLY,R_88_6_WORK,R_88_5_INDIVIDUALS,R_88_1_EXPERIENCED,R_88_10_APPLYING,Z_88_A_IBM_1401_29,R_88_11_IBM_METHODS,R_88_15_REQUIREMENTS,R_88_8_CUSTOMERS] :
      ( highly(R_88_3_HIGHLY)
      & experienced(R_88_1_EXPERIENCED)
      & iBM_methods(R_88_11_IBM_METHODS)
      & customers(R_88_8_CUSTOMERS)
      & trained(R_88_4_TRAINED,Z_88_A_IBM_1401_9,R_88_5_INDIVIDUALS)
      & individuals(R_88_5_INDIVIDUALS)
      & attrib3(R_88_5_INDIVIDUALS,R_88_1_EXPERIENCED)
      & nim11(R_88_4_TRAINED,R_88_3_HIGHLY)
      & work(R_88_6_WORK,R_88_5_INDIVIDUALS)
      & with_nim23(R_88_6_WORK,R_88_8_CUSTOMERS)
      & in_clr29(R_88_6_WORK,R_88_10_APPLYING)
      & applying(R_88_10_APPLYING,Z_88_A_IBM_1401_29,R_88_11_IBM_METHODS)
      & to_clr40(R_88_10_APPLYING,R_88_15_REQUIREMENTS)
      & requirements(R_88_15_REQUIREMENTS)
      & gen(R_88_15_REQUIREMENTS,R_88_8_CUSTOMERS) ) ).


n88_a_ibm_1401 n88_a_ibm_1401__1_1_1_1_1 Experienced n88_a_ibm_1401__1_1_2_1 , n88_a_ibm_1401__1_1_3_1_1 * n88_a_ibm_1401__1_1_3_2_1_1 highly n88_a_ibm_1401__1_1_3_3_1 trained n88_a_ibm_1401__1_1_4_1 individuals n88_a_ibm_1401__1_2_1 work n88_a_ibm_1401__1_3_1_1 with n88_a_ibm_1401__1_3_2_1_1 customers n88_a_ibm_1401__1_4_1_1 in n88_a_ibm_1401__1_4_2_1_1 applying n88_a_ibm_1401__1_4_2_2_1_1 IBM n88_a_ibm_1401__1_4_2_2_2_1 methods n88_a_ibm_1401__1_4_2_3_1_1 to n88_a_ibm_1401__1_4_2_3_2_1_1_1 their n88_a_ibm_1401__1_4_2_3_2_2_1 requirements n88_a_ibm_1401__1_5_1 . n88_a_ibm_1401__1 IP-MAT n88_a_ibm_1401__1_1 NP-SBJ n88_a_ibm_1401__1->n88_a_ibm_1401__1_1 n88_a_ibm_1401__1_2 VBP;_Ipr_ n88_a_ibm_1401__1->n88_a_ibm_1401__1_2 n88_a_ibm_1401__1_3 PP-NIM n88_a_ibm_1401__1->n88_a_ibm_1401__1_3 n88_a_ibm_1401__1_4 PP-CLR n88_a_ibm_1401__1->n88_a_ibm_1401__1_4 n88_a_ibm_1401__1_5 PUNC n88_a_ibm_1401__1->n88_a_ibm_1401__1_5 n88_a_ibm_1401__1_1_1 ADJP n88_a_ibm_1401__1_1->n88_a_ibm_1401__1_1_1 n88_a_ibm_1401__1_1_2 PUNC n88_a_ibm_1401__1_1->n88_a_ibm_1401__1_1_2 n88_a_ibm_1401__1_1_3 IP-PPL n88_a_ibm_1401__1_1->n88_a_ibm_1401__1_1_3 n88_a_ibm_1401__1_1_4 NS n88_a_ibm_1401__1_1->n88_a_ibm_1401__1_1_4 n88_a_ibm_1401__1_1_1_1 ADJ n88_a_ibm_1401__1_1_1->n88_a_ibm_1401__1_1_1_1 n88_a_ibm_1401__1_1_1_1->n88_a_ibm_1401__1_1_1_1_1 n88_a_ibm_1401__1_1_2->n88_a_ibm_1401__1_1_2_1 n88_a_ibm_1401__1_1_3_1 NP-LGS n88_a_ibm_1401__1_1_3->n88_a_ibm_1401__1_1_3_1 n88_a_ibm_1401__1_1_3_2 ADVP-NIM n88_a_ibm_1401__1_1_3->n88_a_ibm_1401__1_1_3_2 n88_a_ibm_1401__1_1_3_3 VVN;_Tn_ n88_a_ibm_1401__1_1_3->n88_a_ibm_1401__1_1_3_3 n88_a_ibm_1401__1_1_3_1->n88_a_ibm_1401__1_1_3_1_1 n88_a_ibm_1401__1_1_3_2_1 ADV n88_a_ibm_1401__1_1_3_2->n88_a_ibm_1401__1_1_3_2_1 n88_a_ibm_1401__1_1_3_2_1->n88_a_ibm_1401__1_1_3_2_1_1 n88_a_ibm_1401__1_1_3_3->n88_a_ibm_1401__1_1_3_3_1 n88_a_ibm_1401__1_1_4->n88_a_ibm_1401__1_1_4_1 n88_a_ibm_1401__1_2->n88_a_ibm_1401__1_2_1 n88_a_ibm_1401__1_3_1 P-ROLE n88_a_ibm_1401__1_3->n88_a_ibm_1401__1_3_1 n88_a_ibm_1401__1_3_2 NP n88_a_ibm_1401__1_3->n88_a_ibm_1401__1_3_2 n88_a_ibm_1401__1_3_1->n88_a_ibm_1401__1_3_1_1 n88_a_ibm_1401__1_3_2_1 NS n88_a_ibm_1401__1_3_2->n88_a_ibm_1401__1_3_2_1 n88_a_ibm_1401__1_3_2_1->n88_a_ibm_1401__1_3_2_1_1 n88_a_ibm_1401__1_4_1 P-ROLE n88_a_ibm_1401__1_4->n88_a_ibm_1401__1_4_1 n88_a_ibm_1401__1_4_2 IP-PPL n88_a_ibm_1401__1_4->n88_a_ibm_1401__1_4_2 n88_a_ibm_1401__1_4_1->n88_a_ibm_1401__1_4_1_1 n88_a_ibm_1401__1_4_2_1 VAG;_Tn.pr_ n88_a_ibm_1401__1_4_2->n88_a_ibm_1401__1_4_2_1 n88_a_ibm_1401__1_4_2_2 NP-OB1 n88_a_ibm_1401__1_4_2->n88_a_ibm_1401__1_4_2_2 n88_a_ibm_1401__1_4_2_3 PP-CLR n88_a_ibm_1401__1_4_2->n88_a_ibm_1401__1_4_2_3 n88_a_ibm_1401__1_4_2_1->n88_a_ibm_1401__1_4_2_1_1 n88_a_ibm_1401__1_4_2_2_1 NPR n88_a_ibm_1401__1_4_2_2->n88_a_ibm_1401__1_4_2_2_1 n88_a_ibm_1401__1_4_2_2_2 NS n88_a_ibm_1401__1_4_2_2->n88_a_ibm_1401__1_4_2_2_2 n88_a_ibm_1401__1_4_2_2_1->n88_a_ibm_1401__1_4_2_2_1_1 n88_a_ibm_1401__1_4_2_2_2->n88_a_ibm_1401__1_4_2_2_2_1 n88_a_ibm_1401__1_4_2_3_1 P-ROLE n88_a_ibm_1401__1_4_2_3->n88_a_ibm_1401__1_4_2_3_1 n88_a_ibm_1401__1_4_2_3_2 NP n88_a_ibm_1401__1_4_2_3->n88_a_ibm_1401__1_4_2_3_2 n88_a_ibm_1401__1_4_2_3_1->n88_a_ibm_1401__1_4_2_3_1_1 n88_a_ibm_1401__1_4_2_3_2_1 NP-GEN n88_a_ibm_1401__1_4_2_3_2->n88_a_ibm_1401__1_4_2_3_2_1 n88_a_ibm_1401__1_4_2_3_2_2 NS n88_a_ibm_1401__1_4_2_3_2->n88_a_ibm_1401__1_4_2_3_2_2 n88_a_ibm_1401__1_4_2_3_2_1_1 PRO;_genm_ n88_a_ibm_1401__1_4_2_3_2_1->n88_a_ibm_1401__1_4_2_3_2_1_1 n88_a_ibm_1401__1_4_2_3_2_1_1->n88_a_ibm_1401__1_4_2_3_2_1_1_1 n88_a_ibm_1401__1_4_2_3_2_2->n88_a_ibm_1401__1_4_2_3_2_2_1 n88_a_ibm_1401__1_5->n88_a_ibm_1401__1_5_1 
( (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))