Context                Previous, Next                Top


83_a_ibm_1401
Programming schools for methods personnel.

n83_a_ibm_1401 n83_a_ibm_1401__1_1_1_1 Programming n83_a_ibm_1401__1_1_2_1 schools n83_a_ibm_1401__1_1_3_1_1 for n83_a_ibm_1401__1_1_3_2_1_1 methods n83_a_ibm_1401__1_1_3_2_2_1 personnel n83_a_ibm_1401__1_2_1 . n83_a_ibm_1401__1 FRAG n83_a_ibm_1401__1_1 NP n83_a_ibm_1401__1->n83_a_ibm_1401__1_1 n83_a_ibm_1401__1_2 PUNC n83_a_ibm_1401__1->n83_a_ibm_1401__1_2 n83_a_ibm_1401__1_1_1 N n83_a_ibm_1401__1_1->n83_a_ibm_1401__1_1_1 n83_a_ibm_1401__1_1_2 NS n83_a_ibm_1401__1_1->n83_a_ibm_1401__1_1_2 n83_a_ibm_1401__1_1_3 PP n83_a_ibm_1401__1_1->n83_a_ibm_1401__1_1_3 n83_a_ibm_1401__1_1_1->n83_a_ibm_1401__1_1_1_1 n83_a_ibm_1401__1_1_2->n83_a_ibm_1401__1_1_2_1 n83_a_ibm_1401__1_1_3_1 P-ROLE n83_a_ibm_1401__1_1_3->n83_a_ibm_1401__1_1_3_1 n83_a_ibm_1401__1_1_3_2 NP n83_a_ibm_1401__1_1_3->n83_a_ibm_1401__1_1_3_2 n83_a_ibm_1401__1_1_3_1->n83_a_ibm_1401__1_1_3_1_1 n83_a_ibm_1401__1_1_3_2_1 NS n83_a_ibm_1401__1_1_3_2->n83_a_ibm_1401__1_1_3_2_1 n83_a_ibm_1401__1_1_3_2_2 NS n83_a_ibm_1401__1_1_3_2->n83_a_ibm_1401__1_1_3_2_2 n83_a_ibm_1401__1_1_3_2_1->n83_a_ibm_1401__1_1_3_2_1_1 n83_a_ibm_1401__1_1_3_2_2->n83_a_ibm_1401__1_1_3_2_2_1 n83_a_ibm_1401__1_2->n83_a_ibm_1401__1_2_1 
( (FRAG (NP (N Programming;{programming})
            (NS schools;{school})
            (PP (P-ROLE for;{for})
                (NP (NS methods;{method})
                    (NS personnel;{personnel}))))
        (PUNC .))
  (ID 83_a_ibm_1401))


%3 z_0083_5005 r_0083_0001__Programming_r_0083_0002__schools Programming schools z_0083_5005->r_0083_0001__Programming_r_0083_0002__schools r_0083_0004__methods_r_0083_0005__personnel methods personnel r_0083_0001__Programming_r_0083_0002__schools->r_0083_0004__methods_r_0083_0005__personnel for 
arc(r_0083_0001__Programming_r_0083_0002__schools,r_0083_0004__methods_r_0083_0005__personnel,r_0083_0003__for).
arc(z_0083_5005,r_0083_0001__Programming_r_0083_0002__schools,z_0083_5002).


%3 r_0083_0001__Programming_r_0083_0002__schools Programming schools r_0083_0004__methods_r_0083_0005__personnel methods personnel r_0083_0001__Programming_r_0083_0002__schools->r_0083_0004__methods_r_0083_0005__personnel for z_0083_5005 z_0083_5005->r_0083_0001__Programming_r_0083_0002__schools 
fof(formula,axiom,
    ? [R_0083_0004__METHODS_R_0083_0005__PERSONNEL,R_0083_0001__PROGRAMMING_R_0083_0002__SCHOOLS,Z_0083_5005] :
      ( r_0083_0004__methods_r_0083_0005__personnel(R_0083_0004__METHODS_R_0083_0005__PERSONNEL)
      & z_0083_5005(Z_0083_5005)
      & has_z_0083_5002(Z_0083_5005,R_0083_0001__PROGRAMMING_R_0083_0002__SCHOOLS)
      & r_0083_0001__Programming_r_0083_0002__schools(R_0083_0001__PROGRAMMING_R_0083_0002__SCHOOLS)
      & has_r_0083_0003__for(R_0083_0001__PROGRAMMING_R_0083_0002__SCHOOLS,R_0083_0004__METHODS_R_0083_0005__PERSONNEL) ) ).