arc(r_0102_0005__and, r_0102_0004__Tonbridge, conj1).
arc(r_0102_0005__and, r_0102_0006__Malling, conj2).
arc(z_000_102_a_hedgehog_1, r_0102_0001__Tom_r_0102_0002__Tugendhat, nim2).
arc(z_000_102_a_hedgehog_25, r_0102_0001__Tom_r_0102_0002__Tugendhat, arg0).
arc(z_000_102_a_hedgehog_25, r_0102_0009__Con, prd).
arc(z_000_102_a_hedgehog_9, r_0102_0001__Tom_r_0102_0002__Tugendhat, arg0).
arc(z_000_102_a_hedgehog_9, r_0102_0005__and, prd).

fof(formula,axiom,
    ? [Z_102_A_HEDGEHOG_1,Z_102_A_HEDGEHOG_25,R_102_9_CON,Z_102_A_HEDGEHOG_9,R_102_1_TOM_TUGENDHAT,R_102_5_AND,R_102_4_TONBRIDGE,R_102_6_MALLING] :
      ( con(R_102_9_CON)
      & tom_Tugendhat(R_102_1_TOM_TUGENDHAT)
      & tonbridge(R_102_4_TONBRIDGE)
      & malling(R_102_6_MALLING)
      & z_102_a_hedgehog_1(Z_102_A_HEDGEHOG_1)
      & nim2(Z_102_A_HEDGEHOG_1,R_102_1_TOM_TUGENDHAT)
      & z_102_a_hedgehog_25(Z_102_A_HEDGEHOG_25,R_102_1_TOM_TUGENDHAT,R_102_9_CON)
      & z_102_a_hedgehog_9(Z_102_A_HEDGEHOG_9,R_102_1_TOM_TUGENDHAT,R_102_5_AND)
      & and(R_102_5_AND)
      & conj1(R_102_5_AND,R_102_4_TONBRIDGE)
      & conj2(R_102_5_AND,R_102_6_MALLING) ) ).

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