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,
    ? [R_0006_0001__W_DOT_B_DOT__R_0006_0002__YEATS,Z_000_6_A_YEATS_1899_1] :
      ( r_0006_0001__W_dot_B_dot__r_0006_0002__Yeats(R_0006_0001__W_DOT_B_DOT__R_0006_0002__YEATS)
      & z_000_6_a_yeats_1899_1(Z_000_6_A_YEATS_1899_1)
      & has_nim2(Z_000_6_A_YEATS_1899_1,R_0006_0001__W_DOT_B_DOT__R_0006_0002__YEATS) ) ).


n6_a_yeats_1899 n6_a_yeats_1899__1_1_1_1 W.B. n6_a_yeats_1899__1_1_2_1 Yeats n6_a_yeats_1899__1 FRAG n6_a_yeats_1899__1_1 NP n6_a_yeats_1899__1->n6_a_yeats_1899__1_1 n6_a_yeats_1899__1_1_1 NPR n6_a_yeats_1899__1_1->n6_a_yeats_1899__1_1_1 n6_a_yeats_1899__1_1_2 NPR n6_a_yeats_1899__1_1->n6_a_yeats_1899__1_1_2 n6_a_yeats_1899__1_1_1->n6_a_yeats_1899__1_1_1_1 n6_a_yeats_1899__1_1_2->n6_a_yeats_1899__1_1_2_1 
( (FRAG (NP (NPR W<dot>B<dot>)
            (NPR Yeats;{Yeats})))
  (ID 6_a_yeats_1899))