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).
( (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 ,)
(PRN (NP (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))
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__nim).
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,r_0007_0023__and,prn).
arc(r_0007_0009__called,z_0007_5019___star_,arg0).
arc(r_0007_0019__makes,r_0007_0004__the_r_0007_0005__doctrine,arg1).
arc(r_0007_0019__makes,r_0007_0018__Faith,arg0).
arc(r_0007_0019__makes,r_0007_0021__happen,prd).
arc(r_0007_0021__happen,z_0007_5007,arg0).
arc(r_0007_0023__and,r_0007_0019__makes,conj1).
arc(r_0007_0023__and,r_0007_0025__is_r_0007_0026__for,conj2).
arc(r_0007_0024__praying,z_0007_5012,arg0).
arc(r_0007_0025__is_r_0007_0026__for,r_0007_0024__praying,arg0).
arc(r_0007_0025__is_r_0007_0026__for,r_0007_0027__gratitude,arg1).
arc(z_0007_5017,r_0007_0011__Shinjin_r_0007_0012__Shoin,arg0).
arc(z_0007_5017,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,R_0007_0018__FAITH,Z_0007_5007,R_0007_0021__HAPPEN,R_0007_0019__MAKES,Z_0007_5012,R_0007_0024__PRAYING,R_0007_0027__GRATITUDE,R_0007_0025__IS_R_0007_0026__FOR,R_0007_0023__AND,Z_0007_5019___STAR_,R_0007_0008__IS_R_0007_0009__CALLED,R_0007_0014__SHOMYO_R_0007_0015__HO__HYPHEN__ON,Z_0007_5017] :
( 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)
& r_0007_0018__Faith(R_0007_0018__FAITH)
& r_0007_0027__gratitude(R_0007_0027__GRATITUDE)
& z_0007_5007(Z_0007_5007)
& z_0007_5012(Z_0007_5012)
& z_0007_5019___star_(Z_0007_5019___STAR_)
& z_0007_5017(Z_0007_5017)
& has_prd(Z_0007_5017,R_0007_0014__SHOMYO_R_0007_0015__HO__HYPHEN__ON)
& has_arg0(Z_0007_5017,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_0007_5019___STAR_)
& has_prn(R_0007_0008__IS_R_0007_0009__CALLED,R_0007_0023__AND)
& r_0007_0023__and(R_0007_0023__AND)
& has_conj2(R_0007_0023__AND,R_0007_0025__IS_R_0007_0026__FOR)
& r_0007_0025__is_r_0007_0026__for(R_0007_0025__IS_R_0007_0026__FOR)
& has_arg1(R_0007_0025__IS_R_0007_0026__FOR,R_0007_0027__GRATITUDE)
& has_arg0(R_0007_0025__IS_R_0007_0026__FOR,R_0007_0024__PRAYING)
& r_0007_0024__praying(R_0007_0024__PRAYING)
& has_arg0(R_0007_0024__PRAYING,Z_0007_5012)
& has_conj1(R_0007_0023__AND,R_0007_0019__MAKES)
& r_0007_0019__makes(R_0007_0019__MAKES)
& has_prd(R_0007_0019__MAKES,R_0007_0021__HAPPEN)
& r_0007_0021__happen(R_0007_0021__HAPPEN)
& has_arg0(R_0007_0021__HAPPEN,Z_0007_5007)
& has_arg0(R_0007_0019__MAKES,R_0007_0018__FAITH)
& has_arg1(R_0007_0019__MAKES,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_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)
& has_r_0007_0001__Through__nim(R_0007_0008__IS_R_0007_0009__CALLED,R_0007_0002__THIS) ) ).