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_000_77_a_hedgehog_11, r_0077_0001__Dr_r_0077_0002__Lisa_r_0077_0003__Cameron, arg0).
arc(z_000_77_a_hedgehog_11, r_0077_0009__and, prd).
arc(z_000_77_a_hedgehog_1, r_0077_0001__Dr_r_0077_0002__Lisa_r_0077_0003__Cameron, nim2).
arc(z_000_77_a_hedgehog_35, r_0077_0001__Dr_r_0077_0002__Lisa_r_0077_0003__Cameron, arg0).
arc(z_000_77_a_hedgehog_35, r_0077_0013__SNP, prd).

fof(formula,axiom,
    ? [Z_77_A_HEDGEHOG_1,Z_77_A_HEDGEHOG_11,R_77_9_AND,R_77_5_EAST_KILBRIDE,R_77_8_STRATHAVEN,R_77_10_LESMAHAGOW,Z_77_A_HEDGEHOG_35,R_77_1_DR_LISA_CAMERON,R_77_13_SNP] :
      ( east_Kilbride(R_77_5_EAST_KILBRIDE)
      & strathaven(R_77_8_STRATHAVEN)
      & lesmahagow(R_77_10_LESMAHAGOW)
      & dr_Lisa_Cameron(R_77_1_DR_LISA_CAMERON)
      & sNP(R_77_13_SNP)
      & z_77_a_hedgehog_1(Z_77_A_HEDGEHOG_1)
      & nim2(Z_77_A_HEDGEHOG_1,R_77_1_DR_LISA_CAMERON)
      & z_77_a_hedgehog_11(Z_77_A_HEDGEHOG_11,R_77_1_DR_LISA_CAMERON,R_77_9_AND)
      & and(R_77_9_AND)
      & conj1(R_77_9_AND,R_77_5_EAST_KILBRIDE)
      & conj2(R_77_9_AND,R_77_8_STRATHAVEN)
      & conj3(R_77_9_AND,R_77_10_LESMAHAGOW)
      & z_77_a_hedgehog_35(Z_77_A_HEDGEHOG_35,R_77_1_DR_LISA_CAMERON,R_77_13_SNP) ) ).

( (FRAG (NP (N Dr;{dr})
            (NPR Lisa;{Lisa})
            (NPR Cameron;{Cameron})
            (PULB -LRB-)
            (IP-PPL (NP-PRD (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-)
            (IP-PPL (NP-PRD (N SNP;{snp}))))
        (PURB -RRB-))
  (ID 77_a_hedgehog;speaker=-))