102_a_hedgehog
Tom Tugendhat (Tonbridge and Malling) (Con)
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,
? [R_0102_0001__TOM_R_0102_0002__TUGENDHAT,Z_000_102_A_HEDGEHOG_1,R_0102_0009__CON,Z_000_102_A_HEDGEHOG_25,R_0102_0004__TONBRIDGE,R_0102_0006__MALLING,R_0102_0005__AND,Z_000_102_A_HEDGEHOG_9] :
( 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_000_102_a_hedgehog_9(Z_000_102_A_HEDGEHOG_9)
& has_prd(Z_000_102_A_HEDGEHOG_9,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_000_102_A_HEDGEHOG_9,R_0102_0001__TOM_R_0102_0002__TUGENDHAT)
& z_000_102_a_hedgehog_25(Z_000_102_A_HEDGEHOG_25)
& has_prd(Z_000_102_A_HEDGEHOG_25,R_0102_0009__CON)
& has_arg0(Z_000_102_A_HEDGEHOG_25,R_0102_0001__TOM_R_0102_0002__TUGENDHAT)
& z_000_102_a_hedgehog_1(Z_000_102_A_HEDGEHOG_1)
& has_nim2(Z_000_102_A_HEDGEHOG_1,R_0102_0001__TOM_R_0102_0002__TUGENDHAT) ) ).
( (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=-))