Context                Previous, Next                Top


87_a_ibm_1401
Sales and Systems Representatives

n87_a_ibm_1401 n87_a_ibm_1401__1_1_1_1_1 Sales n87_a_ibm_1401__1_1_2_1_1 and n87_a_ibm_1401__1_1_2_2_1_1 Systems n87_a_ibm_1401__1_1_2_2_2_1 Representatives n87_a_ibm_1401__1 NP n87_a_ibm_1401__1_1 NLYR n87_a_ibm_1401__1->n87_a_ibm_1401__1_1 n87_a_ibm_1401__1_1_1 NLYR n87_a_ibm_1401__1_1->n87_a_ibm_1401__1_1_1 n87_a_ibm_1401__1_1_2 CONJP n87_a_ibm_1401__1_1->n87_a_ibm_1401__1_1_2 n87_a_ibm_1401__1_1_1_1 NS n87_a_ibm_1401__1_1_1->n87_a_ibm_1401__1_1_1_1 n87_a_ibm_1401__1_1_1_1->n87_a_ibm_1401__1_1_1_1_1 n87_a_ibm_1401__1_1_2_1 CONJ n87_a_ibm_1401__1_1_2->n87_a_ibm_1401__1_1_2_1 n87_a_ibm_1401__1_1_2_2 NLYR n87_a_ibm_1401__1_1_2->n87_a_ibm_1401__1_1_2_2 n87_a_ibm_1401__1_1_2_1->n87_a_ibm_1401__1_1_2_1_1 n87_a_ibm_1401__1_1_2_2_1 NS n87_a_ibm_1401__1_1_2_2->n87_a_ibm_1401__1_1_2_2_1 n87_a_ibm_1401__1_1_2_2_2 NS n87_a_ibm_1401__1_1_2_2->n87_a_ibm_1401__1_1_2_2_2 n87_a_ibm_1401__1_1_2_2_1->n87_a_ibm_1401__1_1_2_2_1_1 n87_a_ibm_1401__1_1_2_2_2->n87_a_ibm_1401__1_1_2_2_2_1 
( (NP (NLYR (NLYR (NS Sales;{sale}))
            (CONJP (CONJ and;{and})
                   (NLYR (NS Systems;{system})
                         (NS Representatives;{representative})))))
  (ID 87_a_ibm_1401))


%3 z_0087_5006 r_0087_0002__and and z_0087_5006->r_0087_0002__and r_0087_0003__Systems_r_0087_0004__Representatives Systems Representatives r_0087_0002__and->r_0087_0003__Systems_r_0087_0004__Representatives [conj2] r_0087_0001__Sales Sales r_0087_0002__and->r_0087_0001__Sales [conj1] 
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_0087_5006,r_0087_0002__and,z_0087_5002).


%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_0087_5006 z_0087_5006->r_0087_0002__and 
fof(formula,axiom,
    ? [R_0087_0001__SALES,R_0087_0003__SYSTEMS_R_0087_0004__REPRESENTATIVES,R_0087_0002__AND,Z_0087_5006] :
      ( r_0087_0001__Sales(R_0087_0001__SALES)
      & r_0087_0003__Systems_r_0087_0004__Representatives(R_0087_0003__SYSTEMS_R_0087_0004__REPRESENTATIVES)
      & z_0087_5006(Z_0087_5006)
      & has_z_0087_5002(Z_0087_5006,R_0087_0002__AND)
      & r_0087_0002__and(R_0087_0002__AND)
      & has_conj2(R_0087_0002__AND,R_0087_0003__SYSTEMS_R_0087_0004__REPRESENTATIVES)
      & has_conj1(R_0087_0002__AND,R_0087_0001__SALES) ) ).