83_a_ibm_1401
Programming schools for methods personnel.
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).
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) ) ).
( (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))