( (NP (NPR Julian;{Julian})
      (NPR Knight;{Knight})
      (PULB -LRB-)
      (PRN (NP;{LOCATION} (NPR Solihull;{Solihull})))
      (PURB -RRB-)
      (PULB -LRB-)
      (PRN (NP (N Con;{con})))
      (PURB -RRB-))
  (ID 51_a_hedgehog;speaker=-))

arc(z_0051_5003,r_0051_0001__Julian_r_0051_0002__Knight,arg0).
arc(z_0051_5003,r_0051_0004__Solihull,prd).
arc(z_0051_5006,r_0051_0001__Julian_r_0051_0002__Knight,arg0).
arc(z_0051_5006,r_0051_0007__Con,prd).
arc(z_0051_5008,r_0051_0001__Julian_r_0051_0002__Knight,z_0051_5002).

fof(formula,axiom,
    ? [R_0051_0001__JULIAN_R_0051_0002__KNIGHT,R_0051_0004__SOLIHULL,Z_0051_5003,R_0051_0007__CON,Z_0051_5006,Z_0051_5008] :
      ( r_0051_0001__Julian_r_0051_0002__Knight(R_0051_0001__JULIAN_R_0051_0002__KNIGHT)
      & r_0051_0004__Solihull(R_0051_0004__SOLIHULL)
      & r_0051_0007__Con(R_0051_0007__CON)
      & z_0051_5008(Z_0051_5008)
      & has_z_0051_5002(Z_0051_5008,R_0051_0001__JULIAN_R_0051_0002__KNIGHT)
      & z_0051_5006(Z_0051_5006)
      & has_prd(Z_0051_5006,R_0051_0007__CON)
      & has_arg0(Z_0051_5006,R_0051_0001__JULIAN_R_0051_0002__KNIGHT)
      & z_0051_5003(Z_0051_5003)
      & has_prd(Z_0051_5003,R_0051_0004__SOLIHULL)
      & has_arg0(Z_0051_5003,R_0051_0001__JULIAN_R_0051_0002__KNIGHT) ) ).