Context                Previous, Next                Top


36_a_kyoto_1
Sesshu started to be deified in the Edo period.

n36_a_kyoto_1 n36_a_kyoto_1__1_1_1_1 Sesshu n36_a_kyoto_1__1_2_1 started n36_a_kyoto_1__1_3_1_1 to n36_a_kyoto_1__1_3_2_1 be n36_a_kyoto_1__1_3_3_1_1 * n36_a_kyoto_1__1_3_3_2_1 deified n36_a_kyoto_1__1_4_1_1 in n36_a_kyoto_1__1_4_2_1_1 the n36_a_kyoto_1__1_4_2_2_1 Edo n36_a_kyoto_1__1_4_2_3_1 period n36_a_kyoto_1__1_5_1 . n36_a_kyoto_1__1 IP-MAT n36_a_kyoto_1__1_1 NP-SBJ n36_a_kyoto_1__1->n36_a_kyoto_1__1_1 n36_a_kyoto_1__1_2 VBD;_cat_Vt_ n36_a_kyoto_1__1->n36_a_kyoto_1__1_2 n36_a_kyoto_1__1_3 IP-INF-CAT n36_a_kyoto_1__1->n36_a_kyoto_1__1_3 n36_a_kyoto_1__1_4 PP-NIM n36_a_kyoto_1__1->n36_a_kyoto_1__1_4 n36_a_kyoto_1__1_5 PUNC n36_a_kyoto_1__1->n36_a_kyoto_1__1_5 n36_a_kyoto_1__1_1_1 NPR n36_a_kyoto_1__1_1->n36_a_kyoto_1__1_1_1 n36_a_kyoto_1__1_1_1->n36_a_kyoto_1__1_1_1_1 n36_a_kyoto_1__1_2->n36_a_kyoto_1__1_2_1 n36_a_kyoto_1__1_3_1 TO n36_a_kyoto_1__1_3->n36_a_kyoto_1__1_3_1 n36_a_kyoto_1__1_3_2 BE;_cat_VePASS_ n36_a_kyoto_1__1_3->n36_a_kyoto_1__1_3_2 n36_a_kyoto_1__1_3_3 IP-PPL-CAT n36_a_kyoto_1__1_3->n36_a_kyoto_1__1_3_3 n36_a_kyoto_1__1_3_1->n36_a_kyoto_1__1_3_1_1 n36_a_kyoto_1__1_3_2->n36_a_kyoto_1__1_3_2_1 n36_a_kyoto_1__1_3_3_1 NP-LGS n36_a_kyoto_1__1_3_3->n36_a_kyoto_1__1_3_3_1 n36_a_kyoto_1__1_3_3_2 VVN;_Tn_ n36_a_kyoto_1__1_3_3->n36_a_kyoto_1__1_3_3_2 n36_a_kyoto_1__1_3_3_1->n36_a_kyoto_1__1_3_3_1_1 n36_a_kyoto_1__1_3_3_2->n36_a_kyoto_1__1_3_3_2_1 n36_a_kyoto_1__1_4_1 P-ROLE n36_a_kyoto_1__1_4->n36_a_kyoto_1__1_4_1 n36_a_kyoto_1__1_4_2 NP n36_a_kyoto_1__1_4->n36_a_kyoto_1__1_4_2 n36_a_kyoto_1__1_4_1->n36_a_kyoto_1__1_4_1_1 n36_a_kyoto_1__1_4_2_1 D n36_a_kyoto_1__1_4_2->n36_a_kyoto_1__1_4_2_1 n36_a_kyoto_1__1_4_2_2 NPR n36_a_kyoto_1__1_4_2->n36_a_kyoto_1__1_4_2_2 n36_a_kyoto_1__1_4_2_3 N n36_a_kyoto_1__1_4_2->n36_a_kyoto_1__1_4_2_3 n36_a_kyoto_1__1_4_2_1->n36_a_kyoto_1__1_4_2_1_1 n36_a_kyoto_1__1_4_2_2->n36_a_kyoto_1__1_4_2_2_1 n36_a_kyoto_1__1_4_2_3->n36_a_kyoto_1__1_4_2_3_1 n36_a_kyoto_1__1_5->n36_a_kyoto_1__1_5_1 
( (IP-MAT (NP-SBJ;{SESSHU} (NPR Sesshu;{Sesshu}))
          (VBD;_cat_Vt_ started;{start})
          (IP-INF-CAT (TO to;{to})
                      (BE;_cat_VePASS_ be;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ deified;{deify})))
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (NPR Edo;{Edo})
                      (N period;{period})))
          (PUNC .))
  (ID 36_a_kyoto_1;BDS_00001;36))


%3 r_0036_0005__deified deified z_0036_5004___star_ * r_0036_0005__deified->z_0036_5004___star_ [arg0] r_0036_0001__Sesshu Sesshu r_0036_0005__deified->r_0036_0001__Sesshu [arg1] r_0036_0004__be be r_0036_0004__be->r_0036_0005__deified [scope] r_0036_0002__started started r_0036_0002__started->r_0036_0004__be [scope] r_0036_0007__the_r_0036_0008__Edo_r_0036_0009__period the Edo period r_0036_0002__started->r_0036_0007__the_r_0036_0008__Edo_r_0036_0009__period in [nim] 
arc(r_0036_0002__started,r_0036_0004__be,scope).
arc(r_0036_0002__started,r_0036_0007__the_r_0036_0008__Edo_r_0036_0009__period,r_0036_0006__in__nim).
arc(r_0036_0004__be,r_0036_0005__deified,scope).
arc(r_0036_0005__deified,r_0036_0001__Sesshu,arg1).
arc(r_0036_0005__deified,z_0036_5004___star_,arg0).


%3 r_0036_0002__started_r_0036_0004__be_r_0036_0005__deified started be deified r_0036_0007__the_r_0036_0008__Edo_r_0036_0009__period the Edo period r_0036_0002__started_r_0036_0004__be_r_0036_0005__deified->r_0036_0007__the_r_0036_0008__Edo_r_0036_0009__period in [nim] r_0036_0001__Sesshu Sesshu r_0036_0002__started_r_0036_0004__be_r_0036_0005__deified->r_0036_0001__Sesshu [arg1] z_0036_5004___star_ * r_0036_0002__started_r_0036_0004__be_r_0036_0005__deified->z_0036_5004___star_ [arg0] 
fof(formula,axiom,
    ? [R_0036_0007__THE_R_0036_0008__EDO_R_0036_0009__PERIOD,R_0036_0001__SESSHU,Z_0036_5004___STAR_,R_0036_0002__STARTED_R_0036_0004__BE_R_0036_0005__DEIFIED] :
      ( r_0036_0001__Sesshu(R_0036_0001__SESSHU)
      & r_0036_0007__the_r_0036_0008__Edo_r_0036_0009__period(R_0036_0007__THE_R_0036_0008__EDO_R_0036_0009__PERIOD)
      & z_0036_5004___star_(Z_0036_5004___STAR_)
      & r_0036_0002__started_r_0036_0004__be_r_0036_0005__deified(R_0036_0002__STARTED_R_0036_0004__BE_R_0036_0005__DEIFIED)
      & has_arg0(R_0036_0002__STARTED_R_0036_0004__BE_R_0036_0005__DEIFIED,Z_0036_5004___STAR_)
      & has_arg1(R_0036_0002__STARTED_R_0036_0004__BE_R_0036_0005__DEIFIED,R_0036_0001__SESSHU)
      & has_r_0036_0006__in__nim(R_0036_0002__STARTED_R_0036_0004__BE_R_0036_0005__DEIFIED,R_0036_0007__THE_R_0036_0008__EDO_R_0036_0009__PERIOD) ) ).