arc(z_000_24_a_hedgehog_11, r_0024_0001__Martin_r_0024_0002__John_r_0024_0003__Docherty, arg0).
arc(z_000_24_a_hedgehog_11, r_0024_0005__West_r_0024_0006__Dunbartonshire, prd).
arc(z_000_24_a_hedgehog_1, r_0024_0001__Martin_r_0024_0002__John_r_0024_0003__Docherty, nim2).
arc(z_000_24_a_hedgehog_21, r_0024_0001__Martin_r_0024_0002__John_r_0024_0003__Docherty, arg0).
arc(z_000_24_a_hedgehog_21, r_0024_0009__SNP, prd).

fof(formula,axiom,
    ? [Z_24_A_HEDGEHOG_1,Z_24_A_HEDGEHOG_11,R_24_5_WEST_DUNBARTONSHIRE,Z_24_A_HEDGEHOG_21,R_24_1_MARTIN_JOHN_DOCHERTY,R_24_9_SNP] :
      ( west_Dunbartonshire(R_24_5_WEST_DUNBARTONSHIRE)
      & martin_John_Docherty(R_24_1_MARTIN_JOHN_DOCHERTY)
      & sNP(R_24_9_SNP)
      & z_24_a_hedgehog_1(Z_24_A_HEDGEHOG_1)
      & nim2(Z_24_A_HEDGEHOG_1,R_24_1_MARTIN_JOHN_DOCHERTY)
      & z_24_a_hedgehog_11(Z_24_A_HEDGEHOG_11,R_24_1_MARTIN_JOHN_DOCHERTY,R_24_5_WEST_DUNBARTONSHIRE)
      & z_24_a_hedgehog_21(Z_24_A_HEDGEHOG_21,R_24_1_MARTIN_JOHN_DOCHERTY,R_24_9_SNP) ) ).

( (FRAG (NP (NPR Martin;{Martin})
            (NPR John;{John})
            (NPR Docherty;{Docherty})
            (PULB -LRB-)
            (IP-PPL (NP-PRD (NPR West;{West})
                            (NPR Dunbartonshire;{Dunbartonshire})))
            (PURB -RRB-)
            (PULB -LRB-)
            (IP-PPL (NP-PRD (N SNP;{snp}))))
        (PURB -RRB-))
  (ID 24_a_hedgehog;speaker=-))