arc(z_000_159_a_hedgehog_19, r_0159_0001__Patrick_r_0159_0002__Grady, arg0).
arc(z_000_159_a_hedgehog_19, r_0159_0008__SNP, prd).
arc(z_000_159_a_hedgehog_1, r_0159_0001__Patrick_r_0159_0002__Grady, nim2).
arc(z_000_159_a_hedgehog_9, r_0159_0001__Patrick_r_0159_0002__Grady, arg0).
arc(z_000_159_a_hedgehog_9, r_0159_0004__Glasgow_r_0159_0005__North, prd).

fof(formula,axiom,
    ? [Z_159_A_HEDGEHOG_1,Z_159_A_HEDGEHOG_19,R_159_8_SNP,Z_159_A_HEDGEHOG_9,R_159_1_PATRICK_GRADY,R_159_4_GLASGOW_NORTH] :
      ( sNP(R_159_8_SNP)
      & patrick_Grady(R_159_1_PATRICK_GRADY)
      & glasgow_North(R_159_4_GLASGOW_NORTH)
      & z_159_a_hedgehog_1(Z_159_A_HEDGEHOG_1)
      & nim2(Z_159_A_HEDGEHOG_1,R_159_1_PATRICK_GRADY)
      & z_159_a_hedgehog_19(Z_159_A_HEDGEHOG_19,R_159_1_PATRICK_GRADY,R_159_8_SNP)
      & z_159_a_hedgehog_9(Z_159_A_HEDGEHOG_9,R_159_1_PATRICK_GRADY,R_159_4_GLASGOW_NORTH) ) ).

( (FRAG (NP (NPR Patrick;{Patrick})
            (NPR Grady;{Grady})
            (PULB -LRB-)
            (IP-PPL (NP-PRD (NPR Glasgow;{Glasgow})
                            (NPR North;{North})))
            (PURB -RRB-)
            (PULB -LRB-)
            (IP-PPL (NP-PRD (N SNP;{snp}))))
        (PURB -RRB-))
  (ID 159_a_hedgehog;speaker=-))