Context                Previous, Next                Top


87_a_ibm_1401
Sales and Systems Representatives

%3 r_0087_0002__and and r_0087_0001__Sales Sales r_0087_0002__and->r_0087_0001__Sales [conj1] r_0087_0003__Systems_r_0087_0004__Representatives Systems Representatives r_0087_0002__and->r_0087_0003__Systems_r_0087_0004__Representatives [conj2] z_000_87_a_ibm_1401_1 z_000_87_a_ibm_1401_1->r_0087_0002__and [nim] 
arc(r_0087_0002__and, r_0087_0001__Sales, conj1).
arc(r_0087_0002__and, r_0087_0003__Systems_r_0087_0004__Representatives, conj2).
arc(z_000_87_a_ibm_1401_1, r_0087_0002__and, nim2).


%3 r_0087_0002__and and r_0087_0001__Sales Sales r_0087_0002__and->r_0087_0001__Sales [conj1] r_0087_0003__Systems_r_0087_0004__Representatives Systems Representatives r_0087_0002__and->r_0087_0003__Systems_r_0087_0004__Representatives [conj2] z_000_87_a_ibm_1401_1 z_000_87_a_ibm_1401_1->r_0087_0002__and [nim] 
fof(formula,axiom,
    ? [Z_87_A_IBM_1401_1,R_87_2_AND,R_87_1_SALES,R_87_3_SYSTEMS_REPRESENTATIVES] :
      ( sales(R_87_1_SALES)
      & systems_Representatives(R_87_3_SYSTEMS_REPRESENTATIVES)
      & z_87_a_ibm_1401_1(Z_87_A_IBM_1401_1)
      & nim2(Z_87_A_IBM_1401_1,R_87_2_AND)
      & and(R_87_2_AND)
      & conj1(R_87_2_AND,R_87_1_SALES)
      & conj2(R_87_2_AND,R_87_3_SYSTEMS_REPRESENTATIVES) ) ).


n87_a_ibm_1401 n87_a_ibm_1401_6 Sales n87_a_ibm_1401_9 and n87_a_ibm_1401_12 Systems n87_a_ibm_1401_14 Representatives n87_a_ibm_1401_1 FRAG n87_a_ibm_1401_2 NP n87_a_ibm_1401_1->n87_a_ibm_1401_2 n87_a_ibm_1401_3 NLYR n87_a_ibm_1401_2->n87_a_ibm_1401_3 n87_a_ibm_1401_4 NLYR n87_a_ibm_1401_3->n87_a_ibm_1401_4 n87_a_ibm_1401_7 CONJP n87_a_ibm_1401_3->n87_a_ibm_1401_7 n87_a_ibm_1401_5 NS n87_a_ibm_1401_4->n87_a_ibm_1401_5 n87_a_ibm_1401_5->n87_a_ibm_1401_6 n87_a_ibm_1401_8 CONJ n87_a_ibm_1401_7->n87_a_ibm_1401_8 n87_a_ibm_1401_10 NLYR n87_a_ibm_1401_7->n87_a_ibm_1401_10 n87_a_ibm_1401_8->n87_a_ibm_1401_9 n87_a_ibm_1401_11 NS n87_a_ibm_1401_10->n87_a_ibm_1401_11 n87_a_ibm_1401_13 NS n87_a_ibm_1401_10->n87_a_ibm_1401_13 n87_a_ibm_1401_11->n87_a_ibm_1401_12 n87_a_ibm_1401_13->n87_a_ibm_1401_14 
( (FRAG (NP (NLYR (NLYR (NS Sales;{sale}))
                  (CONJP (CONJ and;{and})
                         (NLYR (NS Systems;{system})
                               (NS Representatives;{representative}))))))
  (ID 87_a_ibm_1401))