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 z_000_14_a_kyoto_1_1 r_0014_0004__Life Life z_000_14_a_kyoto_1_1->r_0014_0004__Life [nim] 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] 
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__1_1_1_1_1 The n14_a_kyoto_1__1_1_1_2_1 Artist n14_a_kyoto_1__1_1_1_3_1 's n14_a_kyoto_1__1_1_2_1 Life n14_a_kyoto_1__1 FRAG n14_a_kyoto_1__1_1 NP n14_a_kyoto_1__1->n14_a_kyoto_1__1_1 n14_a_kyoto_1__1_1_1 NP-GEN n14_a_kyoto_1__1_1->n14_a_kyoto_1__1_1_1 n14_a_kyoto_1__1_1_2 N n14_a_kyoto_1__1_1->n14_a_kyoto_1__1_1_2 n14_a_kyoto_1__1_1_1_1 D n14_a_kyoto_1__1_1_1->n14_a_kyoto_1__1_1_1_1 n14_a_kyoto_1__1_1_1_2 N n14_a_kyoto_1__1_1_1->n14_a_kyoto_1__1_1_1_2 n14_a_kyoto_1__1_1_1_3 GENM n14_a_kyoto_1__1_1_1->n14_a_kyoto_1__1_1_1_3 n14_a_kyoto_1__1_1_1_1->n14_a_kyoto_1__1_1_1_1_1 n14_a_kyoto_1__1_1_1_2->n14_a_kyoto_1__1_1_1_2_1 n14_a_kyoto_1__1_1_1_3->n14_a_kyoto_1__1_1_1_3_1 n14_a_kyoto_1__1_1_2->n14_a_kyoto_1__1_1_2_1 
( (FRAG (NP (NP-GEN (D The;{the})
                    (N Artist;{artist})
                    (GENM <apos>s))
            (N Life;{life})))
  (ID 14_a_kyoto_1;BDS_00001;14))