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 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] 
fof(formula,axiom,
    ? [Z_82_A_IBM_1401_1,R_82_2_SCHOOLS,R_82_1_EXECUTIVE,R_82_4_MANAGEMENT_PERSONNEL] :
      ( executive(R_82_1_EXECUTIVE)
      & management_personnel(R_82_4_MANAGEMENT_PERSONNEL)
      & z_82_a_ibm_1401_1(Z_82_A_IBM_1401_1)
      & nim2(Z_82_A_IBM_1401_1,R_82_2_SCHOOLS)
      & schools(R_82_2_SCHOOLS)
      & attrib3(R_82_2_SCHOOLS,R_82_1_EXECUTIVE)
      & for(R_82_2_SCHOOLS,R_82_4_MANAGEMENT_PERSONNEL) ) ).


n82_a_ibm_1401 n82_a_ibm_1401_5 Executive n82_a_ibm_1401_7 schools n82_a_ibm_1401_10 for n82_a_ibm_1401_13 management n82_a_ibm_1401_15 personnel n82_a_ibm_1401_17 . n82_a_ibm_1401_1 FRAG n82_a_ibm_1401_2 NP n82_a_ibm_1401_1->n82_a_ibm_1401_2 n82_a_ibm_1401_16 PUNC n82_a_ibm_1401_1->n82_a_ibm_1401_16 n82_a_ibm_1401_3 ADJP n82_a_ibm_1401_2->n82_a_ibm_1401_3 n82_a_ibm_1401_6 NS n82_a_ibm_1401_2->n82_a_ibm_1401_6 n82_a_ibm_1401_8 PP n82_a_ibm_1401_2->n82_a_ibm_1401_8 n82_a_ibm_1401_4 ADJ n82_a_ibm_1401_3->n82_a_ibm_1401_4 n82_a_ibm_1401_4->n82_a_ibm_1401_5 n82_a_ibm_1401_6->n82_a_ibm_1401_7 n82_a_ibm_1401_9 P-ROLE n82_a_ibm_1401_8->n82_a_ibm_1401_9 n82_a_ibm_1401_11 NP n82_a_ibm_1401_8->n82_a_ibm_1401_11 n82_a_ibm_1401_9->n82_a_ibm_1401_10 n82_a_ibm_1401_12 N n82_a_ibm_1401_11->n82_a_ibm_1401_12 n82_a_ibm_1401_14 NS n82_a_ibm_1401_11->n82_a_ibm_1401_14 n82_a_ibm_1401_12->n82_a_ibm_1401_13 n82_a_ibm_1401_14->n82_a_ibm_1401_15 n82_a_ibm_1401_16->n82_a_ibm_1401_17 
( (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))