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.

%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_0007__that_r_0071_0008__opened that opened r_0071_0007__that_r_0071_0008__opened->r_0071_0003__the_r_0071_0004__first_r_0071_0005__Zen_r_0071_0006__temple [arg0] r_0071_0009__the_r_0071_0010__first_r_0071_0012__Zen_r_0071_0013__training_r_0071_0014__hall the first Zen training hall r_0071_0007__that_r_0071_0008__opened->r_0071_0009__the_r_0071_0010__first_r_0071_0012__Zen_r_0071_0013__training_r_0071_0014__hall [arg1] r_0071_0011__pure pure r_0071_0009__the_r_0071_0010__first_r_0071_0012__Zen_r_0071_0013__training_r_0071_0014__hall->r_0071_0011__pure [attrib] r_0071_0016__Japan Japan r_0071_0009__the_r_0071_0010__first_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 [scope] r_0071_0023__training training r_0071_0018__with->r_0071_0023__training [restriction] 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,000 r_0071_0019__more->r_0071_0021__1_comma_000 than r_0071_0022__monks->r_0071_0019__more [attrib]
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_0007__that_r_0071_0008__opened, r_0071_0003__the_r_0071_0004__first_r_0071_0005__Zen_r_0071_0006__temple, arg0).
arc(r_0071_0007__that_r_0071_0008__opened, r_0071_0009__the_r_0071_0010__first_r_0071_0012__Zen_r_0071_0013__training_r_0071_0014__hall, arg1).
arc(r_0071_0009__the_r_0071_0010__first_r_0071_0012__Zen_r_0071_0013__training_r_0071_0014__hall, r_0071_0011__pure, attrib28).
arc(r_0071_0009__the_r_0071_0010__first_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, attrib50).
arc(r_0071_0023__training, r_0071_0022__monks, arg0).
arc(r_0071_0023__training, r_0071_0024__there, nim63).
arc(r_0071_0023__training, r_0071_0026__one_r_0071_0027__time, r_0071_0025__at_nim69).



%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,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 [conj1] r_0071_0002__was was r_0071_0018__with->r_0071_0002__was [conj2] 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_0012__Zen_r_0071_0013__training_r_0071_0014__hall the first Zen training hall r_0071_0016__Japan Japan r_0071_0009__the_r_0071_0010__first_r_0071_0012__Zen_r_0071_0013__training_r_0071_0014__hall->r_0071_0016__Japan in r_0071_0011__pure pure r_0071_0009__the_r_0071_0010__first_r_0071_0012__Zen_r_0071_0013__training_r_0071_0014__hall->r_0071_0011__pure [attrib] r_0071_0007__that_r_0071_0008__opened that opened r_0071_0007__that_r_0071_0008__opened->r_0071_0009__the_r_0071_0010__first_r_0071_0012__Zen_r_0071_0013__training_r_0071_0014__hall [arg1] r_0071_0007__that_r_0071_0008__opened->r_0071_0003__the_r_0071_0004__first_r_0071_0005__Zen_r_0071_0006__temple [arg0]
fof(formula,axiom,
    ? [R_71_7_THAT_OPENED,R_71_9_THE_FIRST_ZEN_TRAINING_HALL,R_71_11_PURE,R_71_16_JAPAN,R_71_18_WITH,R_71_23_TRAINING,R_71_22_MONKS,R_71_19_MORE,R_71_21_1_COMMA_,R_71_24_THERE,R_71_26_ONE_TIME,R_71_2_WAS,R_71_1_KENCHO_HYPHEN_JI,R_71_3_THE_FIRST_ZEN_TEMPLE] :
      ( pure(R_71_11_PURE)
      & japan(R_71_16_JAPAN)
      & 1_comma_(R_71_21_1_COMMA_)
      & there(R_71_24_THERE)
      & one_time(R_71_26_ONE_TIME)
      & kencho_hyphen_ji(R_71_1_KENCHO_HYPHEN_JI)
      & the_first_Zen_temple(R_71_3_THE_FIRST_ZEN_TEMPLE)
      & that_opened(R_71_7_THAT_OPENED,R_71_3_THE_FIRST_ZEN_TEMPLE,R_71_9_THE_FIRST_ZEN_TRAINING_HALL)
      & the_first_Zen_training_hall(R_71_9_THE_FIRST_ZEN_TRAINING_HALL)
      & attrib28(R_71_9_THE_FIRST_ZEN_TRAINING_HALL,R_71_11_PURE)
      & in(R_71_9_THE_FIRST_ZEN_TRAINING_HALL,R_71_16_JAPAN)
      & with(R_71_18_WITH)
      & conj1(R_71_18_WITH,R_71_23_TRAINING)
      & training(R_71_23_TRAINING,R_71_22_MONKS)
      & monks(R_71_22_MONKS)
      & attrib50(R_71_22_MONKS,R_71_19_MORE)
      & more(R_71_19_MORE)
      & than(R_71_19_MORE,R_71_21_1_COMMA_)
      & nim63(R_71_23_TRAINING,R_71_24_THERE)
      & at_nim69(R_71_23_TRAINING,R_71_26_ONE_TIME)
      & conj2(R_71_18_WITH,R_71_2_WAS)
      & was(R_71_2_WAS,R_71_1_KENCHO_HYPHEN_JI,R_71_3_THE_FIRST_ZEN_TEMPLE) ) ).



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 pure n71_a_kyoto_2__1_3_5_4_4_1 Zen n71_a_kyoto_2__1_3_5_4_5_1 training n71_a_kyoto_2__1_3_5_4_6_1 hall n71_a_kyoto_2__1_3_5_4_7_1_1 in n71_a_kyoto_2__1_3_5_4_7_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 ADJP 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 NPR 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 N 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_7 PP n71_a_kyoto_2__1_3_5_4->n71_a_kyoto_2__1_3_5_4_7 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 ADJ 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_1->n71_a_kyoto_2__1_3_5_4_3_1_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->n71_a_kyoto_2__1_3_5_4_6_1 n71_a_kyoto_2__1_3_5_4_7_1 P-ROLE n71_a_kyoto_2__1_3_5_4_7->n71_a_kyoto_2__1_3_5_4_7_1 n71_a_kyoto_2__1_3_5_4_7_2 NP n71_a_kyoto_2__1_3_5_4_7->n71_a_kyoto_2__1_3_5_4_7_2 n71_a_kyoto_2__1_3_5_4_7_1->n71_a_kyoto_2__1_3_5_4_7_1_1 n71_a_kyoto_2__1_3_5_4_7_2_1 NPR n71_a_kyoto_2__1_3_5_4_7_2->n71_a_kyoto_2__1_3_5_4_7_2_1 n71_a_kyoto_2__1_3_5_4_7_2_1->n71_a_kyoto_2__1_3_5_4_7_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})
                                  (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))