( (NP (NPR Tom;{Tom})
      (NPR Tugendhat;{Tugendhat})
      (PULB -LRB-)
      (PRN (NP (NLYR (NLYR (NPR Tonbridge;{Tonbridge}))
                     (CONJP (CONJ and;{and})
                            (NLYR (NPR Malling;{Malling}))))))
      (PURB -RRB-)
      (PULB -LRB-)
      (PRN (NP (N Con;{con})))
      (PURB -RRB-))
  (ID 102_a_hedgehog;speaker=-))

arc(r_0102_0005__and,r_0102_0004__Tonbridge,conj1).
arc(r_0102_0005__and,r_0102_0006__Malling,conj2).
arc(z_0102_5004,r_0102_0001__Tom_r_0102_0002__Tugendhat,arg0).
arc(z_0102_5004,r_0102_0005__and,prd).
arc(z_0102_5007,r_0102_0001__Tom_r_0102_0002__Tugendhat,arg0).
arc(z_0102_5007,r_0102_0009__Con,prd).
arc(z_0102_5009,r_0102_0001__Tom_r_0102_0002__Tugendhat,z_0102_5002).

fof(formula,axiom,
    ? [R_0102_0001__TOM_R_0102_0002__TUGENDHAT,R_0102_0004__TONBRIDGE,R_0102_0006__MALLING,R_0102_0005__AND,Z_0102_5004,R_0102_0009__CON,Z_0102_5007,Z_0102_5009] :
      ( r_0102_0001__Tom_r_0102_0002__Tugendhat(R_0102_0001__TOM_R_0102_0002__TUGENDHAT)
      & r_0102_0004__Tonbridge(R_0102_0004__TONBRIDGE)
      & r_0102_0006__Malling(R_0102_0006__MALLING)
      & r_0102_0009__Con(R_0102_0009__CON)
      & z_0102_5009(Z_0102_5009)
      & has_z_0102_5002(Z_0102_5009,R_0102_0001__TOM_R_0102_0002__TUGENDHAT)
      & z_0102_5007(Z_0102_5007)
      & has_prd(Z_0102_5007,R_0102_0009__CON)
      & has_arg0(Z_0102_5007,R_0102_0001__TOM_R_0102_0002__TUGENDHAT)
      & z_0102_5004(Z_0102_5004)
      & has_prd(Z_0102_5004,R_0102_0005__AND)
      & r_0102_0005__and(R_0102_0005__AND)
      & has_conj2(R_0102_0005__AND,R_0102_0006__MALLING)
      & has_conj1(R_0102_0005__AND,R_0102_0004__TONBRIDGE)
      & has_arg0(Z_0102_5004,R_0102_0001__TOM_R_0102_0002__TUGENDHAT) ) ).