( (NP (N Dr;{dr})
      (NPR Lisa;{Lisa})
      (NPR Cameron;{Cameron})
      (PULB -LRB-)
      (PRN (NP (NLYR (NLYR (NPR East;{East})
                           (NPR Kilbride;{Kilbride}))
                     (PUNC ,)
                     (CONJP (NLYR (NPR Strathaven;{Strathaven})))
                     (CONJP (CONJ and;{and})
                            (NLYR (NPR Lesmahagow;{Lesmahagow}))))))
      (PURB -RRB-)
      (PULB -LRB-)
      (PRN (NP (N SNP;{snp})))
      (PURB -RRB-))
  (ID 77_a_hedgehog;speaker=-))

arc(r_0077_0009__and,r_0077_0005__East_r_0077_0006__Kilbride,conj1).
arc(r_0077_0009__and,r_0077_0008__Strathaven,conj2).
arc(r_0077_0009__and,r_0077_0010__Lesmahagow,conj3).
arc(z_0077_5004,r_0077_0001__Dr_r_0077_0002__Lisa_r_0077_0003__Cameron,arg0).
arc(z_0077_5004,r_0077_0009__and,prd).
arc(z_0077_5007,r_0077_0001__Dr_r_0077_0002__Lisa_r_0077_0003__Cameron,arg0).
arc(z_0077_5007,r_0077_0013__SNP,prd).
arc(z_0077_5009,r_0077_0001__Dr_r_0077_0002__Lisa_r_0077_0003__Cameron,z_0077_5002).

fof(formula,axiom,
    ? [R_0077_0001__DR_R_0077_0002__LISA_R_0077_0003__CAMERON,R_0077_0005__EAST_R_0077_0006__KILBRIDE,R_0077_0008__STRATHAVEN,R_0077_0010__LESMAHAGOW,R_0077_0009__AND,Z_0077_5004,R_0077_0013__SNP,Z_0077_5007,Z_0077_5009] :
      ( r_0077_0001__Dr_r_0077_0002__Lisa_r_0077_0003__Cameron(R_0077_0001__DR_R_0077_0002__LISA_R_0077_0003__CAMERON)
      & r_0077_0005__East_r_0077_0006__Kilbride(R_0077_0005__EAST_R_0077_0006__KILBRIDE)
      & r_0077_0008__Strathaven(R_0077_0008__STRATHAVEN)
      & r_0077_0010__Lesmahagow(R_0077_0010__LESMAHAGOW)
      & r_0077_0013__SNP(R_0077_0013__SNP)
      & z_0077_5009(Z_0077_5009)
      & has_z_0077_5002(Z_0077_5009,R_0077_0001__DR_R_0077_0002__LISA_R_0077_0003__CAMERON)
      & z_0077_5007(Z_0077_5007)
      & has_prd(Z_0077_5007,R_0077_0013__SNP)
      & has_arg0(Z_0077_5007,R_0077_0001__DR_R_0077_0002__LISA_R_0077_0003__CAMERON)
      & z_0077_5004(Z_0077_5004)
      & has_prd(Z_0077_5004,R_0077_0009__AND)
      & r_0077_0009__and(R_0077_0009__AND)
      & has_conj3(R_0077_0009__AND,R_0077_0010__LESMAHAGOW)
      & has_conj2(R_0077_0009__AND,R_0077_0008__STRATHAVEN)
      & has_conj1(R_0077_0009__AND,R_0077_0005__EAST_R_0077_0006__KILBRIDE)
      & has_arg0(Z_0077_5004,R_0077_0001__DR_R_0077_0002__LISA_R_0077_0003__CAMERON) ) ).