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,
    ? [Z_2_A_HEDGEHOG_1,R_2_3_KRIS_HOPKINS] :
      ( kris_Hopkins(R_2_3_KRIS_HOPKINS)
      & z_2_a_hedgehog_1(Z_2_A_HEDGEHOG_1)
      & nim6(Z_2_A_HEDGEHOG_1,R_2_3_KRIS_HOPKINS) ) ).


n2_a_hedgehog n2_a_hedgehog_3 -- n2_a_hedgehog_5 -LRB- n2_a_hedgehog_8 Kris n2_a_hedgehog_10 Hopkins n2_a_hedgehog_12 . n2_a_hedgehog_14 -RRB- n2_a_hedgehog_1 FRAG n2_a_hedgehog_2 PUNC n2_a_hedgehog_1->n2_a_hedgehog_2 n2_a_hedgehog_4 PULB n2_a_hedgehog_1->n2_a_hedgehog_4 n2_a_hedgehog_6 NP n2_a_hedgehog_1->n2_a_hedgehog_6 n2_a_hedgehog_11 PUNC n2_a_hedgehog_1->n2_a_hedgehog_11 n2_a_hedgehog_13 PURB n2_a_hedgehog_1->n2_a_hedgehog_13 n2_a_hedgehog_2->n2_a_hedgehog_3 n2_a_hedgehog_4->n2_a_hedgehog_5 n2_a_hedgehog_7 NPR n2_a_hedgehog_6->n2_a_hedgehog_7 n2_a_hedgehog_9 NPR n2_a_hedgehog_6->n2_a_hedgehog_9 n2_a_hedgehog_7->n2_a_hedgehog_8 n2_a_hedgehog_9->n2_a_hedgehog_10 n2_a_hedgehog_11->n2_a_hedgehog_12 n2_a_hedgehog_13->n2_a_hedgehog_14 
( (FRAG (PUNC --)
        (PULB -LRB-)
        (NP (NPR Kris;{Kris})
            (NPR Hopkins;{Hopkins}))
        (PUNC .)
        (PURB -RRB-))
  (ID 2_a_hedgehog;speaker=-))