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.

%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_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 [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,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_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_4 Kencho-ji n71_a_kyoto_2_6 was n71_a_kyoto_2_9 the n71_a_kyoto_2_11 first n71_a_kyoto_2_13 Zen n71_a_kyoto_2_15 temple n71_a_kyoto_2_18 that n71_a_kyoto_2_20 *T* n71_a_kyoto_2_22 opened n71_a_kyoto_2_25 the n71_a_kyoto_2_27 first n71_a_kyoto_2_30 pure n71_a_kyoto_2_32 Zen n71_a_kyoto_2_34 training n71_a_kyoto_2_36 hall n71_a_kyoto_2_39 in n71_a_kyoto_2_42 Japan n71_a_kyoto_2_44 , n71_a_kyoto_2_47 with n71_a_kyoto_2_52 more n71_a_kyoto_2_55 than n71_a_kyoto_2_58 1,000 n71_a_kyoto_2_60 monks n71_a_kyoto_2_62 training n71_a_kyoto_2_65 there n71_a_kyoto_2_68 at n71_a_kyoto_2_71 one n71_a_kyoto_2_73 time n71_a_kyoto_2_75 . n71_a_kyoto_2_1 IP-MAT n71_a_kyoto_2_2 NP-SBJ n71_a_kyoto_2_1->n71_a_kyoto_2_2 n71_a_kyoto_2_5 BED;_Ln_ n71_a_kyoto_2_1->n71_a_kyoto_2_5 n71_a_kyoto_2_7 NP-PRD n71_a_kyoto_2_1->n71_a_kyoto_2_7 n71_a_kyoto_2_43 PUNC n71_a_kyoto_2_1->n71_a_kyoto_2_43 n71_a_kyoto_2_45 PP-SCON n71_a_kyoto_2_1->n71_a_kyoto_2_45 n71_a_kyoto_2_74 PUNC n71_a_kyoto_2_1->n71_a_kyoto_2_74 n71_a_kyoto_2_3 NPR n71_a_kyoto_2_2->n71_a_kyoto_2_3 n71_a_kyoto_2_3->n71_a_kyoto_2_4 n71_a_kyoto_2_5->n71_a_kyoto_2_6 n71_a_kyoto_2_8 D n71_a_kyoto_2_7->n71_a_kyoto_2_8 n71_a_kyoto_2_10 NUM n71_a_kyoto_2_7->n71_a_kyoto_2_10 n71_a_kyoto_2_12 NPR n71_a_kyoto_2_7->n71_a_kyoto_2_12 n71_a_kyoto_2_14 N n71_a_kyoto_2_7->n71_a_kyoto_2_14 n71_a_kyoto_2_16 IP-REL n71_a_kyoto_2_7->n71_a_kyoto_2_16 n71_a_kyoto_2_8->n71_a_kyoto_2_9 n71_a_kyoto_2_10->n71_a_kyoto_2_11 n71_a_kyoto_2_12->n71_a_kyoto_2_13 n71_a_kyoto_2_14->n71_a_kyoto_2_15 n71_a_kyoto_2_17 C n71_a_kyoto_2_16->n71_a_kyoto_2_17 n71_a_kyoto_2_19 NP-SBJ n71_a_kyoto_2_16->n71_a_kyoto_2_19 n71_a_kyoto_2_21 VBD;__ n71_a_kyoto_2_16->n71_a_kyoto_2_21 n71_a_kyoto_2_23 NP-OB1 n71_a_kyoto_2_16->n71_a_kyoto_2_23 n71_a_kyoto_2_17->n71_a_kyoto_2_18 n71_a_kyoto_2_19->n71_a_kyoto_2_20 n71_a_kyoto_2_21->n71_a_kyoto_2_22 n71_a_kyoto_2_24 D n71_a_kyoto_2_23->n71_a_kyoto_2_24 n71_a_kyoto_2_26 NUM n71_a_kyoto_2_23->n71_a_kyoto_2_26 n71_a_kyoto_2_28 ADJP n71_a_kyoto_2_23->n71_a_kyoto_2_28 n71_a_kyoto_2_31 NPR n71_a_kyoto_2_23->n71_a_kyoto_2_31 n71_a_kyoto_2_33 N n71_a_kyoto_2_23->n71_a_kyoto_2_33 n71_a_kyoto_2_35 N n71_a_kyoto_2_23->n71_a_kyoto_2_35 n71_a_kyoto_2_37 PP n71_a_kyoto_2_23->n71_a_kyoto_2_37 n71_a_kyoto_2_24->n71_a_kyoto_2_25 n71_a_kyoto_2_26->n71_a_kyoto_2_27 n71_a_kyoto_2_29 ADJ n71_a_kyoto_2_28->n71_a_kyoto_2_29 n71_a_kyoto_2_29->n71_a_kyoto_2_30 n71_a_kyoto_2_31->n71_a_kyoto_2_32 n71_a_kyoto_2_33->n71_a_kyoto_2_34 n71_a_kyoto_2_35->n71_a_kyoto_2_36 n71_a_kyoto_2_38 P-ROLE n71_a_kyoto_2_37->n71_a_kyoto_2_38 n71_a_kyoto_2_40 NP n71_a_kyoto_2_37->n71_a_kyoto_2_40 n71_a_kyoto_2_38->n71_a_kyoto_2_39 n71_a_kyoto_2_41 NPR n71_a_kyoto_2_40->n71_a_kyoto_2_41 n71_a_kyoto_2_41->n71_a_kyoto_2_42 n71_a_kyoto_2_43->n71_a_kyoto_2_44 n71_a_kyoto_2_46 P-CONN n71_a_kyoto_2_45->n71_a_kyoto_2_46 n71_a_kyoto_2_48 IP-PPL3 n71_a_kyoto_2_45->n71_a_kyoto_2_48 n71_a_kyoto_2_46->n71_a_kyoto_2_47 n71_a_kyoto_2_49 NP-SBJ n71_a_kyoto_2_48->n71_a_kyoto_2_49 n71_a_kyoto_2_61 VAG;__ n71_a_kyoto_2_48->n71_a_kyoto_2_61 n71_a_kyoto_2_63 ADVP-NIM n71_a_kyoto_2_48->n71_a_kyoto_2_63 n71_a_kyoto_2_66 PP-NIM n71_a_kyoto_2_48->n71_a_kyoto_2_66 n71_a_kyoto_2_50 ADJP n71_a_kyoto_2_49->n71_a_kyoto_2_50 n71_a_kyoto_2_59 NS n71_a_kyoto_2_49->n71_a_kyoto_2_59 n71_a_kyoto_2_51 ADJR n71_a_kyoto_2_50->n71_a_kyoto_2_51 n71_a_kyoto_2_53 PP n71_a_kyoto_2_50->n71_a_kyoto_2_53 n71_a_kyoto_2_51->n71_a_kyoto_2_52 n71_a_kyoto_2_54 P-ROLE n71_a_kyoto_2_53->n71_a_kyoto_2_54 n71_a_kyoto_2_56 NP n71_a_kyoto_2_53->n71_a_kyoto_2_56 n71_a_kyoto_2_54->n71_a_kyoto_2_55 n71_a_kyoto_2_57 NUM n71_a_kyoto_2_56->n71_a_kyoto_2_57 n71_a_kyoto_2_57->n71_a_kyoto_2_58 n71_a_kyoto_2_59->n71_a_kyoto_2_60 n71_a_kyoto_2_61->n71_a_kyoto_2_62 n71_a_kyoto_2_64 ADV n71_a_kyoto_2_63->n71_a_kyoto_2_64 n71_a_kyoto_2_64->n71_a_kyoto_2_65 n71_a_kyoto_2_67 P-ROLE n71_a_kyoto_2_66->n71_a_kyoto_2_67 n71_a_kyoto_2_69 NP n71_a_kyoto_2_66->n71_a_kyoto_2_69 n71_a_kyoto_2_67->n71_a_kyoto_2_68 n71_a_kyoto_2_70 NUM n71_a_kyoto_2_69->n71_a_kyoto_2_70 n71_a_kyoto_2_72 N n71_a_kyoto_2_69->n71_a_kyoto_2_72 n71_a_kyoto_2_70->n71_a_kyoto_2_71 n71_a_kyoto_2_72->n71_a_kyoto_2_73 n71_a_kyoto_2_74->n71_a_kyoto_2_75 
( (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))