TSPC 6_a_yeats

6_a_yeats_1899
W.B. Yeats

( (NP (NPR W<dot>B<dot>)
      (NPR Yeats;{Yeats}))
  (ID 6_a_yeats_1899))

arc(z_0006_5003,r_0006_0001__W_dot_B_dot__r_0006_0002__Yeats,z_0006_5002).

fof(formula,axiom,
    ? [R_0006_0001__W_DOT_B_DOT__R_0006_0002__YEATS,Z_0006_5003] :
      ( r_0006_0001__W_dot_B_dot__r_0006_0002__Yeats(R_0006_0001__W_DOT_B_DOT__R_0006_0002__YEATS)
      & z_0006_5003(Z_0006_5003)
      & has_z_0006_5002(Z_0006_5003,R_0006_0001__W_DOT_B_DOT__R_0006_0002__YEATS) ) ).