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_1, r_0051_0001__Julian_r_0051_0002__Knight, nim2).
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=-))