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_0005__to_r_0061_0006__bring to bring r_0061_0011__Japan Japan r_0061_0005__to_r_0061_0006__bring->r_0061_0011__Japan to [nim] 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_0003__the_r_0061_0004__first the first r_0061_0005__to_r_0061_0006__bring->r_0061_0003__the_r_0061_0004__first [arg0] r_0061_0002__was was r_0061_0002__was->r_0061_0003__the_r_0061_0004__first [prd] r_0061_0001__Eisai Eisai r_0061_0002__was->r_0061_0001__Eisai [arg0] 
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__1_1_1_1 Eisai n61_a_kyoto_2__1_2_1 was n61_a_kyoto_2__1_3_1_1 the n61_a_kyoto_2__1_3_2_1 first n61_a_kyoto_2__1_3_3_1_1 *T* n61_a_kyoto_2__1_3_3_2_1 to n61_a_kyoto_2__1_3_3_3_1 bring n61_a_kyoto_2__1_3_3_4_1_1 the n61_a_kyoto_2__1_3_3_4_2_1 Zen n61_a_kyoto_2__1_3_3_4_3_1 tradition n61_a_kyoto_2__1_3_3_5_1_1 to n61_a_kyoto_2__1_3_3_5_2_1_1 Japan n61_a_kyoto_2__1_4_1 . n61_a_kyoto_2__1 IP-MAT n61_a_kyoto_2__1_1 NP-SBJ n61_a_kyoto_2__1->n61_a_kyoto_2__1_1 n61_a_kyoto_2__1_2 BED;_Ln_ n61_a_kyoto_2__1->n61_a_kyoto_2__1_2 n61_a_kyoto_2__1_3 NP-PRD n61_a_kyoto_2__1->n61_a_kyoto_2__1_3 n61_a_kyoto_2__1_4 PUNC n61_a_kyoto_2__1->n61_a_kyoto_2__1_4 n61_a_kyoto_2__1_1_1 NPR n61_a_kyoto_2__1_1->n61_a_kyoto_2__1_1_1 n61_a_kyoto_2__1_1_1->n61_a_kyoto_2__1_1_1_1 n61_a_kyoto_2__1_2->n61_a_kyoto_2__1_2_1 n61_a_kyoto_2__1_3_1 D n61_a_kyoto_2__1_3->n61_a_kyoto_2__1_3_1 n61_a_kyoto_2__1_3_2 NUM n61_a_kyoto_2__1_3->n61_a_kyoto_2__1_3_2 n61_a_kyoto_2__1_3_3 IP-INF-REL n61_a_kyoto_2__1_3->n61_a_kyoto_2__1_3_3 n61_a_kyoto_2__1_3_1->n61_a_kyoto_2__1_3_1_1 n61_a_kyoto_2__1_3_2->n61_a_kyoto_2__1_3_2_1 n61_a_kyoto_2__1_3_3_1 NP-SBJ n61_a_kyoto_2__1_3_3->n61_a_kyoto_2__1_3_3_1 n61_a_kyoto_2__1_3_3_2 TO n61_a_kyoto_2__1_3_3->n61_a_kyoto_2__1_3_3_2 n61_a_kyoto_2__1_3_3_3 VB;__ n61_a_kyoto_2__1_3_3->n61_a_kyoto_2__1_3_3_3 n61_a_kyoto_2__1_3_3_4 NP-OB1 n61_a_kyoto_2__1_3_3->n61_a_kyoto_2__1_3_3_4 n61_a_kyoto_2__1_3_3_5 PP-NIM n61_a_kyoto_2__1_3_3->n61_a_kyoto_2__1_3_3_5 n61_a_kyoto_2__1_3_3_1->n61_a_kyoto_2__1_3_3_1_1 n61_a_kyoto_2__1_3_3_2->n61_a_kyoto_2__1_3_3_2_1 n61_a_kyoto_2__1_3_3_3->n61_a_kyoto_2__1_3_3_3_1 n61_a_kyoto_2__1_3_3_4_1 D n61_a_kyoto_2__1_3_3_4->n61_a_kyoto_2__1_3_3_4_1 n61_a_kyoto_2__1_3_3_4_2 NPR n61_a_kyoto_2__1_3_3_4->n61_a_kyoto_2__1_3_3_4_2 n61_a_kyoto_2__1_3_3_4_3 N n61_a_kyoto_2__1_3_3_4->n61_a_kyoto_2__1_3_3_4_3 n61_a_kyoto_2__1_3_3_4_1->n61_a_kyoto_2__1_3_3_4_1_1 n61_a_kyoto_2__1_3_3_4_2->n61_a_kyoto_2__1_3_3_4_2_1 n61_a_kyoto_2__1_3_3_4_3->n61_a_kyoto_2__1_3_3_4_3_1 n61_a_kyoto_2__1_3_3_5_1 P-ROLE n61_a_kyoto_2__1_3_3_5->n61_a_kyoto_2__1_3_3_5_1 n61_a_kyoto_2__1_3_3_5_2 NP n61_a_kyoto_2__1_3_3_5->n61_a_kyoto_2__1_3_3_5_2 n61_a_kyoto_2__1_3_3_5_1->n61_a_kyoto_2__1_3_3_5_1_1 n61_a_kyoto_2__1_3_3_5_2_1 NPR n61_a_kyoto_2__1_3_3_5_2->n61_a_kyoto_2__1_3_3_5_2_1 n61_a_kyoto_2__1_3_3_5_2_1->n61_a_kyoto_2__1_3_3_5_2_1_1 n61_a_kyoto_2__1_4->n61_a_kyoto_2__1_4_1 
( (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))