TSPC 61_a_kyoto

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

( (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))

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_0006__bring,r_0061_0003__the_r_0061_0004__first,inv_arg0).
arc(r_0061_0006__bring,r_0061_0007__the_r_0061_0008__Zen_r_0061_0009__tradition,arg1).
arc(r_0061_0006__bring,r_0061_0011__Japan,r_0061_0010__to__nim).

fof(formula,axiom,
    ? [R_0061_0001__EISAI,R_0061_0007__THE_R_0061_0008__ZEN_R_0061_0009__TRADITION,R_0061_0011__JAPAN,R_0061_0006__BRING,R_0061_0003__THE_R_0061_0004__FIRST,R_0061_0002__WAS] :
      ( r_0061_0001__Eisai(R_0061_0001__EISAI)
      & r_0061_0007__the_r_0061_0008__Zen_r_0061_0009__tradition(R_0061_0007__THE_R_0061_0008__ZEN_R_0061_0009__TRADITION)
      & r_0061_0011__Japan(R_0061_0011__JAPAN)
      & r_0061_0002__was(R_0061_0002__WAS)
      & has_prd(R_0061_0002__WAS,R_0061_0003__THE_R_0061_0004__FIRST)
      & r_0061_0003__the_r_0061_0004__first(R_0061_0003__THE_R_0061_0004__FIRST)
      & has_inv_arg0(R_0061_0003__THE_R_0061_0004__FIRST,R_0061_0006__BRING)
      & r_0061_0006__bring(R_0061_0006__BRING)
      & has_r_0061_0010__to__nim(R_0061_0006__BRING,R_0061_0011__JAPAN)
      & has_arg1(R_0061_0006__BRING,R_0061_0007__THE_R_0061_0008__ZEN_R_0061_0009__TRADITION)
      & has_arg0(R_0061_0002__WAS,R_0061_0001__EISAI) ) ).