Context                Previous, Next                Top


102_a_hedgehog
Tom Tugendhat (Tonbridge and Malling) (Con)

%3 r_0102_0005__and and r_0102_0004__Tonbridge Tonbridge r_0102_0005__and->r_0102_0004__Tonbridge [conj1] r_0102_0006__Malling Malling r_0102_0005__and->r_0102_0006__Malling [conj2] z_000_102_a_hedgehog_1 r_0102_0001__Tom_r_0102_0002__Tugendhat Tom Tugendhat z_000_102_a_hedgehog_1->r_0102_0001__Tom_r_0102_0002__Tugendhat [nim] z_000_102_a_hedgehog_25 z_000_102_a_hedgehog_25->r_0102_0001__Tom_r_0102_0002__Tugendhat [arg0] r_0102_0009__Con Con z_000_102_a_hedgehog_25->r_0102_0009__Con [prd] z_000_102_a_hedgehog_9 z_000_102_a_hedgehog_9->r_0102_0005__and [prd] z_000_102_a_hedgehog_9->r_0102_0001__Tom_r_0102_0002__Tugendhat [arg0] 
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).


%3 z_000_102_a_hedgehog_9 r_0102_0005__and and z_000_102_a_hedgehog_9->r_0102_0005__and [prd] r_0102_0001__Tom_r_0102_0002__Tugendhat Tom Tugendhat z_000_102_a_hedgehog_9->r_0102_0001__Tom_r_0102_0002__Tugendhat [arg0] r_0102_0006__Malling Malling r_0102_0005__and->r_0102_0006__Malling [conj2] r_0102_0004__Tonbridge Tonbridge r_0102_0005__and->r_0102_0004__Tonbridge [conj1] z_000_102_a_hedgehog_25 z_000_102_a_hedgehog_25->r_0102_0001__Tom_r_0102_0002__Tugendhat [arg0] r_0102_0009__Con Con z_000_102_a_hedgehog_25->r_0102_0009__Con [prd] z_000_102_a_hedgehog_1 z_000_102_a_hedgehog_1->r_0102_0001__Tom_r_0102_0002__Tugendhat [nim] 
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) ) ).


n102_a_hedgehog n102_a_hedgehog__1_1_1_1 Tom n102_a_hedgehog__1_1_2_1 Tugendhat n102_a_hedgehog__1_1_3_1 -LRB- n102_a_hedgehog__1_1_4_1_1_1_1_1 Tonbridge n102_a_hedgehog__1_1_4_1_1_2_1_1 and n102_a_hedgehog__1_1_4_1_1_2_2_1_1 Malling n102_a_hedgehog__1_1_5_1 -RRB- n102_a_hedgehog__1_1_6_1 -LRB- n102_a_hedgehog__1_1_7_1_1_1 Con n102_a_hedgehog__1_2_1 -RRB- n102_a_hedgehog__1 FRAG n102_a_hedgehog__1_1 NP n102_a_hedgehog__1->n102_a_hedgehog__1_1 n102_a_hedgehog__1_2 PURB n102_a_hedgehog__1->n102_a_hedgehog__1_2 n102_a_hedgehog__1_1_1 NPR n102_a_hedgehog__1_1->n102_a_hedgehog__1_1_1 n102_a_hedgehog__1_1_2 NPR n102_a_hedgehog__1_1->n102_a_hedgehog__1_1_2 n102_a_hedgehog__1_1_3 PULB n102_a_hedgehog__1_1->n102_a_hedgehog__1_1_3 n102_a_hedgehog__1_1_4 IP-PPL n102_a_hedgehog__1_1->n102_a_hedgehog__1_1_4 n102_a_hedgehog__1_1_5 PURB n102_a_hedgehog__1_1->n102_a_hedgehog__1_1_5 n102_a_hedgehog__1_1_6 PULB n102_a_hedgehog__1_1->n102_a_hedgehog__1_1_6 n102_a_hedgehog__1_1_7 IP-PPL n102_a_hedgehog__1_1->n102_a_hedgehog__1_1_7 n102_a_hedgehog__1_1_1->n102_a_hedgehog__1_1_1_1 n102_a_hedgehog__1_1_2->n102_a_hedgehog__1_1_2_1 n102_a_hedgehog__1_1_3->n102_a_hedgehog__1_1_3_1 n102_a_hedgehog__1_1_4_1 NP-PRD n102_a_hedgehog__1_1_4->n102_a_hedgehog__1_1_4_1 n102_a_hedgehog__1_1_4_1_1 NLYR n102_a_hedgehog__1_1_4_1->n102_a_hedgehog__1_1_4_1_1 n102_a_hedgehog__1_1_4_1_1_1 NLYR n102_a_hedgehog__1_1_4_1_1->n102_a_hedgehog__1_1_4_1_1_1 n102_a_hedgehog__1_1_4_1_1_2 CONJP n102_a_hedgehog__1_1_4_1_1->n102_a_hedgehog__1_1_4_1_1_2 n102_a_hedgehog__1_1_4_1_1_1_1 NPR n102_a_hedgehog__1_1_4_1_1_1->n102_a_hedgehog__1_1_4_1_1_1_1 n102_a_hedgehog__1_1_4_1_1_1_1->n102_a_hedgehog__1_1_4_1_1_1_1_1 n102_a_hedgehog__1_1_4_1_1_2_1 CONJ n102_a_hedgehog__1_1_4_1_1_2->n102_a_hedgehog__1_1_4_1_1_2_1 n102_a_hedgehog__1_1_4_1_1_2_2 NLYR n102_a_hedgehog__1_1_4_1_1_2->n102_a_hedgehog__1_1_4_1_1_2_2 n102_a_hedgehog__1_1_4_1_1_2_1->n102_a_hedgehog__1_1_4_1_1_2_1_1 n102_a_hedgehog__1_1_4_1_1_2_2_1 NPR n102_a_hedgehog__1_1_4_1_1_2_2->n102_a_hedgehog__1_1_4_1_1_2_2_1 n102_a_hedgehog__1_1_4_1_1_2_2_1->n102_a_hedgehog__1_1_4_1_1_2_2_1_1 n102_a_hedgehog__1_1_5->n102_a_hedgehog__1_1_5_1 n102_a_hedgehog__1_1_6->n102_a_hedgehog__1_1_6_1 n102_a_hedgehog__1_1_7_1 NP-PRD n102_a_hedgehog__1_1_7->n102_a_hedgehog__1_1_7_1 n102_a_hedgehog__1_1_7_1_1 N n102_a_hedgehog__1_1_7_1->n102_a_hedgehog__1_1_7_1_1 n102_a_hedgehog__1_1_7_1_1->n102_a_hedgehog__1_1_7_1_1_1 n102_a_hedgehog__1_2->n102_a_hedgehog__1_2_1 
( (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=-))