Context                Previous, Next                Top


2_a_hedgehog
-- (Kris Hopkins.)

%3 z_000_2_a_hedgehog_1 r_0002_0003__Kris_r_0002_0004__Hopkins Kris Hopkins z_000_2_a_hedgehog_1->r_0002_0003__Kris_r_0002_0004__Hopkins [nim] 
arc(z_000_2_a_hedgehog_1, r_0002_0003__Kris_r_0002_0004__Hopkins, nim6).


%3 z_000_2_a_hedgehog_1 r_0002_0003__Kris_r_0002_0004__Hopkins Kris Hopkins z_000_2_a_hedgehog_1->r_0002_0003__Kris_r_0002_0004__Hopkins [nim] 
fof(formula,axiom,
    ? [R_0002_0003__KRIS_R_0002_0004__HOPKINS,Z_000_2_A_HEDGEHOG_1] :
      ( r_0002_0003__Kris_r_0002_0004__Hopkins(R_0002_0003__KRIS_R_0002_0004__HOPKINS)
      & z_000_2_a_hedgehog_1(Z_000_2_A_HEDGEHOG_1)
      & has_nim6(Z_000_2_A_HEDGEHOG_1,R_0002_0003__KRIS_R_0002_0004__HOPKINS) ) ).


n2_a_hedgehog n2_a_hedgehog__1_1_1 -- n2_a_hedgehog__1_2_1 -LRB- n2_a_hedgehog__1_3_1_1 Kris n2_a_hedgehog__1_3_2_1 Hopkins n2_a_hedgehog__1_4_1 . n2_a_hedgehog__1_5_1 -RRB- n2_a_hedgehog__1 FRAG n2_a_hedgehog__1_1 PUNC n2_a_hedgehog__1->n2_a_hedgehog__1_1 n2_a_hedgehog__1_2 PULB n2_a_hedgehog__1->n2_a_hedgehog__1_2 n2_a_hedgehog__1_3 NP n2_a_hedgehog__1->n2_a_hedgehog__1_3 n2_a_hedgehog__1_4 PUNC n2_a_hedgehog__1->n2_a_hedgehog__1_4 n2_a_hedgehog__1_5 PURB n2_a_hedgehog__1->n2_a_hedgehog__1_5 n2_a_hedgehog__1_1->n2_a_hedgehog__1_1_1 n2_a_hedgehog__1_2->n2_a_hedgehog__1_2_1 n2_a_hedgehog__1_3_1 NPR n2_a_hedgehog__1_3->n2_a_hedgehog__1_3_1 n2_a_hedgehog__1_3_2 NPR n2_a_hedgehog__1_3->n2_a_hedgehog__1_3_2 n2_a_hedgehog__1_3_1->n2_a_hedgehog__1_3_1_1 n2_a_hedgehog__1_3_2->n2_a_hedgehog__1_3_2_1 n2_a_hedgehog__1_4->n2_a_hedgehog__1_4_1 n2_a_hedgehog__1_5->n2_a_hedgehog__1_5_1 
( (FRAG (PUNC --)
        (PULB -LRB-)
        (NP (NPR Kris;{Kris})
            (NPR Hopkins;{Hopkins}))
        (PUNC .)
        (PURB -RRB-))
  (ID 2_a_hedgehog;speaker=-))