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

arc(z_0026_5003,r_0026_0001__Oliver_r_0026_0002__Colvile,z_0026_5002).

fof(formula,axiom,
    ? [R_0026_0001__OLIVER_R_0026_0002__COLVILE,Z_0026_5003] :
      ( r_0026_0001__Oliver_r_0026_0002__Colvile(R_0026_0001__OLIVER_R_0026_0002__COLVILE)
      & z_0026_5003(Z_0026_5003)
      & has_z_0026_5002(Z_0026_5003,R_0026_0001__OLIVER_R_0026_0002__COLVILE) ) ).