( (FRAG (PUNC --)
        (PULB -LRB-)
        (NP (NPR Kris;{Kris})
            (NPR Hopkins;{Hopkins}))
        (PUNC .)
        (PURB -RRB-))
  (ID 2_a_hedgehog;speaker=-))

arc(z_0002_5003,r_0002_0003__Kris_r_0002_0004__Hopkins,z_0002_5002).

fof(formula,axiom,
    ? [R_0002_0003__KRIS_R_0002_0004__HOPKINS,Z_0002_5003] :
      ( r_0002_0003__Kris_r_0002_0004__Hopkins(R_0002_0003__KRIS_R_0002_0004__HOPKINS)
      & z_0002_5003(Z_0002_5003)
      & has_z_0002_5002(Z_0002_5003,R_0002_0003__KRIS_R_0002_0004__HOPKINS) ) ).