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

%3 r_0007_0004__the_r_0007_0005__doctrine the doctrine r_0007_0007__Shinshu Shinshu r_0007_0004__the_r_0007_0005__doctrine->r_0007_0007__Shinshu of r_0007_0008__is is r_0007_0002__this this r_0007_0008__is->r_0007_0002__this Through [nim] r_0007_0009__called called r_0007_0008__is->r_0007_0009__called [scope] r_0007_0009__called->r_0007_0004__the_r_0007_0005__doctrine [arg1] r_0007_0011__Shinjin_r_0007_0012__Shoin Shinjin Shoin r_0007_0009__called->r_0007_0011__Shinjin_r_0007_0012__Shoin [prd] z_000_7_a_kyoto_3_24 r_0007_0009__called->z_000_7_a_kyoto_3_24 [arg0] z_000_7_a_kyoto_3_37 z_000_7_a_kyoto_3_37->r_0007_0011__Shinjin_r_0007_0012__Shoin [arg0] r_0007_0014__Shomyo_r_0007_0015__Ho__hyphen__on Shomyo Ho-on z_000_7_a_kyoto_3_37->r_0007_0014__Shomyo_r_0007_0015__Ho__hyphen__on [prd]
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).



%3 r_0007_0004__the_r_0007_0005__doctrine the doctrine r_0007_0007__Shinshu Shinshu r_0007_0004__the_r_0007_0005__doctrine->r_0007_0007__Shinshu of r_0007_0008__is_r_0007_0009__called is called r_0007_0008__is_r_0007_0009__called->r_0007_0004__the_r_0007_0005__doctrine [arg1] r_0007_0002__this this r_0007_0008__is_r_0007_0009__called->r_0007_0002__this Through [nim] r_0007_0011__Shinjin_r_0007_0012__Shoin Shinjin Shoin r_0007_0008__is_r_0007_0009__called->r_0007_0011__Shinjin_r_0007_0012__Shoin [prd] z_000_7_a_kyoto_3_24 r_0007_0008__is_r_0007_0009__called->z_000_7_a_kyoto_3_24 [arg0] z_000_7_a_kyoto_3_37 z_000_7_a_kyoto_3_37->r_0007_0011__Shinjin_r_0007_0012__Shoin [arg0] r_0007_0014__Shomyo_r_0007_0015__Ho__hyphen__on Shomyo Ho-on 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) ) ).



n7_a_kyoto_3 n7_a_kyoto_3_4 Through n7_a_kyoto_3_7 this n7_a_kyoto_3_9 , n7_a_kyoto_3_12 the n7_a_kyoto_3_14 doctrine n7_a_kyoto_3_17 of n7_a_kyoto_3_20 Shinshu n7_a_kyoto_3_22 is n7_a_kyoto_3_25 * n7_a_kyoto_3_27 called n7_a_kyoto_3_29 <ldquo> n7_a_kyoto_3_32 Shinjin n7_a_kyoto_3_34 Shoin n7_a_kyoto_3_36 , n7_a_kyoto_3_40 Shomyo n7_a_kyoto_3_42 Ho-on n7_a_kyoto_3_44 <rdquo> n7_a_kyoto_3_49 -LRB- n7_a_kyoto_3_53 Faith n7_a_kyoto_3_55 makes n7_a_kyoto_3_58 it n7_a_kyoto_3_61 happen n7_a_kyoto_3_63 , n7_a_kyoto_3_66 and n7_a_kyoto_3_70 praying n7_a_kyoto_3_72 is n7_a_kyoto_3_75 for n7_a_kyoto_3_78 gratitude n7_a_kyoto_3_80 -RRB- n7_a_kyoto_3_82 . n7_a_kyoto_3_1 IP-MAT n7_a_kyoto_3_2 PP-NIM n7_a_kyoto_3_1->n7_a_kyoto_3_2 n7_a_kyoto_3_8 PUNC n7_a_kyoto_3_1->n7_a_kyoto_3_8 n7_a_kyoto_3_10 NP-SBJ n7_a_kyoto_3_1->n7_a_kyoto_3_10 n7_a_kyoto_3_21 BEP;_cat_VePASS_ n7_a_kyoto_3_1->n7_a_kyoto_3_21 n7_a_kyoto_3_23 IP-PPL-CAT n7_a_kyoto_3_1->n7_a_kyoto_3_23 n7_a_kyoto_3_81 PUNC n7_a_kyoto_3_1->n7_a_kyoto_3_81 n7_a_kyoto_3_3 P-ROLE n7_a_kyoto_3_2->n7_a_kyoto_3_3 n7_a_kyoto_3_5 NP n7_a_kyoto_3_2->n7_a_kyoto_3_5 n7_a_kyoto_3_3->n7_a_kyoto_3_4 n7_a_kyoto_3_6 D;_nphd_ n7_a_kyoto_3_5->n7_a_kyoto_3_6 n7_a_kyoto_3_6->n7_a_kyoto_3_7 n7_a_kyoto_3_8->n7_a_kyoto_3_9 n7_a_kyoto_3_11 D n7_a_kyoto_3_10->n7_a_kyoto_3_11 n7_a_kyoto_3_13 N n7_a_kyoto_3_10->n7_a_kyoto_3_13 n7_a_kyoto_3_15 PP n7_a_kyoto_3_10->n7_a_kyoto_3_15 n7_a_kyoto_3_11->n7_a_kyoto_3_12 n7_a_kyoto_3_13->n7_a_kyoto_3_14 n7_a_kyoto_3_16 P-ROLE n7_a_kyoto_3_15->n7_a_kyoto_3_16 n7_a_kyoto_3_18 NP n7_a_kyoto_3_15->n7_a_kyoto_3_18 n7_a_kyoto_3_16->n7_a_kyoto_3_17 n7_a_kyoto_3_19 NPR n7_a_kyoto_3_18->n7_a_kyoto_3_19 n7_a_kyoto_3_19->n7_a_kyoto_3_20 n7_a_kyoto_3_21->n7_a_kyoto_3_22 n7_a_kyoto_3_24 NP-LGS n7_a_kyoto_3_23->n7_a_kyoto_3_24 n7_a_kyoto_3_26 VVN;_Cn.n_ n7_a_kyoto_3_23->n7_a_kyoto_3_26 n7_a_kyoto_3_28 PULQ n7_a_kyoto_3_23->n7_a_kyoto_3_28 n7_a_kyoto_3_30 NP-PRD n7_a_kyoto_3_23->n7_a_kyoto_3_30 n7_a_kyoto_3_43 PURQ n7_a_kyoto_3_23->n7_a_kyoto_3_43 n7_a_kyoto_3_45 PRN n7_a_kyoto_3_23->n7_a_kyoto_3_45 n7_a_kyoto_3_24->n7_a_kyoto_3_25 n7_a_kyoto_3_26->n7_a_kyoto_3_27 n7_a_kyoto_3_28->n7_a_kyoto_3_29 n7_a_kyoto_3_31 NPR n7_a_kyoto_3_30->n7_a_kyoto_3_31 n7_a_kyoto_3_33 NPR n7_a_kyoto_3_30->n7_a_kyoto_3_33 n7_a_kyoto_3_35 PUNC n7_a_kyoto_3_30->n7_a_kyoto_3_35 n7_a_kyoto_3_37 IP-PPL n7_a_kyoto_3_30->n7_a_kyoto_3_37 n7_a_kyoto_3_31->n7_a_kyoto_3_32 n7_a_kyoto_3_33->n7_a_kyoto_3_34 n7_a_kyoto_3_35->n7_a_kyoto_3_36 n7_a_kyoto_3_38 NP-PRD n7_a_kyoto_3_37->n7_a_kyoto_3_38 n7_a_kyoto_3_39 NPR n7_a_kyoto_3_38->n7_a_kyoto_3_39 n7_a_kyoto_3_41 NPR n7_a_kyoto_3_38->n7_a_kyoto_3_41 n7_a_kyoto_3_39->n7_a_kyoto_3_40 n7_a_kyoto_3_41->n7_a_kyoto_3_42 n7_a_kyoto_3_43->n7_a_kyoto_3_44 n7_a_kyoto_3_46 IP-MAT n7_a_kyoto_3_45->n7_a_kyoto_3_46 n7_a_kyoto_3_47 ILYR n7_a_kyoto_3_46->n7_a_kyoto_3_47 n7_a_kyoto_3_48 PULB n7_a_kyoto_3_47->n7_a_kyoto_3_48 n7_a_kyoto_3_50 ILYR n7_a_kyoto_3_47->n7_a_kyoto_3_50 n7_a_kyoto_3_62 PUNC n7_a_kyoto_3_47->n7_a_kyoto_3_62 n7_a_kyoto_3_64 CONJP n7_a_kyoto_3_47->n7_a_kyoto_3_64 n7_a_kyoto_3_79 PURB n7_a_kyoto_3_47->n7_a_kyoto_3_79 n7_a_kyoto_3_48->n7_a_kyoto_3_49 n7_a_kyoto_3_51 NP-SBJ n7_a_kyoto_3_50->n7_a_kyoto_3_51 n7_a_kyoto_3_54 VBP;_Cn.i_ n7_a_kyoto_3_50->n7_a_kyoto_3_54 n7_a_kyoto_3_56 NP-OB1 n7_a_kyoto_3_50->n7_a_kyoto_3_56 n7_a_kyoto_3_59 IP-INF-PRD n7_a_kyoto_3_50->n7_a_kyoto_3_59 n7_a_kyoto_3_52 NPR n7_a_kyoto_3_51->n7_a_kyoto_3_52 n7_a_kyoto_3_52->n7_a_kyoto_3_53 n7_a_kyoto_3_54->n7_a_kyoto_3_55 n7_a_kyoto_3_57 PRO n7_a_kyoto_3_56->n7_a_kyoto_3_57 n7_a_kyoto_3_57->n7_a_kyoto_3_58 n7_a_kyoto_3_60 VB;_I_ n7_a_kyoto_3_59->n7_a_kyoto_3_60 n7_a_kyoto_3_60->n7_a_kyoto_3_61 n7_a_kyoto_3_62->n7_a_kyoto_3_63 n7_a_kyoto_3_65 CONJ n7_a_kyoto_3_64->n7_a_kyoto_3_65 n7_a_kyoto_3_67 ILYR n7_a_kyoto_3_64->n7_a_kyoto_3_67 n7_a_kyoto_3_65->n7_a_kyoto_3_66 n7_a_kyoto_3_68 IP-PPL-SBJ n7_a_kyoto_3_67->n7_a_kyoto_3_68 n7_a_kyoto_3_71 BEP;_Ipr_ n7_a_kyoto_3_67->n7_a_kyoto_3_71 n7_a_kyoto_3_73 PP-CLR n7_a_kyoto_3_67->n7_a_kyoto_3_73 n7_a_kyoto_3_69 VAG;_I_ n7_a_kyoto_3_68->n7_a_kyoto_3_69 n7_a_kyoto_3_69->n7_a_kyoto_3_70 n7_a_kyoto_3_71->n7_a_kyoto_3_72 n7_a_kyoto_3_74 P-ROLE n7_a_kyoto_3_73->n7_a_kyoto_3_74 n7_a_kyoto_3_76 NP n7_a_kyoto_3_73->n7_a_kyoto_3_76 n7_a_kyoto_3_74->n7_a_kyoto_3_75 n7_a_kyoto_3_77 N n7_a_kyoto_3_76->n7_a_kyoto_3_77 n7_a_kyoto_3_77->n7_a_kyoto_3_78 n7_a_kyoto_3_79->n7_a_kyoto_3_80 n7_a_kyoto_3_81->n7_a_kyoto_3_82
( (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))