Context                Previous, Next                Top


82_a_ibm_1401
Executive schools for management personnel.

%3 r_0082_0002__schools schools r_0082_0001__Executive Executive r_0082_0002__schools->r_0082_0001__Executive [attrib] r_0082_0004__management_r_0082_0005__personnel management personnel r_0082_0002__schools->r_0082_0004__management_r_0082_0005__personnel for z_000_82_a_ibm_1401_1 z_000_82_a_ibm_1401_1->r_0082_0002__schools [nim] 
arc(r_0082_0002__schools, r_0082_0001__Executive, attrib3).
arc(r_0082_0002__schools, r_0082_0004__management_r_0082_0005__personnel, r_0082_0003__for).
arc(z_000_82_a_ibm_1401_1, r_0082_0002__schools, nim2).


%3 z_000_82_a_ibm_1401_1 r_0082_0002__schools schools z_000_82_a_ibm_1401_1->r_0082_0002__schools [nim] r_0082_0004__management_r_0082_0005__personnel management personnel r_0082_0002__schools->r_0082_0004__management_r_0082_0005__personnel for r_0082_0001__Executive Executive r_0082_0002__schools->r_0082_0001__Executive [attrib] 
fof(formula,axiom,
    ? [R_0082_0001__EXECUTIVE,R_0082_0004__MANAGEMENT_R_0082_0005__PERSONNEL,R_0082_0002__SCHOOLS,Z_000_82_A_IBM_1401_1] :
      ( r_0082_0001__Executive(R_0082_0001__EXECUTIVE)
      & r_0082_0004__management_r_0082_0005__personnel(R_0082_0004__MANAGEMENT_R_0082_0005__PERSONNEL)
      & z_000_82_a_ibm_1401_1(Z_000_82_A_IBM_1401_1)
      & has_nim2(Z_000_82_A_IBM_1401_1,R_0082_0002__SCHOOLS)
      & r_0082_0002__schools(R_0082_0002__SCHOOLS)
      & has_r_0082_0003__for(R_0082_0002__SCHOOLS,R_0082_0004__MANAGEMENT_R_0082_0005__PERSONNEL)
      & has_attrib3(R_0082_0002__SCHOOLS,R_0082_0001__EXECUTIVE) ) ).


n82_a_ibm_1401 n82_a_ibm_1401__1_1_1_1_1 Executive n82_a_ibm_1401__1_1_2_1 schools n82_a_ibm_1401__1_1_3_1_1 for n82_a_ibm_1401__1_1_3_2_1_1 management n82_a_ibm_1401__1_1_3_2_2_1 personnel n82_a_ibm_1401__1_2_1 . n82_a_ibm_1401__1 FRAG n82_a_ibm_1401__1_1 NP n82_a_ibm_1401__1->n82_a_ibm_1401__1_1 n82_a_ibm_1401__1_2 PUNC n82_a_ibm_1401__1->n82_a_ibm_1401__1_2 n82_a_ibm_1401__1_1_1 ADJP n82_a_ibm_1401__1_1->n82_a_ibm_1401__1_1_1 n82_a_ibm_1401__1_1_2 NS n82_a_ibm_1401__1_1->n82_a_ibm_1401__1_1_2 n82_a_ibm_1401__1_1_3 PP n82_a_ibm_1401__1_1->n82_a_ibm_1401__1_1_3 n82_a_ibm_1401__1_1_1_1 ADJ n82_a_ibm_1401__1_1_1->n82_a_ibm_1401__1_1_1_1 n82_a_ibm_1401__1_1_1_1->n82_a_ibm_1401__1_1_1_1_1 n82_a_ibm_1401__1_1_2->n82_a_ibm_1401__1_1_2_1 n82_a_ibm_1401__1_1_3_1 P-ROLE n82_a_ibm_1401__1_1_3->n82_a_ibm_1401__1_1_3_1 n82_a_ibm_1401__1_1_3_2 NP n82_a_ibm_1401__1_1_3->n82_a_ibm_1401__1_1_3_2 n82_a_ibm_1401__1_1_3_1->n82_a_ibm_1401__1_1_3_1_1 n82_a_ibm_1401__1_1_3_2_1 N n82_a_ibm_1401__1_1_3_2->n82_a_ibm_1401__1_1_3_2_1 n82_a_ibm_1401__1_1_3_2_2 NS n82_a_ibm_1401__1_1_3_2->n82_a_ibm_1401__1_1_3_2_2 n82_a_ibm_1401__1_1_3_2_1->n82_a_ibm_1401__1_1_3_2_1_1 n82_a_ibm_1401__1_1_3_2_2->n82_a_ibm_1401__1_1_3_2_2_1 n82_a_ibm_1401__1_2->n82_a_ibm_1401__1_2_1 
( (FRAG (NP (ADJP (ADJ Executive;{executive}))
            (NS schools;{school})
            (PP (P-ROLE for;{for})
                (NP (N management;{management})
                    (NS personnel;{personnel}))))
        (PUNC .))
  (ID 82_a_ibm_1401))