Context                Previous, Next                Top


14_a_kyoto_1
The Artist's Life

%3 r_0014_0004__Life Life r_0014_0001__The_r_0014_0002__Artist_r_0014_0003___apos_s The Artist 's r_0014_0004__Life->r_0014_0001__The_r_0014_0002__Artist_r_0014_0003___apos_s [gen] z_000_14_a_kyoto_1_1 z_000_14_a_kyoto_1_1->r_0014_0004__Life [nim] 
arc(r_0014_0004__Life, r_0014_0001__The_r_0014_0002__Artist_r_0014_0003___apos_s, gen).
arc(z_000_14_a_kyoto_1_1, r_0014_0004__Life, nim2).


%3 r_0014_0004__Life Life r_0014_0001__The_r_0014_0002__Artist_r_0014_0003___apos_s The Artist 's r_0014_0004__Life->r_0014_0001__The_r_0014_0002__Artist_r_0014_0003___apos_s [gen] z_000_14_a_kyoto_1_1 z_000_14_a_kyoto_1_1->r_0014_0004__Life [nim] 
fof(formula,axiom,
    ? [Z_14_A_KYOTO_1_1,R_14_4_LIFE,R_14_1_THE_ARTIST_APOS_S] :
      ( the_Artist_apos_s(R_14_1_THE_ARTIST_APOS_S)
      & z_14_a_kyoto_1_1(Z_14_A_KYOTO_1_1)
      & nim2(Z_14_A_KYOTO_1_1,R_14_4_LIFE)
      & life(R_14_4_LIFE)
      & gen(R_14_4_LIFE,R_14_1_THE_ARTIST_APOS_S) ) ).


n14_a_kyoto_1 n14_a_kyoto_1_5 The n14_a_kyoto_1_7 Artist n14_a_kyoto_1_9 's n14_a_kyoto_1_11 Life n14_a_kyoto_1_1 FRAG n14_a_kyoto_1_2 NP n14_a_kyoto_1_1->n14_a_kyoto_1_2 n14_a_kyoto_1_3 NP-GEN n14_a_kyoto_1_2->n14_a_kyoto_1_3 n14_a_kyoto_1_10 N n14_a_kyoto_1_2->n14_a_kyoto_1_10 n14_a_kyoto_1_4 D n14_a_kyoto_1_3->n14_a_kyoto_1_4 n14_a_kyoto_1_6 N n14_a_kyoto_1_3->n14_a_kyoto_1_6 n14_a_kyoto_1_8 GENM n14_a_kyoto_1_3->n14_a_kyoto_1_8 n14_a_kyoto_1_4->n14_a_kyoto_1_5 n14_a_kyoto_1_6->n14_a_kyoto_1_7 n14_a_kyoto_1_8->n14_a_kyoto_1_9 n14_a_kyoto_1_10->n14_a_kyoto_1_11 
( (FRAG (NP (NP-GEN (D The;{the})
                    (N Artist;{artist})
                    (GENM <apos>s))
            (N Life;{life})))
  (ID 14_a_kyoto_1;BDS_00001;14))