Context                Previous, Next                Top


2_a_duplex
Dave Lee North America technology reporter

n2_a_duplex n2_a_duplex__1_1_1 Dave n2_a_duplex__1_2_1 Lee n2_a_duplex__1_3_1_1_1 North n2_a_duplex__1_3_1_2_1 America n2_a_duplex__1_3_1_3_1 technology n2_a_duplex__1_3_1_4_1 reporter n2_a_duplex__1 NP n2_a_duplex__1_1 NPR n2_a_duplex__1->n2_a_duplex__1_1 n2_a_duplex__1_2 NPR n2_a_duplex__1->n2_a_duplex__1_2 n2_a_duplex__1_3 PRN n2_a_duplex__1->n2_a_duplex__1_3 n2_a_duplex__1_1->n2_a_duplex__1_1_1 n2_a_duplex__1_2->n2_a_duplex__1_2_1 n2_a_duplex__1_3_1 NP n2_a_duplex__1_3->n2_a_duplex__1_3_1 n2_a_duplex__1_3_1_1 NPR n2_a_duplex__1_3_1->n2_a_duplex__1_3_1_1 n2_a_duplex__1_3_1_2 NPR n2_a_duplex__1_3_1->n2_a_duplex__1_3_1_2 n2_a_duplex__1_3_1_3 N n2_a_duplex__1_3_1->n2_a_duplex__1_3_1_3 n2_a_duplex__1_3_1_4 N n2_a_duplex__1_3_1->n2_a_duplex__1_3_1_4 n2_a_duplex__1_3_1_1->n2_a_duplex__1_3_1_1_1 n2_a_duplex__1_3_1_2->n2_a_duplex__1_3_1_2_1 n2_a_duplex__1_3_1_3->n2_a_duplex__1_3_1_3_1 n2_a_duplex__1_3_1_4->n2_a_duplex__1_3_1_4_1 
( (NP;{DAVE} (NPR Dave;{Dave})
             (NPR Lee;{Lee})
             (PRN (NP (NPR North;{North})
                      (NPR America;{America})
                      (N technology;{technology})
                      (N reporter;{reporter}))))
  (ID 2_a_duplex))


%3 z_0002_5006 r_0002_0001__Dave_r_0002_0002__Lee Dave Lee z_0002_5006->r_0002_0001__Dave_r_0002_0002__Lee z_0002_5004 z_0002_5004->r_0002_0001__Dave_r_0002_0002__Lee [arg0] r_0002_0003__North_r_0002_0004__America_r_0002_0005__technology_r_0002_0006__reporter North America technology reporter z_0002_5004->r_0002_0003__North_r_0002_0004__America_r_0002_0005__technology_r_0002_0006__reporter [prd] 
arc(z_0002_5004,r_0002_0001__Dave_r_0002_0002__Lee,arg0).
arc(z_0002_5004,r_0002_0003__North_r_0002_0004__America_r_0002_0005__technology_r_0002_0006__reporter,prd).
arc(z_0002_5006,r_0002_0001__Dave_r_0002_0002__Lee,z_0002_5002).


%3 z_0002_5004 r_0002_0001__Dave_r_0002_0002__Lee Dave Lee z_0002_5004->r_0002_0001__Dave_r_0002_0002__Lee [arg0] r_0002_0003__North_r_0002_0004__America_r_0002_0005__technology_r_0002_0006__reporter North America technology reporter z_0002_5004->r_0002_0003__North_r_0002_0004__America_r_0002_0005__technology_r_0002_0006__reporter [prd] z_0002_5006 z_0002_5006->r_0002_0001__Dave_r_0002_0002__Lee 
fof(formula,axiom,
    ? [R_0002_0001__DAVE_R_0002_0002__LEE,R_0002_0003__NORTH_R_0002_0004__AMERICA_R_0002_0005__TECHNOLOGY_R_0002_0006__REPORTER,Z_0002_5004,Z_0002_5006] :
      ( r_0002_0001__Dave_r_0002_0002__Lee(R_0002_0001__DAVE_R_0002_0002__LEE)
      & r_0002_0003__North_r_0002_0004__America_r_0002_0005__technology_r_0002_0006__reporter(R_0002_0003__NORTH_R_0002_0004__AMERICA_R_0002_0005__TECHNOLOGY_R_0002_0006__REPORTER)
      & z_0002_5006(Z_0002_5006)
      & has_z_0002_5002(Z_0002_5006,R_0002_0001__DAVE_R_0002_0002__LEE)
      & z_0002_5004(Z_0002_5004)
      & has_prd(Z_0002_5004,R_0002_0003__NORTH_R_0002_0004__AMERICA_R_0002_0005__TECHNOLOGY_R_0002_0006__REPORTER)
      & has_arg0(Z_0002_5004,R_0002_0001__DAVE_R_0002_0002__LEE) ) ).