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_7_8_IS_CALLED,Z_7_A_KYOTO_3_24,R_7_4_THE_DOCTRINE,R_7_7_SHINSHU,R_7_2_THIS,Z_7_A_KYOTO_3_37,R_7_11_SHINJIN_SHOIN,R_7_14_SHOMYO_HO_HYPHEN_ON] :
      ( shinshu(R_7_7_SHINSHU)
      & this(R_7_2_THIS)
      & shinjin_Shoin(R_7_11_SHINJIN_SHOIN)
      & shomyo_Ho_hyphen_on(R_7_14_SHOMYO_HO_HYPHEN_ON)
      & is_called(R_7_8_IS_CALLED,Z_7_A_KYOTO_3_24,R_7_4_THE_DOCTRINE,R_7_11_SHINJIN_SHOIN)
      & the_doctrine(R_7_4_THE_DOCTRINE)
      & of(R_7_4_THE_DOCTRINE,R_7_7_SHINSHU)
      & through_nim5(R_7_8_IS_CALLED,R_7_2_THIS)
      & z_7_a_kyoto_3_37(Z_7_A_KYOTO_3_37,R_7_11_SHINJIN_SHOIN,R_7_14_SHOMYO_HO_HYPHEN_ON) ) ).

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