34_a_kyoto_1
The story first appeared in “Honcho Gashi” compiled by Eino KANO (published in 1693, the Edo period).
arc(r_0034_0004__appeared, r_0034_0001__The_r_0034_0002__story, arg0).
arc(r_0034_0004__appeared, r_0034_0003__first, nim7).
arc(r_0034_0004__appeared, r_0034_0007__Honcho_r_0034_0008__Gashi, r_0034_0005__in_clr15).
arc(r_0034_0010__compiled, r_0034_0007__Honcho_r_0034_0008__Gashi, arg1).
arc(r_0034_0010__compiled, r_0034_0012__Eino_r_0034_0013__KANO, arg0).
arc(r_0034_0015__published, r_0034_0007__Honcho_r_0034_0008__Gashi, arg1).
arc(r_0034_0015__published, r_0034_0017__1693, r_0034_0016__in_nim45).
arc(r_0034_0015__published, z_000_34_a_kyoto_1_38, arg0).
arc(z_000_34_a_kyoto_1_50, r_0034_0017__1693, arg0).
arc(z_000_34_a_kyoto_1_50, r_0034_0019__the_r_0034_0020__Edo_r_0034_0021__period, prd).
fof(formula,axiom,
? [R_34_4_APPEARED,R_34_1_THE_STORY,R_34_3_FIRST,R_34_10_COMPILED,R_34_12_EINO_KANO,R_34_15_PUBLISHED,Z_34_A_KYOTO_1_38,R_34_7_HONCHO_GASHI,Z_34_A_KYOTO_1_50,R_34_17_1693,R_34_19_THE_EDO_PERIOD] :
( the_story(R_34_1_THE_STORY)
& first(R_34_3_FIRST)
& eino_KANO(R_34_12_EINO_KANO)
& honcho_Gashi(R_34_7_HONCHO_GASHI)
& 1693(R_34_17_1693)
& the_Edo_period(R_34_19_THE_EDO_PERIOD)
& appeared(R_34_4_APPEARED,R_34_1_THE_STORY)
& nim7(R_34_4_APPEARED,R_34_3_FIRST)
& in_clr15(R_34_4_APPEARED,R_34_7_HONCHO_GASHI)
& compiled(R_34_10_COMPILED,R_34_12_EINO_KANO,R_34_7_HONCHO_GASHI)
& published(R_34_15_PUBLISHED,Z_34_A_KYOTO_1_38,R_34_7_HONCHO_GASHI)
& in_nim45(R_34_15_PUBLISHED,R_34_17_1693)
& z_34_a_kyoto_1_50(Z_34_A_KYOTO_1_50,R_34_17_1693,R_34_19_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 ,)
(IP-PPL (NP-PRD (D the;{the})
(NPR Edo;{Edo})
(N period;{period}))))))
(PURB -RRB-)))
(PUNC .))
(ID 34_a_kyoto_1;BDS_00001;34))