( (NP (NPR Oliver;{Oliver})
      (NPR Colvile;{Colvile}))
  (ID 37_a_hedgehog;speaker=-))

arc(z_0037_5003,r_0037_0001__Oliver_r_0037_0002__Colvile,z_0037_5002).

fof(formula,axiom,
    ? [R_0037_0001__OLIVER_R_0037_0002__COLVILE,Z_0037_5003] :
      ( r_0037_0001__Oliver_r_0037_0002__Colvile(R_0037_0001__OLIVER_R_0037_0002__COLVILE)
      & z_0037_5003(Z_0037_5003)
      & has_z_0037_5002(Z_0037_5003,R_0037_0001__OLIVER_R_0037_0002__COLVILE) ) ).