Context                Previous, Next                Top


17_a_hedgehog
Jim Shannon (Strangford) (DUP)

%3 z_000_17_a_hedgehog_17 r_0017_0001__Jim_r_0017_0002__Shannon Jim Shannon 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] 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_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_1, r_0017_0001__Jim_r_0017_0002__Shannon, nim2).
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_17 r_0017_0001__Jim_r_0017_0002__Shannon Jim Shannon 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] 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] 
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_4 Jim n17_a_hedgehog_6 Shannon n17_a_hedgehog_8 -LRB- n17_a_hedgehog_12 Strangford n17_a_hedgehog_14 -RRB- n17_a_hedgehog_16 -LRB- n17_a_hedgehog_20 DUP n17_a_hedgehog_22 -RRB- n17_a_hedgehog_1 FRAG n17_a_hedgehog_2 NP n17_a_hedgehog_1->n17_a_hedgehog_2 n17_a_hedgehog_21 PURB n17_a_hedgehog_1->n17_a_hedgehog_21 n17_a_hedgehog_3 NPR n17_a_hedgehog_2->n17_a_hedgehog_3 n17_a_hedgehog_5 NPR n17_a_hedgehog_2->n17_a_hedgehog_5 n17_a_hedgehog_7 PULB n17_a_hedgehog_2->n17_a_hedgehog_7 n17_a_hedgehog_9 IP-PPL n17_a_hedgehog_2->n17_a_hedgehog_9 n17_a_hedgehog_13 PURB n17_a_hedgehog_2->n17_a_hedgehog_13 n17_a_hedgehog_15 PULB n17_a_hedgehog_2->n17_a_hedgehog_15 n17_a_hedgehog_17 IP-PPL n17_a_hedgehog_2->n17_a_hedgehog_17 n17_a_hedgehog_3->n17_a_hedgehog_4 n17_a_hedgehog_5->n17_a_hedgehog_6 n17_a_hedgehog_7->n17_a_hedgehog_8 n17_a_hedgehog_10 NP-PRD n17_a_hedgehog_9->n17_a_hedgehog_10 n17_a_hedgehog_11 NPR n17_a_hedgehog_10->n17_a_hedgehog_11 n17_a_hedgehog_11->n17_a_hedgehog_12 n17_a_hedgehog_13->n17_a_hedgehog_14 n17_a_hedgehog_15->n17_a_hedgehog_16 n17_a_hedgehog_18 NP-PRD n17_a_hedgehog_17->n17_a_hedgehog_18 n17_a_hedgehog_19 N n17_a_hedgehog_18->n17_a_hedgehog_19 n17_a_hedgehog_19->n17_a_hedgehog_20 n17_a_hedgehog_21->n17_a_hedgehog_22 
( (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=-))