TSPC 34_a_kyoto

34_a_kyoto_1
The story first appeared in “Honcho Gashi” compiled by Eino KANO (published in 1693, the Edo period).

( (IP-MAT (NP-SBJ (D The;{the})
                  (N story;{story}))
          (ADVP-NIM (ADV first;{first}))
          (VBD;_Ipr_ appeared;{appear[in]})
          (PP-CLR (P-ROLE in;{in})
                  (NP (PULQ <ldquo>)
                      (NPR Honcho;{Honcho})
                      (NPR Gashi;{Gashi})
                      (PURQ <rdquo>)
                      (IP-PPL (VVN;_Tn_ compiled;{compile})
                              (PP-LGS (P-ROLE;_lgs_ by;{by})
                                      (NP (NPR Eino;{Eino})
                                          (NPR KANO;{Kano}))))
                      (PULB -LRB-)
                      (IP-PPL (NP-LGS *)
                              (VVN;_Tn_ published;{publish})
                              (PP-NIM (P-ROLE in;{in})
                                      (NP (NPR 1693)
                                          (PUNC ,)
                                          (PRN (NP (D the;{the})
                                                   (NPR Edo;{Edo})
                                                   (N period;{period}))))))
                      (PURB -RRB-)))
          (PUNC .))
  (ID 34_a_kyoto_1;BDS_00001;34))

arc(r_0034_0004__appeared_r_0034_0005__in,r_0034_0001__The_r_0034_0002__story,arg0).
arc(r_0034_0004__appeared_r_0034_0005__in,r_0034_0003__first,nim).
arc(r_0034_0004__appeared_r_0034_0005__in,r_0034_0007__Honcho_r_0034_0008__Gashi,arg1).
arc(r_0034_0010__compiled,r_0034_0007__Honcho_r_0034_0008__Gashi,inv_arg1).
arc(r_0034_0010__compiled,r_0034_0012__Eino_r_0034_0013__KANO,r_0034_0011__by_arg0).
arc(r_0034_0015__published,r_0034_0007__Honcho_r_0034_0008__Gashi,inv_arg1).
arc(r_0034_0015__published,r_0034_0017__1693,r_0034_0016__in__nim).
arc(r_0034_0015__published,z_0034_5006___star_,arg0).
arc(z_0034_5004,r_0034_0017__1693,arg0).
arc(z_0034_5004,r_0034_0019__the_r_0034_0020__Edo_r_0034_0021__period,prd).

fof(formula,axiom,
    ? [R_0034_0001__THE_R_0034_0002__STORY,R_0034_0003__FIRST,R_0034_0012__EINO_R_0034_0013__KANO,R_0034_0010__COMPILED,R_0034_0017__1693,Z_0034_5006___STAR_,R_0034_0015__PUBLISHED,R_0034_0007__HONCHO_R_0034_0008__GASHI,R_0034_0004__APPEARED_R_0034_0005__IN,R_0034_0019__THE_R_0034_0020__EDO_R_0034_0021__PERIOD,Z_0034_5004] :
      ( r_0034_0001__The_r_0034_0002__story(R_0034_0001__THE_R_0034_0002__STORY)
      & r_0034_0003__first(R_0034_0003__FIRST)
      & r_0034_0012__Eino_r_0034_0013__KANO(R_0034_0012__EINO_R_0034_0013__KANO)
      & r_0034_0017__1693(R_0034_0017__1693)
      & r_0034_0019__the_r_0034_0020__Edo_r_0034_0021__period(R_0034_0019__THE_R_0034_0020__EDO_R_0034_0021__PERIOD)
      & z_0034_5006___star_(Z_0034_5006___STAR_)
      & z_0034_5004(Z_0034_5004)
      & has_prd(Z_0034_5004,R_0034_0019__THE_R_0034_0020__EDO_R_0034_0021__PERIOD)
      & has_arg0(Z_0034_5004,R_0034_0017__1693)
      & r_0034_0004__appeared_r_0034_0005__in(R_0034_0004__APPEARED_R_0034_0005__IN)
      & has_arg1(R_0034_0004__APPEARED_R_0034_0005__IN,R_0034_0007__HONCHO_R_0034_0008__GASHI)
      & r_0034_0007__Honcho_r_0034_0008__Gashi(R_0034_0007__HONCHO_R_0034_0008__GASHI)
      & has_inv_arg1(R_0034_0007__HONCHO_R_0034_0008__GASHI,R_0034_0015__PUBLISHED)
      & r_0034_0015__published(R_0034_0015__PUBLISHED)
      & has_arg0(R_0034_0015__PUBLISHED,Z_0034_5006___STAR_)
      & has_r_0034_0016__in__nim(R_0034_0015__PUBLISHED,R_0034_0017__1693)
      & has_inv_arg1(R_0034_0007__HONCHO_R_0034_0008__GASHI,R_0034_0010__COMPILED)
      & r_0034_0010__compiled(R_0034_0010__COMPILED)
      & has_r_0034_0011__by_arg0(R_0034_0010__COMPILED,R_0034_0012__EINO_R_0034_0013__KANO)
      & has_nim(R_0034_0004__APPEARED_R_0034_0005__IN,R_0034_0003__FIRST)
      & has_arg0(R_0034_0004__APPEARED_R_0034_0005__IN,R_0034_0001__THE_R_0034_0002__STORY) ) ).