Context                Previous, Next                Top


17_a_hedgehog
Jim Shannon (Strangford) (DUP)

%3 z_000_17_a_hedgehog_1 r_0017_0001__Jim_r_0017_0002__Shannon Jim Shannon z_000_17_a_hedgehog_1->r_0017_0001__Jim_r_0017_0002__Shannon [nim] z_000_17_a_hedgehog_17 z_000_17_a_hedgehog_17->r_0017_0001__Jim_r_0017_0002__Shannon [arg0] r_0017_0007__DUP DUP z_000_17_a_hedgehog_17->r_0017_0007__DUP [prd] z_000_17_a_hedgehog_9 z_000_17_a_hedgehog_9->r_0017_0001__Jim_r_0017_0002__Shannon [arg0] r_0017_0004__Strangford Strangford z_000_17_a_hedgehog_9->r_0017_0004__Strangford [prd] 
arc(z_000_17_a_hedgehog_1, r_0017_0001__Jim_r_0017_0002__Shannon, nim2).
arc(z_000_17_a_hedgehog_17, r_0017_0001__Jim_r_0017_0002__Shannon, arg0).
arc(z_000_17_a_hedgehog_17, r_0017_0007__DUP, prd).
arc(z_000_17_a_hedgehog_9, r_0017_0001__Jim_r_0017_0002__Shannon, arg0).
arc(z_000_17_a_hedgehog_9, r_0017_0004__Strangford, prd).


%3 z_000_17_a_hedgehog_9 r_0017_0004__Strangford Strangford z_000_17_a_hedgehog_9->r_0017_0004__Strangford [prd] r_0017_0001__Jim_r_0017_0002__Shannon Jim Shannon z_000_17_a_hedgehog_9->r_0017_0001__Jim_r_0017_0002__Shannon [arg0] z_000_17_a_hedgehog_17 z_000_17_a_hedgehog_17->r_0017_0001__Jim_r_0017_0002__Shannon [arg0] r_0017_0007__DUP DUP z_000_17_a_hedgehog_17->r_0017_0007__DUP [prd] z_000_17_a_hedgehog_1 z_000_17_a_hedgehog_1->r_0017_0001__Jim_r_0017_0002__Shannon [nim] 
fof(formula,axiom,
    ? [Z_17_A_HEDGEHOG_1,Z_17_A_HEDGEHOG_17,R_17_7_DUP,Z_17_A_HEDGEHOG_9,R_17_1_JIM_SHANNON,R_17_4_STRANGFORD] :
      ( dUP(R_17_7_DUP)
      & jim_Shannon(R_17_1_JIM_SHANNON)
      & strangford(R_17_4_STRANGFORD)
      & z_17_a_hedgehog_1(Z_17_A_HEDGEHOG_1)
      & nim2(Z_17_A_HEDGEHOG_1,R_17_1_JIM_SHANNON)
      & z_17_a_hedgehog_17(Z_17_A_HEDGEHOG_17,R_17_1_JIM_SHANNON,R_17_7_DUP)
      & z_17_a_hedgehog_9(Z_17_A_HEDGEHOG_9,R_17_1_JIM_SHANNON,R_17_4_STRANGFORD) ) ).


n17_a_hedgehog n17_a_hedgehog__1_1_1_1 Jim n17_a_hedgehog__1_1_2_1 Shannon n17_a_hedgehog__1_1_3_1 -LRB- n17_a_hedgehog__1_1_4_1_1_1 Strangford n17_a_hedgehog__1_1_5_1 -RRB- n17_a_hedgehog__1_1_6_1 -LRB- n17_a_hedgehog__1_1_7_1_1_1 DUP n17_a_hedgehog__1_2_1 -RRB- n17_a_hedgehog__1 FRAG n17_a_hedgehog__1_1 NP n17_a_hedgehog__1->n17_a_hedgehog__1_1 n17_a_hedgehog__1_2 PURB n17_a_hedgehog__1->n17_a_hedgehog__1_2 n17_a_hedgehog__1_1_1 NPR n17_a_hedgehog__1_1->n17_a_hedgehog__1_1_1 n17_a_hedgehog__1_1_2 NPR n17_a_hedgehog__1_1->n17_a_hedgehog__1_1_2 n17_a_hedgehog__1_1_3 PULB n17_a_hedgehog__1_1->n17_a_hedgehog__1_1_3 n17_a_hedgehog__1_1_4 IP-PPL n17_a_hedgehog__1_1->n17_a_hedgehog__1_1_4 n17_a_hedgehog__1_1_5 PURB n17_a_hedgehog__1_1->n17_a_hedgehog__1_1_5 n17_a_hedgehog__1_1_6 PULB n17_a_hedgehog__1_1->n17_a_hedgehog__1_1_6 n17_a_hedgehog__1_1_7 IP-PPL n17_a_hedgehog__1_1->n17_a_hedgehog__1_1_7 n17_a_hedgehog__1_1_1->n17_a_hedgehog__1_1_1_1 n17_a_hedgehog__1_1_2->n17_a_hedgehog__1_1_2_1 n17_a_hedgehog__1_1_3->n17_a_hedgehog__1_1_3_1 n17_a_hedgehog__1_1_4_1 NP-PRD n17_a_hedgehog__1_1_4->n17_a_hedgehog__1_1_4_1 n17_a_hedgehog__1_1_4_1_1 NPR n17_a_hedgehog__1_1_4_1->n17_a_hedgehog__1_1_4_1_1 n17_a_hedgehog__1_1_4_1_1->n17_a_hedgehog__1_1_4_1_1_1 n17_a_hedgehog__1_1_5->n17_a_hedgehog__1_1_5_1 n17_a_hedgehog__1_1_6->n17_a_hedgehog__1_1_6_1 n17_a_hedgehog__1_1_7_1 NP-PRD n17_a_hedgehog__1_1_7->n17_a_hedgehog__1_1_7_1 n17_a_hedgehog__1_1_7_1_1 N n17_a_hedgehog__1_1_7_1->n17_a_hedgehog__1_1_7_1_1 n17_a_hedgehog__1_1_7_1_1->n17_a_hedgehog__1_1_7_1_1_1 n17_a_hedgehog__1_2->n17_a_hedgehog__1_2_1 
( (FRAG (NP (NPR Jim;{Jim})
            (NPR Shannon;{Shannon})
            (PULB -LRB-)
            (IP-PPL (NP-PRD (NPR Strangford;{Strangford})))
            (PURB -RRB-)
            (PULB -LRB-)
            (IP-PPL (NP-PRD (N DUP;{dup}))))
        (PURB -RRB-))
  (ID 17_a_hedgehog;speaker=-))