TSPC 7_a_kyoto

7_a_kyoto_3
Through this, the doctrine of Shinshu is called “Shinjin Shoin, Shomyo Ho-on” (Faith makes it happen, and praying is for gratitude).

arc(r_0007_0004__the_r_0007_0005__doctrine, r_0007_0007__Shinshu, r_0007_0006__of).
arc(r_0007_0008__is, r_0007_0002__this, r_0007_0001__Through_nim5).
arc(r_0007_0008__is, r_0007_0009__called, scope).
arc(r_0007_0009__called, r_0007_0004__the_r_0007_0005__doctrine, arg1).
arc(r_0007_0009__called, r_0007_0011__Shinjin_r_0007_0012__Shoin, prd).
arc(r_0007_0009__called, z_000_7_a_kyoto_3_24, arg0).
arc(z_000_7_a_kyoto_3_37, r_0007_0011__Shinjin_r_0007_0012__Shoin, arg0).
arc(z_000_7_a_kyoto_3_37, r_0007_0014__Shomyo_r_0007_0015__Ho__hyphen__on, prd).

fof(formula,axiom,
    ? [R_0007_0002__THIS,R_0007_0007__SHINSHU,R_0007_0004__THE_R_0007_0005__DOCTRINE,R_0007_0011__SHINJIN_R_0007_0012__SHOIN,Z_000_7_A_KYOTO_3_24,R_0007_0008__IS_R_0007_0009__CALLED,R_0007_0014__SHOMYO_R_0007_0015__HO__HYPHEN__ON,Z_000_7_A_KYOTO_3_37] :
      ( r_0007_0002__this(R_0007_0002__THIS)
      & r_0007_0007__Shinshu(R_0007_0007__SHINSHU)
      & r_0007_0011__Shinjin_r_0007_0012__Shoin(R_0007_0011__SHINJIN_R_0007_0012__SHOIN)
      & r_0007_0014__Shomyo_r_0007_0015__Ho__hyphen__on(R_0007_0014__SHOMYO_R_0007_0015__HO__HYPHEN__ON)
      & z_000_7_a_kyoto_3_24(Z_000_7_A_KYOTO_3_24)
      & z_000_7_a_kyoto_3_37(Z_000_7_A_KYOTO_3_37)
      & has_prd(Z_000_7_A_KYOTO_3_37,R_0007_0014__SHOMYO_R_0007_0015__HO__HYPHEN__ON)
      & has_arg0(Z_000_7_A_KYOTO_3_37,R_0007_0011__SHINJIN_R_0007_0012__SHOIN)
      & r_0007_0008__is_r_0007_0009__called(R_0007_0008__IS_R_0007_0009__CALLED)
      & has_arg0(R_0007_0008__IS_R_0007_0009__CALLED,Z_000_7_A_KYOTO_3_24)
      & has_prd(R_0007_0008__IS_R_0007_0009__CALLED,R_0007_0011__SHINJIN_R_0007_0012__SHOIN)
      & has_arg1(R_0007_0008__IS_R_0007_0009__CALLED,R_0007_0004__THE_R_0007_0005__DOCTRINE)
      & r_0007_0004__the_r_0007_0005__doctrine(R_0007_0004__THE_R_0007_0005__DOCTRINE)
      & has_r_0007_0006__of(R_0007_0004__THE_R_0007_0005__DOCTRINE,R_0007_0007__SHINSHU)
      & has_r_0007_0001__Through_nim5(R_0007_0008__IS_R_0007_0009__CALLED,R_0007_0002__THIS) ) ).

( (IP-MAT (PP-NIM (P-ROLE Through;{through})
                  (NP (D;_nphd_ this;{this})))
          (PUNC ,)
          (NP-SBJ;{DOCTRINE} (D the;{the})
                             (N doctrine;{doctrine})
                             (PP (P-ROLE of;{of})
                                 (NP (NPR Shinshu;{Shinshu}))))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Cn.n_ called;{call})
                      (PULQ <ldquo>)
                      (NP-PRD (NPR Shinjin;{Shinjin})
                              (NPR Shoin;{Shoin})
                              (PUNC ,)
                              (IP-PPL (NP-PRD (NPR Shomyo;{Shomyo})
                                              (NPR Ho_<hyphen>_on;{Ho_on}))))
                      (PURQ <rdquo>)
                      (PRN (IP-MAT (ILYR (PULB -LRB-)
                                         (ILYR (NP-SBJ (NPR Faith;{Faith}))
                                               (VBP;_Cn.i_ makes;{make})
                                               (NP-OB1;{DOCTRINE} (PRO it;{it}))
                                               (IP-INF-PRD (VB;_I_ happen;{happen})))
                                         (PUNC ,)
                                         (CONJP (CONJ and;{and})
                                                (ILYR (IP-PPL-SBJ (VAG;_I_ praying;{pray}))
                                                      (BEP;_Ipr_ is;{be[for]})
                                                      (PP-CLR (P-ROLE for;{for})
                                                              (NP (N gratitude;{gratitude})))))
                                         (PURB -RRB-)))))
          (PUNC .))
  (ID 7_a_kyoto_3;BDS_00003;7))