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_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] 
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_4 Dave n2_a_duplex_6 Lee n2_a_duplex_10 North n2_a_duplex_12 America n2_a_duplex_14 technology n2_a_duplex_16 reporter n2_a_duplex_1 FRAG n2_a_duplex_2 NP n2_a_duplex_1->n2_a_duplex_2 n2_a_duplex_3 NPR n2_a_duplex_2->n2_a_duplex_3 n2_a_duplex_5 NPR n2_a_duplex_2->n2_a_duplex_5 n2_a_duplex_7 IP-PPL n2_a_duplex_2->n2_a_duplex_7 n2_a_duplex_3->n2_a_duplex_4 n2_a_duplex_5->n2_a_duplex_6 n2_a_duplex_8 NP-PRD n2_a_duplex_7->n2_a_duplex_8 n2_a_duplex_9 NPR n2_a_duplex_8->n2_a_duplex_9 n2_a_duplex_11 NPR n2_a_duplex_8->n2_a_duplex_11 n2_a_duplex_13 N n2_a_duplex_8->n2_a_duplex_13 n2_a_duplex_15 N n2_a_duplex_8->n2_a_duplex_15 n2_a_duplex_9->n2_a_duplex_10 n2_a_duplex_11->n2_a_duplex_12 n2_a_duplex_13->n2_a_duplex_14 n2_a_duplex_15->n2_a_duplex_16 
( (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))