Context                Previous, Next                Top


6_a_yeats_1899
W.B. Yeats

%3 z_000_6_a_yeats_1899_1 r_0006_0001__W_dot_B_dot__r_0006_0002__Yeats W.B. Yeats z_000_6_a_yeats_1899_1->r_0006_0001__W_dot_B_dot__r_0006_0002__Yeats [nim] 
arc(z_000_6_a_yeats_1899_1, r_0006_0001__W_dot_B_dot__r_0006_0002__Yeats, nim2).


%3 z_000_6_a_yeats_1899_1 r_0006_0001__W_dot_B_dot__r_0006_0002__Yeats W.B. Yeats z_000_6_a_yeats_1899_1->r_0006_0001__W_dot_B_dot__r_0006_0002__Yeats [nim] 
fof(formula,axiom,
    ? [Z_6_A_YEATS_1899_1,R_6_1_W_DOT_B_DOT_YEATS] :
      ( w_dot_B_dot_Yeats(R_6_1_W_DOT_B_DOT_YEATS)
      & z_6_a_yeats_1899_1(Z_6_A_YEATS_1899_1)
      & nim2(Z_6_A_YEATS_1899_1,R_6_1_W_DOT_B_DOT_YEATS) ) ).


n6_a_yeats_1899 n6_a_yeats_1899_4 W.B. n6_a_yeats_1899_6 Yeats n6_a_yeats_1899_1 FRAG n6_a_yeats_1899_2 NP n6_a_yeats_1899_1->n6_a_yeats_1899_2 n6_a_yeats_1899_3 NPR n6_a_yeats_1899_2->n6_a_yeats_1899_3 n6_a_yeats_1899_5 NPR n6_a_yeats_1899_2->n6_a_yeats_1899_5 n6_a_yeats_1899_3->n6_a_yeats_1899_4 n6_a_yeats_1899_5->n6_a_yeats_1899_6 
( (FRAG (NP (NPR W<dot>B<dot>)
            (NPR Yeats;{Yeats})))
  (ID 6_a_yeats_1899))