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

arc(z_0159_5003,r_0159_0001__Patrick_r_0159_0002__Grady,arg0).
arc(z_0159_5003,r_0159_0004__Glasgow_r_0159_0005__North,prd).
arc(z_0159_5006,r_0159_0001__Patrick_r_0159_0002__Grady,arg0).
arc(z_0159_5006,r_0159_0008__SNP,prd).
arc(z_0159_5008,r_0159_0001__Patrick_r_0159_0002__Grady,z_0159_5002).

fof(formula,axiom,
    ? [R_0159_0001__PATRICK_R_0159_0002__GRADY,R_0159_0004__GLASGOW_R_0159_0005__NORTH,Z_0159_5003,R_0159_0008__SNP,Z_0159_5006,Z_0159_5008] :
      ( r_0159_0001__Patrick_r_0159_0002__Grady(R_0159_0001__PATRICK_R_0159_0002__GRADY)
      & r_0159_0004__Glasgow_r_0159_0005__North(R_0159_0004__GLASGOW_R_0159_0005__NORTH)
      & r_0159_0008__SNP(R_0159_0008__SNP)
      & z_0159_5008(Z_0159_5008)
      & has_z_0159_5002(Z_0159_5008,R_0159_0001__PATRICK_R_0159_0002__GRADY)
      & z_0159_5006(Z_0159_5006)
      & has_prd(Z_0159_5006,R_0159_0008__SNP)
      & has_arg0(Z_0159_5006,R_0159_0001__PATRICK_R_0159_0002__GRADY)
      & z_0159_5003(Z_0159_5003)
      & has_prd(Z_0159_5003,R_0159_0004__GLASGOW_R_0159_0005__NORTH)
      & has_arg0(Z_0159_5003,R_0159_0001__PATRICK_R_0159_0002__GRADY) ) ).