Context                Previous, Next                Top


61_a_kyoto_2
Eisai was the first to bring the Zen tradition to Japan.

%3 r_0061_0002__was was r_0061_0001__Eisai Eisai r_0061_0002__was->r_0061_0001__Eisai [arg0] r_0061_0003__the_r_0061_0004__first the first r_0061_0002__was->r_0061_0003__the_r_0061_0004__first [prd] r_0061_0005__to_r_0061_0006__bring to bring r_0061_0005__to_r_0061_0006__bring->r_0061_0003__the_r_0061_0004__first [arg0] r_0061_0007__the_r_0061_0008__Zen_r_0061_0009__tradition the Zen tradition r_0061_0005__to_r_0061_0006__bring->r_0061_0007__the_r_0061_0008__Zen_r_0061_0009__tradition [arg1] r_0061_0011__Japan Japan r_0061_0005__to_r_0061_0006__bring->r_0061_0011__Japan to [nim] 
arc(r_0061_0002__was, r_0061_0001__Eisai, arg0).
arc(r_0061_0002__was, r_0061_0003__the_r_0061_0004__first, prd).
arc(r_0061_0005__to_r_0061_0006__bring, r_0061_0003__the_r_0061_0004__first, arg0).
arc(r_0061_0005__to_r_0061_0006__bring, r_0061_0007__the_r_0061_0008__Zen_r_0061_0009__tradition, arg1).
arc(r_0061_0005__to_r_0061_0006__bring, r_0061_0011__Japan, r_0061_0010__to_nim29).


%3 r_0061_0002__was was r_0061_0001__Eisai Eisai r_0061_0002__was->r_0061_0001__Eisai [arg0] r_0061_0003__the_r_0061_0004__first the first r_0061_0002__was->r_0061_0003__the_r_0061_0004__first [prd] r_0061_0005__to_r_0061_0006__bring to bring r_0061_0005__to_r_0061_0006__bring->r_0061_0003__the_r_0061_0004__first [arg0] r_0061_0007__the_r_0061_0008__Zen_r_0061_0009__tradition the Zen tradition r_0061_0005__to_r_0061_0006__bring->r_0061_0007__the_r_0061_0008__Zen_r_0061_0009__tradition [arg1] r_0061_0011__Japan Japan r_0061_0005__to_r_0061_0006__bring->r_0061_0011__Japan to [nim] 
fof(formula,axiom,
    ? [R_61_2_WAS,R_61_1_EISAI,R_61_5_TO_BRING,R_61_3_THE_FIRST,R_61_7_THE_ZEN_TRADITION,R_61_11_JAPAN] :
      ( eisai(R_61_1_EISAI)
      & the_first(R_61_3_THE_FIRST)
      & the_Zen_tradition(R_61_7_THE_ZEN_TRADITION)
      & japan(R_61_11_JAPAN)
      & was(R_61_2_WAS,R_61_1_EISAI,R_61_3_THE_FIRST)
      & to_bring(R_61_5_TO_BRING,R_61_3_THE_FIRST,R_61_7_THE_ZEN_TRADITION)
      & to_nim29(R_61_5_TO_BRING,R_61_11_JAPAN) ) ).


n61_a_kyoto_2 n61_a_kyoto_2_4 Eisai n61_a_kyoto_2_6 was n61_a_kyoto_2_9 the n61_a_kyoto_2_11 first n61_a_kyoto_2_14 *T* n61_a_kyoto_2_16 to n61_a_kyoto_2_18 bring n61_a_kyoto_2_21 the n61_a_kyoto_2_23 Zen n61_a_kyoto_2_25 tradition n61_a_kyoto_2_28 to n61_a_kyoto_2_31 Japan n61_a_kyoto_2_33 . n61_a_kyoto_2_1 IP-MAT n61_a_kyoto_2_2 NP-SBJ n61_a_kyoto_2_1->n61_a_kyoto_2_2 n61_a_kyoto_2_5 BED;_Ln_ n61_a_kyoto_2_1->n61_a_kyoto_2_5 n61_a_kyoto_2_7 NP-PRD n61_a_kyoto_2_1->n61_a_kyoto_2_7 n61_a_kyoto_2_32 PUNC n61_a_kyoto_2_1->n61_a_kyoto_2_32 n61_a_kyoto_2_3 NPR n61_a_kyoto_2_2->n61_a_kyoto_2_3 n61_a_kyoto_2_3->n61_a_kyoto_2_4 n61_a_kyoto_2_5->n61_a_kyoto_2_6 n61_a_kyoto_2_8 D n61_a_kyoto_2_7->n61_a_kyoto_2_8 n61_a_kyoto_2_10 NUM n61_a_kyoto_2_7->n61_a_kyoto_2_10 n61_a_kyoto_2_12 IP-INF-REL n61_a_kyoto_2_7->n61_a_kyoto_2_12 n61_a_kyoto_2_8->n61_a_kyoto_2_9 n61_a_kyoto_2_10->n61_a_kyoto_2_11 n61_a_kyoto_2_13 NP-SBJ n61_a_kyoto_2_12->n61_a_kyoto_2_13 n61_a_kyoto_2_15 TO n61_a_kyoto_2_12->n61_a_kyoto_2_15 n61_a_kyoto_2_17 VB;__ n61_a_kyoto_2_12->n61_a_kyoto_2_17 n61_a_kyoto_2_19 NP-OB1 n61_a_kyoto_2_12->n61_a_kyoto_2_19 n61_a_kyoto_2_26 PP-NIM n61_a_kyoto_2_12->n61_a_kyoto_2_26 n61_a_kyoto_2_13->n61_a_kyoto_2_14 n61_a_kyoto_2_15->n61_a_kyoto_2_16 n61_a_kyoto_2_17->n61_a_kyoto_2_18 n61_a_kyoto_2_20 D n61_a_kyoto_2_19->n61_a_kyoto_2_20 n61_a_kyoto_2_22 NPR n61_a_kyoto_2_19->n61_a_kyoto_2_22 n61_a_kyoto_2_24 N n61_a_kyoto_2_19->n61_a_kyoto_2_24 n61_a_kyoto_2_20->n61_a_kyoto_2_21 n61_a_kyoto_2_22->n61_a_kyoto_2_23 n61_a_kyoto_2_24->n61_a_kyoto_2_25 n61_a_kyoto_2_27 P-ROLE n61_a_kyoto_2_26->n61_a_kyoto_2_27 n61_a_kyoto_2_29 NP n61_a_kyoto_2_26->n61_a_kyoto_2_29 n61_a_kyoto_2_27->n61_a_kyoto_2_28 n61_a_kyoto_2_30 NPR n61_a_kyoto_2_29->n61_a_kyoto_2_30 n61_a_kyoto_2_30->n61_a_kyoto_2_31 n61_a_kyoto_2_32->n61_a_kyoto_2_33 
( (IP-MAT (NP-SBJ (NPR Eisai;{Eisai}))
          (BED;_Ln_ was;{be})
          (NP-PRD (D the;{the})
                  (NUM first;{first})
                  (IP-INF-REL (NP-SBJ *T*)
                              (TO to;{to})
                              (VB;__ bring;{bring})
                              (NP-OB1 (D the;{the})
                                      (NPR Zen;{Zen})
                                      (N tradition;{tradition}))
                              (PP-NIM (P-ROLE to;{to})
                                      (NP (NPR Japan;{Japan})))))
          (PUNC .))
  (ID 61_a_kyoto_2;BDS_00002;60))