Context                Previous, Next                Top


71_a_kyoto_2
Kencho-ji was the first Zen temple that opened the first pure Zen training hall in Japan, with more than 1,000 monks training there at one time.

n71_a_kyoto_2 n71_a_kyoto_2__1_1_1_1 Kencho-ji n71_a_kyoto_2__1_2_1 was n71_a_kyoto_2__1_3_1_1 the n71_a_kyoto_2__1_3_2_1 first n71_a_kyoto_2__1_3_3_1 Zen n71_a_kyoto_2__1_3_4_1 temple n71_a_kyoto_2__1_3_5_1_1 that n71_a_kyoto_2__1_3_5_2_1 *T* n71_a_kyoto_2__1_3_5_3_1 opened n71_a_kyoto_2__1_3_5_4_1_1 the n71_a_kyoto_2__1_3_5_4_2_1 first n71_a_kyoto_2__1_3_5_4_3_1_1_1 pure n71_a_kyoto_2__1_3_5_4_3_2_1 Zen n71_a_kyoto_2__1_3_5_4_4_1 training n71_a_kyoto_2__1_3_5_4_5_1 hall n71_a_kyoto_2__1_3_5_4_6_1_1 in n71_a_kyoto_2__1_3_5_4_6_2_1_1 Japan n71_a_kyoto_2__1_4_1 , n71_a_kyoto_2__1_5_1_1 with n71_a_kyoto_2__1_5_2_1_1_1_1 more n71_a_kyoto_2__1_5_2_1_1_2_1_1 than n71_a_kyoto_2__1_5_2_1_1_2_2_1_1 1,000 n71_a_kyoto_2__1_5_2_1_2_1 monks n71_a_kyoto_2__1_5_2_2_1 training n71_a_kyoto_2__1_5_2_3_1_1 there n71_a_kyoto_2__1_5_2_4_1_1 at n71_a_kyoto_2__1_5_2_4_2_1_1 one n71_a_kyoto_2__1_5_2_4_2_2_1 time n71_a_kyoto_2__1_6_1 . n71_a_kyoto_2__1 IP-MAT n71_a_kyoto_2__1_1 NP-SBJ n71_a_kyoto_2__1->n71_a_kyoto_2__1_1 n71_a_kyoto_2__1_2 BED;_Ln_ n71_a_kyoto_2__1->n71_a_kyoto_2__1_2 n71_a_kyoto_2__1_3 NP-PRD n71_a_kyoto_2__1->n71_a_kyoto_2__1_3 n71_a_kyoto_2__1_4 PUNC n71_a_kyoto_2__1->n71_a_kyoto_2__1_4 n71_a_kyoto_2__1_5 PP-SCON n71_a_kyoto_2__1->n71_a_kyoto_2__1_5 n71_a_kyoto_2__1_6 PUNC n71_a_kyoto_2__1->n71_a_kyoto_2__1_6 n71_a_kyoto_2__1_1_1 NPR n71_a_kyoto_2__1_1->n71_a_kyoto_2__1_1_1 n71_a_kyoto_2__1_1_1->n71_a_kyoto_2__1_1_1_1 n71_a_kyoto_2__1_2->n71_a_kyoto_2__1_2_1 n71_a_kyoto_2__1_3_1 D n71_a_kyoto_2__1_3->n71_a_kyoto_2__1_3_1 n71_a_kyoto_2__1_3_2 NUM n71_a_kyoto_2__1_3->n71_a_kyoto_2__1_3_2 n71_a_kyoto_2__1_3_3 NPR n71_a_kyoto_2__1_3->n71_a_kyoto_2__1_3_3 n71_a_kyoto_2__1_3_4 N n71_a_kyoto_2__1_3->n71_a_kyoto_2__1_3_4 n71_a_kyoto_2__1_3_5 IP-REL n71_a_kyoto_2__1_3->n71_a_kyoto_2__1_3_5 n71_a_kyoto_2__1_3_1->n71_a_kyoto_2__1_3_1_1 n71_a_kyoto_2__1_3_2->n71_a_kyoto_2__1_3_2_1 n71_a_kyoto_2__1_3_3->n71_a_kyoto_2__1_3_3_1 n71_a_kyoto_2__1_3_4->n71_a_kyoto_2__1_3_4_1 n71_a_kyoto_2__1_3_5_1 C n71_a_kyoto_2__1_3_5->n71_a_kyoto_2__1_3_5_1 n71_a_kyoto_2__1_3_5_2 NP-SBJ n71_a_kyoto_2__1_3_5->n71_a_kyoto_2__1_3_5_2 n71_a_kyoto_2__1_3_5_3 VBD;__ n71_a_kyoto_2__1_3_5->n71_a_kyoto_2__1_3_5_3 n71_a_kyoto_2__1_3_5_4 NP-OB1 n71_a_kyoto_2__1_3_5->n71_a_kyoto_2__1_3_5_4 n71_a_kyoto_2__1_3_5_1->n71_a_kyoto_2__1_3_5_1_1 n71_a_kyoto_2__1_3_5_2->n71_a_kyoto_2__1_3_5_2_1 n71_a_kyoto_2__1_3_5_3->n71_a_kyoto_2__1_3_5_3_1 n71_a_kyoto_2__1_3_5_4_1 D n71_a_kyoto_2__1_3_5_4->n71_a_kyoto_2__1_3_5_4_1 n71_a_kyoto_2__1_3_5_4_2 NUM n71_a_kyoto_2__1_3_5_4->n71_a_kyoto_2__1_3_5_4_2 n71_a_kyoto_2__1_3_5_4_3 NLYR n71_a_kyoto_2__1_3_5_4->n71_a_kyoto_2__1_3_5_4_3 n71_a_kyoto_2__1_3_5_4_4 N n71_a_kyoto_2__1_3_5_4->n71_a_kyoto_2__1_3_5_4_4 n71_a_kyoto_2__1_3_5_4_5 N n71_a_kyoto_2__1_3_5_4->n71_a_kyoto_2__1_3_5_4_5 n71_a_kyoto_2__1_3_5_4_6 PP n71_a_kyoto_2__1_3_5_4->n71_a_kyoto_2__1_3_5_4_6 n71_a_kyoto_2__1_3_5_4_1->n71_a_kyoto_2__1_3_5_4_1_1 n71_a_kyoto_2__1_3_5_4_2->n71_a_kyoto_2__1_3_5_4_2_1 n71_a_kyoto_2__1_3_5_4_3_1 ADJP n71_a_kyoto_2__1_3_5_4_3->n71_a_kyoto_2__1_3_5_4_3_1 n71_a_kyoto_2__1_3_5_4_3_2 NPR n71_a_kyoto_2__1_3_5_4_3->n71_a_kyoto_2__1_3_5_4_3_2 n71_a_kyoto_2__1_3_5_4_3_1_1 ADJ n71_a_kyoto_2__1_3_5_4_3_1->n71_a_kyoto_2__1_3_5_4_3_1_1 n71_a_kyoto_2__1_3_5_4_3_1_1->n71_a_kyoto_2__1_3_5_4_3_1_1_1 n71_a_kyoto_2__1_3_5_4_3_2->n71_a_kyoto_2__1_3_5_4_3_2_1 n71_a_kyoto_2__1_3_5_4_4->n71_a_kyoto_2__1_3_5_4_4_1 n71_a_kyoto_2__1_3_5_4_5->n71_a_kyoto_2__1_3_5_4_5_1 n71_a_kyoto_2__1_3_5_4_6_1 P-ROLE n71_a_kyoto_2__1_3_5_4_6->n71_a_kyoto_2__1_3_5_4_6_1 n71_a_kyoto_2__1_3_5_4_6_2 NP n71_a_kyoto_2__1_3_5_4_6->n71_a_kyoto_2__1_3_5_4_6_2 n71_a_kyoto_2__1_3_5_4_6_1->n71_a_kyoto_2__1_3_5_4_6_1_1 n71_a_kyoto_2__1_3_5_4_6_2_1 NPR n71_a_kyoto_2__1_3_5_4_6_2->n71_a_kyoto_2__1_3_5_4_6_2_1 n71_a_kyoto_2__1_3_5_4_6_2_1->n71_a_kyoto_2__1_3_5_4_6_2_1_1 n71_a_kyoto_2__1_4->n71_a_kyoto_2__1_4_1 n71_a_kyoto_2__1_5_1 P-CONN n71_a_kyoto_2__1_5->n71_a_kyoto_2__1_5_1 n71_a_kyoto_2__1_5_2 IP-PPL3 n71_a_kyoto_2__1_5->n71_a_kyoto_2__1_5_2 n71_a_kyoto_2__1_5_1->n71_a_kyoto_2__1_5_1_1 n71_a_kyoto_2__1_5_2_1 NP-SBJ n71_a_kyoto_2__1_5_2->n71_a_kyoto_2__1_5_2_1 n71_a_kyoto_2__1_5_2_2 VAG;__ n71_a_kyoto_2__1_5_2->n71_a_kyoto_2__1_5_2_2 n71_a_kyoto_2__1_5_2_3 ADVP-NIM n71_a_kyoto_2__1_5_2->n71_a_kyoto_2__1_5_2_3 n71_a_kyoto_2__1_5_2_4 PP-NIM n71_a_kyoto_2__1_5_2->n71_a_kyoto_2__1_5_2_4 n71_a_kyoto_2__1_5_2_1_1 ADJP n71_a_kyoto_2__1_5_2_1->n71_a_kyoto_2__1_5_2_1_1 n71_a_kyoto_2__1_5_2_1_2 NS n71_a_kyoto_2__1_5_2_1->n71_a_kyoto_2__1_5_2_1_2 n71_a_kyoto_2__1_5_2_1_1_1 ADJR n71_a_kyoto_2__1_5_2_1_1->n71_a_kyoto_2__1_5_2_1_1_1 n71_a_kyoto_2__1_5_2_1_1_2 PP n71_a_kyoto_2__1_5_2_1_1->n71_a_kyoto_2__1_5_2_1_1_2 n71_a_kyoto_2__1_5_2_1_1_1->n71_a_kyoto_2__1_5_2_1_1_1_1 n71_a_kyoto_2__1_5_2_1_1_2_1 P-ROLE n71_a_kyoto_2__1_5_2_1_1_2->n71_a_kyoto_2__1_5_2_1_1_2_1 n71_a_kyoto_2__1_5_2_1_1_2_2 NP n71_a_kyoto_2__1_5_2_1_1_2->n71_a_kyoto_2__1_5_2_1_1_2_2 n71_a_kyoto_2__1_5_2_1_1_2_1->n71_a_kyoto_2__1_5_2_1_1_2_1_1 n71_a_kyoto_2__1_5_2_1_1_2_2_1 NUM n71_a_kyoto_2__1_5_2_1_1_2_2->n71_a_kyoto_2__1_5_2_1_1_2_2_1 n71_a_kyoto_2__1_5_2_1_1_2_2_1->n71_a_kyoto_2__1_5_2_1_1_2_2_1_1 n71_a_kyoto_2__1_5_2_1_2->n71_a_kyoto_2__1_5_2_1_2_1 n71_a_kyoto_2__1_5_2_2->n71_a_kyoto_2__1_5_2_2_1 n71_a_kyoto_2__1_5_2_3_1 ADV n71_a_kyoto_2__1_5_2_3->n71_a_kyoto_2__1_5_2_3_1 n71_a_kyoto_2__1_5_2_3_1->n71_a_kyoto_2__1_5_2_3_1_1 n71_a_kyoto_2__1_5_2_4_1 P-ROLE n71_a_kyoto_2__1_5_2_4->n71_a_kyoto_2__1_5_2_4_1 n71_a_kyoto_2__1_5_2_4_2 NP n71_a_kyoto_2__1_5_2_4->n71_a_kyoto_2__1_5_2_4_2 n71_a_kyoto_2__1_5_2_4_1->n71_a_kyoto_2__1_5_2_4_1_1 n71_a_kyoto_2__1_5_2_4_2_1 NUM n71_a_kyoto_2__1_5_2_4_2->n71_a_kyoto_2__1_5_2_4_2_1 n71_a_kyoto_2__1_5_2_4_2_2 N n71_a_kyoto_2__1_5_2_4_2->n71_a_kyoto_2__1_5_2_4_2_2 n71_a_kyoto_2__1_5_2_4_2_1->n71_a_kyoto_2__1_5_2_4_2_1_1 n71_a_kyoto_2__1_5_2_4_2_2->n71_a_kyoto_2__1_5_2_4_2_2_1 n71_a_kyoto_2__1_6->n71_a_kyoto_2__1_6_1 
( (IP-MAT (NP-SBJ (NPR Kencho_<hyphen>_ji;{Kencho_ji}))
          (BED;_Ln_ was;{be})
          (NP-PRD (D the;{the})
                  (NUM first;{first})
                  (NPR Zen;{Zen})
                  (N temple;{temple})
                  (IP-REL (C that;{that})
                          (NP-SBJ *T*)
                          (VBD;__ opened;{open})
                          (NP-OB1 (D the;{the})
                                  (NUM first;{first})
                                  (NLYR (ADJP (ADJ pure;{pure}))
                                        (NPR Zen;{Zen}))
                                  (N training;{training})
                                  (N hall;{hall})
                                  (PP (P-ROLE in;{in})
                                      (NP (NPR Japan;{Japan}))))))
          (PUNC ,)
          (PP-SCON (P-CONN with;{with})
                   (IP-PPL3 (NP-SBJ (ADJP (ADJR more;{more})
                                          (PP (P-ROLE than;{than})
                                              (NP (NUM 1,000))))
                                    (NS monks;{monk}))
                            (VAG;__ training;{train})
                            (ADVP-NIM (ADV there;{there}))
                            (PP-NIM (P-ROLE at;{at})
                                    (NP (NUM one;{one})
                                        (N time;{time})))))
          (PUNC .))
  (ID 71_a_kyoto_2;BDS_00002;70))


%3 r_0071_0023__training training r_0071_0026__one_r_0071_0027__time one time r_0071_0023__training->r_0071_0026__one_r_0071_0027__time at [nim] r_0071_0024__there there r_0071_0023__training->r_0071_0024__there [nim] r_0071_0022__monks monks r_0071_0023__training->r_0071_0022__monks [arg0] r_0071_0019__more more r_0071_0022__monks->r_0071_0019__more [attrib] r_0071_0021__1_comma_000 1_comma_000 r_0071_0019__more->r_0071_0021__1_comma_000 than r_0071_0018__with with r_0071_0018__with->r_0071_0023__training [restriction] r_0071_0002__was was r_0071_0018__with->r_0071_0002__was [scope] r_0071_0003__the_r_0071_0004__first_r_0071_0005__Zen_r_0071_0006__temple the first Zen temple r_0071_0002__was->r_0071_0003__the_r_0071_0004__first_r_0071_0005__Zen_r_0071_0006__temple [prd] r_0071_0001__Kencho__hyphen__ji Kencho-ji r_0071_0002__was->r_0071_0001__Kencho__hyphen__ji [arg0] r_0071_0009__the_r_0071_0010__first_r_0071_0011__pure_r_0071_0012__Zen_r_0071_0013__training_r_0071_0014__hall the first pure Zen training hall r_0071_0016__Japan Japan r_0071_0009__the_r_0071_0010__first_r_0071_0011__pure_r_0071_0012__Zen_r_0071_0013__training_r_0071_0014__hall->r_0071_0016__Japan in r_0071_0008__opened opened r_0071_0008__opened->r_0071_0009__the_r_0071_0010__first_r_0071_0011__pure_r_0071_0012__Zen_r_0071_0013__training_r_0071_0014__hall [arg1] r_0071_0008__opened->r_0071_0003__the_r_0071_0004__first_r_0071_0005__Zen_r_0071_0006__temple [inv_arg0] 
arc(r_0071_0002__was,r_0071_0001__Kencho__hyphen__ji,arg0).
arc(r_0071_0002__was,r_0071_0003__the_r_0071_0004__first_r_0071_0005__Zen_r_0071_0006__temple,prd).
arc(r_0071_0008__opened,r_0071_0003__the_r_0071_0004__first_r_0071_0005__Zen_r_0071_0006__temple,inv_arg0).
arc(r_0071_0008__opened,r_0071_0009__the_r_0071_0010__first_r_0071_0011__pure_r_0071_0012__Zen_r_0071_0013__training_r_0071_0014__hall,arg1).
arc(r_0071_0009__the_r_0071_0010__first_r_0071_0011__pure_r_0071_0012__Zen_r_0071_0013__training_r_0071_0014__hall,r_0071_0016__Japan,r_0071_0015__in).
arc(r_0071_0018__with,r_0071_0002__was,scope).
arc(r_0071_0018__with,r_0071_0023__training,restriction).
arc(r_0071_0019__more,r_0071_0021__1_comma_000,r_0071_0020__than).
arc(r_0071_0022__monks,r_0071_0019__more,attrib).
arc(r_0071_0023__training,r_0071_0022__monks,arg0).
arc(r_0071_0023__training,r_0071_0024__there,nim).
arc(r_0071_0023__training,r_0071_0026__one_r_0071_0027__time,r_0071_0025__at__nim).


%3 r_0071_0002__was was r_0071_0001__Kencho__hyphen__ji Kencho-ji r_0071_0002__was->r_0071_0001__Kencho__hyphen__ji [arg0] r_0071_0003__the_r_0071_0004__first_r_0071_0005__Zen_r_0071_0006__temple the first Zen temple r_0071_0002__was->r_0071_0003__the_r_0071_0004__first_r_0071_0005__Zen_r_0071_0006__temple [prd] r_0071_0008__opened opened r_0071_0003__the_r_0071_0004__first_r_0071_0005__Zen_r_0071_0006__temple->r_0071_0008__opened [inv_arg0] r_0071_0009__the_r_0071_0010__first_r_0071_0011__pure_r_0071_0012__Zen_r_0071_0013__training_r_0071_0014__hall the first pure Zen training hall r_0071_0008__opened->r_0071_0009__the_r_0071_0010__first_r_0071_0011__pure_r_0071_0012__Zen_r_0071_0013__training_r_0071_0014__hall [arg1] r_0071_0016__Japan Japan r_0071_0009__the_r_0071_0010__first_r_0071_0011__pure_r_0071_0012__Zen_r_0071_0013__training_r_0071_0014__hall->r_0071_0016__Japan in r_0071_0018__with with r_0071_0018__with->r_0071_0002__was [conj2] r_0071_0023__training training r_0071_0018__with->r_0071_0023__training [conj1] r_0071_0022__monks monks r_0071_0023__training->r_0071_0022__monks [arg0] r_0071_0024__there there r_0071_0023__training->r_0071_0024__there [nim] r_0071_0026__one_r_0071_0027__time one time r_0071_0023__training->r_0071_0026__one_r_0071_0027__time at [nim] r_0071_0019__more more r_0071_0021__1_comma_000 1_comma_000 r_0071_0019__more->r_0071_0021__1_comma_000 than r_0071_0022__monks->r_0071_0019__more [attrib] 
fof(formula,axiom,
    ? [R_0071_0001__KENCHO__HYPHEN__JI,R_0071_0016__JAPAN,R_0071_0009__THE_R_0071_0010__FIRST_R_0071_0011__PURE_R_0071_0012__ZEN_R_0071_0013__TRAINING_R_0071_0014__HALL,R_0071_0008__OPENED,R_0071_0003__THE_R_0071_0004__FIRST_R_0071_0005__ZEN_R_0071_0006__TEMPLE,R_0071_0002__WAS,R_0071_0021__1_COMMA_000,R_0071_0019__MORE,R_0071_0022__MONKS,R_0071_0024__THERE,R_0071_0026__ONE_R_0071_0027__TIME,R_0071_0023__TRAINING,R_0071_0018__WITH] :
      ( r_0071_0001__Kencho__hyphen__ji(R_0071_0001__KENCHO__HYPHEN__JI)
      & r_0071_0016__Japan(R_0071_0016__JAPAN)
      & r_0071_0021__1_comma_000(R_0071_0021__1_COMMA_000)
      & r_0071_0024__there(R_0071_0024__THERE)
      & r_0071_0026__one_r_0071_0027__time(R_0071_0026__ONE_R_0071_0027__TIME)
      & r_0071_0018__with(R_0071_0018__WITH)
      & has_conj1(R_0071_0018__WITH,R_0071_0023__TRAINING)
      & r_0071_0023__training(R_0071_0023__TRAINING)
      & has_r_0071_0025__at__nim(R_0071_0023__TRAINING,R_0071_0026__ONE_R_0071_0027__TIME)
      & has_nim(R_0071_0023__TRAINING,R_0071_0024__THERE)
      & has_arg0(R_0071_0023__TRAINING,R_0071_0022__MONKS)
      & r_0071_0022__monks(R_0071_0022__MONKS)
      & has_attrib(R_0071_0022__MONKS,R_0071_0019__MORE)
      & r_0071_0019__more(R_0071_0019__MORE)
      & has_r_0071_0020__than(R_0071_0019__MORE,R_0071_0021__1_COMMA_000)
      & has_conj2(R_0071_0018__WITH,R_0071_0002__WAS)
      & r_0071_0002__was(R_0071_0002__WAS)
      & has_prd(R_0071_0002__WAS,R_0071_0003__THE_R_0071_0004__FIRST_R_0071_0005__ZEN_R_0071_0006__TEMPLE)
      & r_0071_0003__the_r_0071_0004__first_r_0071_0005__Zen_r_0071_0006__temple(R_0071_0003__THE_R_0071_0004__FIRST_R_0071_0005__ZEN_R_0071_0006__TEMPLE)
      & has_inv_arg0(R_0071_0003__THE_R_0071_0004__FIRST_R_0071_0005__ZEN_R_0071_0006__TEMPLE,R_0071_0008__OPENED)
      & r_0071_0008__opened(R_0071_0008__OPENED)
      & has_arg1(R_0071_0008__OPENED,R_0071_0009__THE_R_0071_0010__FIRST_R_0071_0011__PURE_R_0071_0012__ZEN_R_0071_0013__TRAINING_R_0071_0014__HALL)
      & r_0071_0009__the_r_0071_0010__first_r_0071_0011__pure_r_0071_0012__Zen_r_0071_0013__training_r_0071_0014__hall(R_0071_0009__THE_R_0071_0010__FIRST_R_0071_0011__PURE_R_0071_0012__ZEN_R_0071_0013__TRAINING_R_0071_0014__HALL)
      & has_r_0071_0015__in(R_0071_0009__THE_R_0071_0010__FIRST_R_0071_0011__PURE_R_0071_0012__ZEN_R_0071_0013__TRAINING_R_0071_0014__HALL,R_0071_0016__JAPAN)
      & has_arg0(R_0071_0002__WAS,R_0071_0001__KENCHO__HYPHEN__JI) ) ).