arc(z_000_41_a_hedgehog_19, r_0041_0001__Rebecca_r_0041_0002__Pow, arg0).
arc(z_000_41_a_hedgehog_19, r_0041_0008__Con, prd).
arc(z_000_41_a_hedgehog_1, r_0041_0001__Rebecca_r_0041_0002__Pow, nim2).
arc(z_000_41_a_hedgehog_9, r_0041_0001__Rebecca_r_0041_0002__Pow, arg0).
arc(z_000_41_a_hedgehog_9, r_0041_0004__Taunton_r_0041_0005__Deane, prd).

fof(formula,axiom,
    ? [Z_41_A_HEDGEHOG_1,Z_41_A_HEDGEHOG_19,R_41_8_CON,Z_41_A_HEDGEHOG_9,R_41_1_REBECCA_POW,R_41_4_TAUNTON_DEANE] :
      ( con(R_41_8_CON)
      & rebecca_Pow(R_41_1_REBECCA_POW)
      & taunton_Deane(R_41_4_TAUNTON_DEANE)
      & z_41_a_hedgehog_1(Z_41_A_HEDGEHOG_1)
      & nim2(Z_41_A_HEDGEHOG_1,R_41_1_REBECCA_POW)
      & z_41_a_hedgehog_19(Z_41_A_HEDGEHOG_19,R_41_1_REBECCA_POW,R_41_8_CON)
      & z_41_a_hedgehog_9(Z_41_A_HEDGEHOG_9,R_41_1_REBECCA_POW,R_41_4_TAUNTON_DEANE) ) ).

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