Context                Previous, Next                Top


83_a_ibm_1401
Programming schools for methods personnel.

%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_000_83_a_ibm_1401_1 z_000_83_a_ibm_1401_1->r_0083_0001__Programming_r_0083_0002__schools [nim] 
arc(r_0083_0001__Programming_r_0083_0002__schools, r_0083_0004__methods_r_0083_0005__personnel, r_0083_0003__for).
arc(z_000_83_a_ibm_1401_1, r_0083_0001__Programming_r_0083_0002__schools, nim2).


%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_000_83_a_ibm_1401_1 z_000_83_a_ibm_1401_1->r_0083_0001__Programming_r_0083_0002__schools [nim] 
fof(formula,axiom,
    ? [Z_83_A_IBM_1401_1,R_83_1_PROGRAMMING_SCHOOLS,R_83_4_METHODS_PERSONNEL] :
      ( methods_personnel(R_83_4_METHODS_PERSONNEL)
      & z_83_a_ibm_1401_1(Z_83_A_IBM_1401_1)
      & nim2(Z_83_A_IBM_1401_1,R_83_1_PROGRAMMING_SCHOOLS)
      & programming_schools(R_83_1_PROGRAMMING_SCHOOLS)
      & for(R_83_1_PROGRAMMING_SCHOOLS,R_83_4_METHODS_PERSONNEL) ) ).


n83_a_ibm_1401 n83_a_ibm_1401_4 Programming n83_a_ibm_1401_6 schools n83_a_ibm_1401_9 for n83_a_ibm_1401_12 methods n83_a_ibm_1401_14 personnel n83_a_ibm_1401_16 . n83_a_ibm_1401_1 FRAG n83_a_ibm_1401_2 NP n83_a_ibm_1401_1->n83_a_ibm_1401_2 n83_a_ibm_1401_15 PUNC n83_a_ibm_1401_1->n83_a_ibm_1401_15 n83_a_ibm_1401_3 N n83_a_ibm_1401_2->n83_a_ibm_1401_3 n83_a_ibm_1401_5 NS n83_a_ibm_1401_2->n83_a_ibm_1401_5 n83_a_ibm_1401_7 PP n83_a_ibm_1401_2->n83_a_ibm_1401_7 n83_a_ibm_1401_3->n83_a_ibm_1401_4 n83_a_ibm_1401_5->n83_a_ibm_1401_6 n83_a_ibm_1401_8 P-ROLE n83_a_ibm_1401_7->n83_a_ibm_1401_8 n83_a_ibm_1401_10 NP n83_a_ibm_1401_7->n83_a_ibm_1401_10 n83_a_ibm_1401_8->n83_a_ibm_1401_9 n83_a_ibm_1401_11 NS n83_a_ibm_1401_10->n83_a_ibm_1401_11 n83_a_ibm_1401_13 NS n83_a_ibm_1401_10->n83_a_ibm_1401_13 n83_a_ibm_1401_11->n83_a_ibm_1401_12 n83_a_ibm_1401_13->n83_a_ibm_1401_14 n83_a_ibm_1401_15->n83_a_ibm_1401_16 
( (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))