Context                Previous, Next                Top


17_a_hedgehog
Jim Shannon (Strangford) (DUP)

n17_a_hedgehog n17_a_hedgehog__1_1_1 Jim n17_a_hedgehog__1_2_1 Shannon n17_a_hedgehog__1_3_1 -LRB- n17_a_hedgehog__1_4_1_1_1 Strangford n17_a_hedgehog__1_5_1 -RRB- n17_a_hedgehog__1_6_1 -LRB- n17_a_hedgehog__1_7_1_1_1 DUP n17_a_hedgehog__1_8_1 -RRB- n17_a_hedgehog__1 NP n17_a_hedgehog__1_1 NPR n17_a_hedgehog__1->n17_a_hedgehog__1_1 n17_a_hedgehog__1_2 NPR n17_a_hedgehog__1->n17_a_hedgehog__1_2 n17_a_hedgehog__1_3 PULB n17_a_hedgehog__1->n17_a_hedgehog__1_3 n17_a_hedgehog__1_4 PRN n17_a_hedgehog__1->n17_a_hedgehog__1_4 n17_a_hedgehog__1_5 PURB n17_a_hedgehog__1->n17_a_hedgehog__1_5 n17_a_hedgehog__1_6 PULB n17_a_hedgehog__1->n17_a_hedgehog__1_6 n17_a_hedgehog__1_7 PRN n17_a_hedgehog__1->n17_a_hedgehog__1_7 n17_a_hedgehog__1_8 PURB n17_a_hedgehog__1->n17_a_hedgehog__1_8 n17_a_hedgehog__1_1->n17_a_hedgehog__1_1_1 n17_a_hedgehog__1_2->n17_a_hedgehog__1_2_1 n17_a_hedgehog__1_3->n17_a_hedgehog__1_3_1 n17_a_hedgehog__1_4_1 NP n17_a_hedgehog__1_4->n17_a_hedgehog__1_4_1 n17_a_hedgehog__1_4_1_1 NPR n17_a_hedgehog__1_4_1->n17_a_hedgehog__1_4_1_1 n17_a_hedgehog__1_4_1_1->n17_a_hedgehog__1_4_1_1_1 n17_a_hedgehog__1_5->n17_a_hedgehog__1_5_1 n17_a_hedgehog__1_6->n17_a_hedgehog__1_6_1 n17_a_hedgehog__1_7_1 NP n17_a_hedgehog__1_7->n17_a_hedgehog__1_7_1 n17_a_hedgehog__1_7_1_1 N n17_a_hedgehog__1_7_1->n17_a_hedgehog__1_7_1_1 n17_a_hedgehog__1_7_1_1->n17_a_hedgehog__1_7_1_1_1 n17_a_hedgehog__1_8->n17_a_hedgehog__1_8_1 
( (NP (NPR Jim;{Jim})
      (NPR Shannon;{Shannon})
      (PULB -LRB-)
      (PRN (NP (NPR Strangford;{Strangford})))
      (PURB -RRB-)
      (PULB -LRB-)
      (PRN (NP (N DUP;{dup})))
      (PURB -RRB-))
  (ID 17_a_hedgehog;speaker=-))


%3 z_0017_5008 r_0017_0001__Jim_r_0017_0002__Shannon Jim Shannon z_0017_5008->r_0017_0001__Jim_r_0017_0002__Shannon z_0017_5006 z_0017_5006->r_0017_0001__Jim_r_0017_0002__Shannon [arg0] r_0017_0007__DUP DUP z_0017_5006->r_0017_0007__DUP [prd] z_0017_5003 z_0017_5003->r_0017_0001__Jim_r_0017_0002__Shannon [arg0] r_0017_0004__Strangford Strangford z_0017_5003->r_0017_0004__Strangford [prd] 
arc(z_0017_5003,r_0017_0001__Jim_r_0017_0002__Shannon,arg0).
arc(z_0017_5003,r_0017_0004__Strangford,prd).
arc(z_0017_5006,r_0017_0001__Jim_r_0017_0002__Shannon,arg0).
arc(z_0017_5006,r_0017_0007__DUP,prd).
arc(z_0017_5008,r_0017_0001__Jim_r_0017_0002__Shannon,z_0017_5002).


%3 z_0017_5003 r_0017_0001__Jim_r_0017_0002__Shannon Jim Shannon z_0017_5003->r_0017_0001__Jim_r_0017_0002__Shannon [arg0] r_0017_0004__Strangford Strangford z_0017_5003->r_0017_0004__Strangford [prd] z_0017_5006 z_0017_5006->r_0017_0001__Jim_r_0017_0002__Shannon [arg0] r_0017_0007__DUP DUP z_0017_5006->r_0017_0007__DUP [prd] z_0017_5008 z_0017_5008->r_0017_0001__Jim_r_0017_0002__Shannon 
fof(formula,axiom,
    ? [R_0017_0001__JIM_R_0017_0002__SHANNON,R_0017_0004__STRANGFORD,Z_0017_5003,R_0017_0007__DUP,Z_0017_5006,Z_0017_5008] :
      ( r_0017_0001__Jim_r_0017_0002__Shannon(R_0017_0001__JIM_R_0017_0002__SHANNON)
      & r_0017_0004__Strangford(R_0017_0004__STRANGFORD)
      & r_0017_0007__DUP(R_0017_0007__DUP)
      & z_0017_5008(Z_0017_5008)
      & has_z_0017_5002(Z_0017_5008,R_0017_0001__JIM_R_0017_0002__SHANNON)
      & z_0017_5006(Z_0017_5006)
      & has_prd(Z_0017_5006,R_0017_0007__DUP)
      & has_arg0(Z_0017_5006,R_0017_0001__JIM_R_0017_0002__SHANNON)
      & z_0017_5003(Z_0017_5003)
      & has_prd(Z_0017_5003,R_0017_0004__STRANGFORD)
      & has_arg0(Z_0017_5003,R_0017_0001__JIM_R_0017_0002__SHANNON) ) ).