( (NP (NPR Gavin;{Gavin})
      (NPR Williamson;{Williamson})
      (PULB -LRB-)
      (PRN (NP (NPR South;{South})
               (NPR Staffordshire;{Staffordshire})))
      (PURB -RRB-)
      (PULB -LRB-)
      (PRN (NP (N Con;{con})))
      (PURB -RRB-))
  (ID 33_a_hedgehog;speaker=-))

arc(z_0033_5003,r_0033_0001__Gavin_r_0033_0002__Williamson,arg0).
arc(z_0033_5003,r_0033_0004__South_r_0033_0005__Staffordshire,prd).
arc(z_0033_5006,r_0033_0001__Gavin_r_0033_0002__Williamson,arg0).
arc(z_0033_5006,r_0033_0008__Con,prd).
arc(z_0033_5008,r_0033_0001__Gavin_r_0033_0002__Williamson,z_0033_5002).

fof(formula,axiom,
    ? [R_0033_0001__GAVIN_R_0033_0002__WILLIAMSON,R_0033_0004__SOUTH_R_0033_0005__STAFFORDSHIRE,Z_0033_5003,R_0033_0008__CON,Z_0033_5006,Z_0033_5008] :
      ( r_0033_0001__Gavin_r_0033_0002__Williamson(R_0033_0001__GAVIN_R_0033_0002__WILLIAMSON)
      & r_0033_0004__South_r_0033_0005__Staffordshire(R_0033_0004__SOUTH_R_0033_0005__STAFFORDSHIRE)
      & r_0033_0008__Con(R_0033_0008__CON)
      & z_0033_5008(Z_0033_5008)
      & has_z_0033_5002(Z_0033_5008,R_0033_0001__GAVIN_R_0033_0002__WILLIAMSON)
      & z_0033_5006(Z_0033_5006)
      & has_prd(Z_0033_5006,R_0033_0008__CON)
      & has_arg0(Z_0033_5006,R_0033_0001__GAVIN_R_0033_0002__WILLIAMSON)
      & z_0033_5003(Z_0033_5003)
      & has_prd(Z_0033_5003,R_0033_0004__SOUTH_R_0033_0005__STAFFORDSHIRE)
      & has_arg0(Z_0033_5003,R_0033_0001__GAVIN_R_0033_0002__WILLIAMSON) ) ).