( (NP (NPR Rebecca;{Rebecca})
      (NPR Pow;{Pow})
      (PULB -LRB-)
      (PRN (NP (NPR Taunton;{Taunton})
               (NPR Deane;{Deane})))
      (PURB -RRB-)
      (PULB -LRB-)
      (PRN (NP (N Con;{con})))
      (PURB -RRB-))
  (ID 41_a_hedgehog;speaker=-))

arc(z_0041_5003,r_0041_0001__Rebecca_r_0041_0002__Pow,arg0).
arc(z_0041_5003,r_0041_0004__Taunton_r_0041_0005__Deane,prd).
arc(z_0041_5006,r_0041_0001__Rebecca_r_0041_0002__Pow,arg0).
arc(z_0041_5006,r_0041_0008__Con,prd).
arc(z_0041_5008,r_0041_0001__Rebecca_r_0041_0002__Pow,z_0041_5002).

fof(formula,axiom,
    ? [R_0041_0001__REBECCA_R_0041_0002__POW,R_0041_0004__TAUNTON_R_0041_0005__DEANE,Z_0041_5003,R_0041_0008__CON,Z_0041_5006,Z_0041_5008] :
      ( r_0041_0001__Rebecca_r_0041_0002__Pow(R_0041_0001__REBECCA_R_0041_0002__POW)
      & r_0041_0004__Taunton_r_0041_0005__Deane(R_0041_0004__TAUNTON_R_0041_0005__DEANE)
      & r_0041_0008__Con(R_0041_0008__CON)
      & z_0041_5008(Z_0041_5008)
      & has_z_0041_5002(Z_0041_5008,R_0041_0001__REBECCA_R_0041_0002__POW)
      & z_0041_5006(Z_0041_5006)
      & has_prd(Z_0041_5006,R_0041_0008__CON)
      & has_arg0(Z_0041_5006,R_0041_0001__REBECCA_R_0041_0002__POW)
      & z_0041_5003(Z_0041_5003)
      & has_prd(Z_0041_5003,R_0041_0004__TAUNTON_R_0041_0005__DEANE)
      & has_arg0(Z_0041_5003,R_0041_0001__REBECCA_R_0041_0002__POW) ) ).