51_a_hedgehog
Julian Knight (Solihull) (Con)
arc(z_000_51_a_hedgehog_1, r_0051_0001__Julian_r_0051_0002__Knight, nim2).
arc(z_000_51_a_hedgehog_17, r_0051_0001__Julian_r_0051_0002__Knight, arg0).
arc(z_000_51_a_hedgehog_17, r_0051_0007__Con, prd).
arc(z_000_51_a_hedgehog_9, r_0051_0001__Julian_r_0051_0002__Knight, arg0).
arc(z_000_51_a_hedgehog_9, r_0051_0004__Solihull, prd).
fof(formula,axiom,
? [Z_51_A_HEDGEHOG_1,Z_51_A_HEDGEHOG_17,R_51_7_CON,Z_51_A_HEDGEHOG_9,R_51_1_JULIAN_KNIGHT,R_51_4_SOLIHULL] :
( con(R_51_7_CON)
& julian_Knight(R_51_1_JULIAN_KNIGHT)
& solihull(R_51_4_SOLIHULL)
& z_51_a_hedgehog_1(Z_51_A_HEDGEHOG_1)
& nim2(Z_51_A_HEDGEHOG_1,R_51_1_JULIAN_KNIGHT)
& z_51_a_hedgehog_17(Z_51_A_HEDGEHOG_17,R_51_1_JULIAN_KNIGHT,R_51_7_CON)
& z_51_a_hedgehog_9(Z_51_A_HEDGEHOG_9,R_51_1_JULIAN_KNIGHT,R_51_4_SOLIHULL) ) ).
( (FRAG (NP (NPR Julian;{Julian})
(NPR Knight;{Knight})
(PULB -LRB-)
(IP-PPL (NP-PRD;{LOCATION} (NPR Solihull;{Solihull})))
(PURB -RRB-)
(PULB -LRB-)
(IP-PPL (NP-PRD (N Con;{con}))))
(PURB -RRB-))
(ID 51_a_hedgehog;speaker=-))