Context                Previous, Next                Top


51_a_hedgehog
Julian Knight (Solihull) (Con)

%3 z_000_51_a_hedgehog_1 r_0051_0001__Julian_r_0051_0002__Knight Julian Knight z_000_51_a_hedgehog_1->r_0051_0001__Julian_r_0051_0002__Knight [nim] z_000_51_a_hedgehog_17 z_000_51_a_hedgehog_17->r_0051_0001__Julian_r_0051_0002__Knight [arg0] r_0051_0007__Con Con z_000_51_a_hedgehog_17->r_0051_0007__Con [prd] z_000_51_a_hedgehog_9 z_000_51_a_hedgehog_9->r_0051_0001__Julian_r_0051_0002__Knight [arg0] r_0051_0004__Solihull Solihull z_000_51_a_hedgehog_9->r_0051_0004__Solihull [prd] 
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).


%3 z_000_51_a_hedgehog_9 r_0051_0004__Solihull Solihull z_000_51_a_hedgehog_9->r_0051_0004__Solihull [prd] r_0051_0001__Julian_r_0051_0002__Knight Julian Knight z_000_51_a_hedgehog_9->r_0051_0001__Julian_r_0051_0002__Knight [arg0] z_000_51_a_hedgehog_17 z_000_51_a_hedgehog_17->r_0051_0001__Julian_r_0051_0002__Knight [arg0] r_0051_0007__Con Con z_000_51_a_hedgehog_17->r_0051_0007__Con [prd] z_000_51_a_hedgehog_1 z_000_51_a_hedgehog_1->r_0051_0001__Julian_r_0051_0002__Knight [nim] 
fof(formula,axiom,
    ? [R_0051_0001__JULIAN_R_0051_0002__KNIGHT,Z_000_51_A_HEDGEHOG_1,R_0051_0007__CON,Z_000_51_A_HEDGEHOG_17,R_0051_0004__SOLIHULL,Z_000_51_A_HEDGEHOG_9] :
      ( 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_000_51_a_hedgehog_9(Z_000_51_A_HEDGEHOG_9)
      & has_prd(Z_000_51_A_HEDGEHOG_9,R_0051_0004__SOLIHULL)
      & has_arg0(Z_000_51_A_HEDGEHOG_9,R_0051_0001__JULIAN_R_0051_0002__KNIGHT)
      & z_000_51_a_hedgehog_17(Z_000_51_A_HEDGEHOG_17)
      & has_prd(Z_000_51_A_HEDGEHOG_17,R_0051_0007__CON)
      & has_arg0(Z_000_51_A_HEDGEHOG_17,R_0051_0001__JULIAN_R_0051_0002__KNIGHT)
      & z_000_51_a_hedgehog_1(Z_000_51_A_HEDGEHOG_1)
      & has_nim2(Z_000_51_A_HEDGEHOG_1,R_0051_0001__JULIAN_R_0051_0002__KNIGHT) ) ).


n51_a_hedgehog n51_a_hedgehog__1_1_1_1 Julian n51_a_hedgehog__1_1_2_1 Knight n51_a_hedgehog__1_1_3_1 -LRB- n51_a_hedgehog__1_1_4_1_1_1 Solihull n51_a_hedgehog__1_1_5_1 -RRB- n51_a_hedgehog__1_1_6_1 -LRB- n51_a_hedgehog__1_1_7_1_1_1 Con n51_a_hedgehog__1_2_1 -RRB- n51_a_hedgehog__1 FRAG n51_a_hedgehog__1_1 NP n51_a_hedgehog__1->n51_a_hedgehog__1_1 n51_a_hedgehog__1_2 PURB n51_a_hedgehog__1->n51_a_hedgehog__1_2 n51_a_hedgehog__1_1_1 NPR n51_a_hedgehog__1_1->n51_a_hedgehog__1_1_1 n51_a_hedgehog__1_1_2 NPR n51_a_hedgehog__1_1->n51_a_hedgehog__1_1_2 n51_a_hedgehog__1_1_3 PULB n51_a_hedgehog__1_1->n51_a_hedgehog__1_1_3 n51_a_hedgehog__1_1_4 IP-PPL n51_a_hedgehog__1_1->n51_a_hedgehog__1_1_4 n51_a_hedgehog__1_1_5 PURB n51_a_hedgehog__1_1->n51_a_hedgehog__1_1_5 n51_a_hedgehog__1_1_6 PULB n51_a_hedgehog__1_1->n51_a_hedgehog__1_1_6 n51_a_hedgehog__1_1_7 IP-PPL n51_a_hedgehog__1_1->n51_a_hedgehog__1_1_7 n51_a_hedgehog__1_1_1->n51_a_hedgehog__1_1_1_1 n51_a_hedgehog__1_1_2->n51_a_hedgehog__1_1_2_1 n51_a_hedgehog__1_1_3->n51_a_hedgehog__1_1_3_1 n51_a_hedgehog__1_1_4_1 NP-PRD n51_a_hedgehog__1_1_4->n51_a_hedgehog__1_1_4_1 n51_a_hedgehog__1_1_4_1_1 NPR n51_a_hedgehog__1_1_4_1->n51_a_hedgehog__1_1_4_1_1 n51_a_hedgehog__1_1_4_1_1->n51_a_hedgehog__1_1_4_1_1_1 n51_a_hedgehog__1_1_5->n51_a_hedgehog__1_1_5_1 n51_a_hedgehog__1_1_6->n51_a_hedgehog__1_1_6_1 n51_a_hedgehog__1_1_7_1 NP-PRD n51_a_hedgehog__1_1_7->n51_a_hedgehog__1_1_7_1 n51_a_hedgehog__1_1_7_1_1 N n51_a_hedgehog__1_1_7_1->n51_a_hedgehog__1_1_7_1_1 n51_a_hedgehog__1_1_7_1_1->n51_a_hedgehog__1_1_7_1_1_1 n51_a_hedgehog__1_2->n51_a_hedgehog__1_2_1 
( (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=-))