Context                Previous, Next                Top


14_a_kyoto_1
The Artist's Life

n14_a_kyoto_1 n14_a_kyoto_1__1_1_1_1 The n14_a_kyoto_1__1_1_2_1 Artist n14_a_kyoto_1__1_1_3_1 's n14_a_kyoto_1__1_2_1 Life n14_a_kyoto_1__1 NP n14_a_kyoto_1__1_1 NP-GEN n14_a_kyoto_1__1->n14_a_kyoto_1__1_1 n14_a_kyoto_1__1_2 N n14_a_kyoto_1__1->n14_a_kyoto_1__1_2 n14_a_kyoto_1__1_1_1 D 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_3 GENM n14_a_kyoto_1__1_1->n14_a_kyoto_1__1_1_3 n14_a_kyoto_1__1_1_1->n14_a_kyoto_1__1_1_1_1 n14_a_kyoto_1__1_1_2->n14_a_kyoto_1__1_1_2_1 n14_a_kyoto_1__1_1_3->n14_a_kyoto_1__1_1_3_1 n14_a_kyoto_1__1_2->n14_a_kyoto_1__1_2_1 
( (NP (NP-GEN (D The;{the})
              (N Artist;{artist})
              (GENM <apos>s))
      (N Life;{life}))
  (ID 14_a_kyoto_1;BDS_00001;14))


%3 z_0014_5005 r_0014_0004__Life Life z_0014_5005->r_0014_0004__Life r_0014_0001__The_r_0014_0002__Artist The Artist r_0014_0004__Life->r_0014_0001__The_r_0014_0002__Artist [gen] 
arc(r_0014_0004__Life,r_0014_0001__The_r_0014_0002__Artist,gen).
arc(z_0014_5005,r_0014_0004__Life,z_0014_5002).


%3 r_0014_0004__Life Life r_0014_0001__The_r_0014_0002__Artist The Artist r_0014_0004__Life->r_0014_0001__The_r_0014_0002__Artist [gen] z_0014_5005 z_0014_5005->r_0014_0004__Life 
fof(formula,axiom,
    ? [R_0014_0001__THE_R_0014_0002__ARTIST,R_0014_0004__LIFE,Z_0014_5005] :
      ( r_0014_0001__The_r_0014_0002__Artist(R_0014_0001__THE_R_0014_0002__ARTIST)
      & z_0014_5005(Z_0014_5005)
      & has_z_0014_5002(Z_0014_5005,R_0014_0004__LIFE)
      & r_0014_0004__Life(R_0014_0004__LIFE)
      & has_gen(R_0014_0004__LIFE,R_0014_0001__THE_R_0014_0002__ARTIST) ) ).