Context                Previous, Next                Top


2_a_duplex
Dave Lee North America technology reporter

%3 z_000_2_a_duplex_1 r_0002_0001__Dave_r_0002_0002__Lee Dave Lee z_000_2_a_duplex_1->r_0002_0001__Dave_r_0002_0002__Lee [nim] z_000_2_a_duplex_7 z_000_2_a_duplex_7->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_000_2_a_duplex_7->r_0002_0003__North_r_0002_0004__America_r_0002_0005__technology_r_0002_0006__reporter [prd] 
arc(z_000_2_a_duplex_1, r_0002_0001__Dave_r_0002_0002__Lee, nim2).
arc(z_000_2_a_duplex_7, r_0002_0001__Dave_r_0002_0002__Lee, arg0).
arc(z_000_2_a_duplex_7, r_0002_0003__North_r_0002_0004__America_r_0002_0005__technology_r_0002_0006__reporter, prd).


%3 z_000_2_a_duplex_7 r_0002_0003__North_r_0002_0004__America_r_0002_0005__technology_r_0002_0006__reporter North America technology reporter z_000_2_a_duplex_7->r_0002_0003__North_r_0002_0004__America_r_0002_0005__technology_r_0002_0006__reporter [prd] r_0002_0001__Dave_r_0002_0002__Lee Dave Lee z_000_2_a_duplex_7->r_0002_0001__Dave_r_0002_0002__Lee [arg0] z_000_2_a_duplex_1 z_000_2_a_duplex_1->r_0002_0001__Dave_r_0002_0002__Lee [nim] 
fof(formula,axiom,
    ? [Z_2_A_DUPLEX_1,Z_2_A_DUPLEX_7,R_2_1_DAVE_LEE,R_2_3_NORTH_AMERICA_TECHNOLOGY_REPORTER] :
      ( dave_Lee(R_2_1_DAVE_LEE)
      & north_America_technology_reporter(R_2_3_NORTH_AMERICA_TECHNOLOGY_REPORTER)
      & z_2_a_duplex_1(Z_2_A_DUPLEX_1)
      & nim2(Z_2_A_DUPLEX_1,R_2_1_DAVE_LEE)
      & z_2_a_duplex_7(Z_2_A_DUPLEX_7,R_2_1_DAVE_LEE,R_2_3_NORTH_AMERICA_TECHNOLOGY_REPORTER) ) ).


n2_a_duplex n2_a_duplex__1_1_1_1 Dave n2_a_duplex__1_1_2_1 Lee n2_a_duplex__1_1_3_1_1_1 North n2_a_duplex__1_1_3_1_2_1 America n2_a_duplex__1_1_3_1_3_1 technology n2_a_duplex__1_1_3_1_4_1 reporter n2_a_duplex__1 FRAG n2_a_duplex__1_1 NP n2_a_duplex__1->n2_a_duplex__1_1 n2_a_duplex__1_1_1 NPR n2_a_duplex__1_1->n2_a_duplex__1_1_1 n2_a_duplex__1_1_2 NPR n2_a_duplex__1_1->n2_a_duplex__1_1_2 n2_a_duplex__1_1_3 IP-PPL n2_a_duplex__1_1->n2_a_duplex__1_1_3 n2_a_duplex__1_1_1->n2_a_duplex__1_1_1_1 n2_a_duplex__1_1_2->n2_a_duplex__1_1_2_1 n2_a_duplex__1_1_3_1 NP-PRD n2_a_duplex__1_1_3->n2_a_duplex__1_1_3_1 n2_a_duplex__1_1_3_1_1 NPR n2_a_duplex__1_1_3_1->n2_a_duplex__1_1_3_1_1 n2_a_duplex__1_1_3_1_2 NPR n2_a_duplex__1_1_3_1->n2_a_duplex__1_1_3_1_2 n2_a_duplex__1_1_3_1_3 N n2_a_duplex__1_1_3_1->n2_a_duplex__1_1_3_1_3 n2_a_duplex__1_1_3_1_4 N n2_a_duplex__1_1_3_1->n2_a_duplex__1_1_3_1_4 n2_a_duplex__1_1_3_1_1->n2_a_duplex__1_1_3_1_1_1 n2_a_duplex__1_1_3_1_2->n2_a_duplex__1_1_3_1_2_1 n2_a_duplex__1_1_3_1_3->n2_a_duplex__1_1_3_1_3_1 n2_a_duplex__1_1_3_1_4->n2_a_duplex__1_1_3_1_4_1 
( (FRAG (NP;{DAVE} (NPR Dave;{Dave})
                   (NPR Lee;{Lee})
                   (IP-PPL (NP-PRD (NPR North;{North})
                                   (NPR America;{America})
                                   (N technology;{technology})
                                   (N reporter;{reporter})))))
  (ID 2_a_duplex))