TSPC 6_a_kyoto

6_a_kyoto_3
By saying a prayer (Shomyo nenbutsu) to the Buddha (Namu Amida Butsu, Namo Amida Butsu by Hongan-ji School), practitioners can believe in the mercy of Amida Nyorai (hereinafter called “Nyorai”), and trust in Tariki (Buddha's power), which makes everyone, including the bad, go to Jodo (Pure Land) after death and become Buddha.

arc(r_0006_0001__By, r_0006_0002__saying, restriction).
arc(r_0006_0001__By, r_0006_0026__can, scope).
arc(r_0006_0002__saying, r_0006_0003__a_r_0006_0004__prayer, arg1).
arc(r_0006_0002__saying, r_0006_0010__the_r_0006_0011__Buddha, r_0006_0009__to_clr26).
arc(r_0006_0002__saying, r_0006_0025__practitioners, arg0).
arc(r_0006_0017__Namo_r_0006_0018__Amida_r_0006_0019__Butsu, r_0006_0021__Hongan__hyphen__ji_r_0006_0022__School, r_0006_0020__by).
arc(r_0006_0026__can, r_0006_0042__and, scope).
arc(r_0006_0027__believe, r_0006_0025__practitioners, arg0).
arc(r_0006_0027__believe, r_0006_0029__the_r_0006_0030__mercy, r_0006_0028__in_clr76).
arc(r_0006_0029__the_r_0006_0030__mercy, r_0006_0032__Amida_r_0006_0033__Nyorai, r_0006_0031__of).
arc(r_0006_0036__called, r_0006_0032__Amida_r_0006_0033__Nyorai, arg1).
arc(r_0006_0036__called, r_0006_0035__hereinafter, nim94).
arc(r_0006_0036__called, r_0006_0038__Nyorai, prd).
arc(r_0006_0036__called, z_000_6_a_kyoto_3_92, arg0).
arc(r_0006_0042__and, r_0006_0027__believe, conj1).
arc(r_0006_0042__and, r_0006_0043__trust, conj2).
arc(r_0006_0043__trust, r_0006_0025__practitioners, arg0).
arc(r_0006_0043__trust, r_0006_0045__Tariki, r_0006_0044__in_clr119).
arc(r_0006_0049__power, r_0006_0047__Buddha_r_0006_0048___apos_s, gen).
arc(r_0006_0053__makes, r_0006_0045__Tariki, arg0).
arc(r_0006_0053__makes, r_0006_0069__and, prd).
arc(r_0006_0053__makes, z_000_6_a_kyoto_3_143, arg1).
arc(r_0006_0054__everyone_quant, r_0006_0053__makes, scope).
arc(r_0006_0054__everyone_quant, z_000_6_a_kyoto_3_143, restriction).
arc(r_0006_0057__the, r_0006_0058__bad, attrib154).
arc(r_0006_0060__go, r_0006_0062__Jodo, r_0006_0061__to_clr167).
arc(r_0006_0060__go, r_0006_0068__death, r_0006_0067__after_nim183).
arc(r_0006_0060__go, x_000_6_a_kyoto_3_159, arg0).
arc(r_0006_0069__and, r_0006_0060__go, conj1).
arc(r_0006_0069__and, r_0006_0070__become, conj2).
arc(r_0006_0070__become, r_0006_0071__Buddha, prd).
arc(r_0006_0070__become, x_000_6_a_kyoto_3_159, arg0).
arc(z_000_6_a_kyoto_3_124, r_0006_0045__Tariki, arg0).
arc(z_000_6_a_kyoto_3_124, r_0006_0049__power, prd).
arc(z_000_6_a_kyoto_3_143, r_0006_0057__the, r_0006_0056__including).
arc(z_000_6_a_kyoto_3_15, r_0006_0003__a_r_0006_0004__prayer, arg0).
arc(z_000_6_a_kyoto_3_15, r_0006_0006__Shomyo_r_0006_0007__nenbutsu, prd).
arc(z_000_6_a_kyoto_3_172, r_0006_0062__Jodo, arg0).
arc(z_000_6_a_kyoto_3_172, r_0006_0064__Pure_r_0006_0065__Land, prd).
arc(z_000_6_a_kyoto_3_33, r_0006_0010__the_r_0006_0011__Buddha, arg0).
arc(z_000_6_a_kyoto_3_33, r_0006_0013__Namu_r_0006_0014__Amida_r_0006_0015__Butsu, prd).
arc(z_000_6_a_kyoto_3_43, r_0006_0013__Namu_r_0006_0014__Amida_r_0006_0015__Butsu, arg0).
arc(z_000_6_a_kyoto_3_43, r_0006_0017__Namo_r_0006_0018__Amida_r_0006_0019__Butsu, prd).

fof(formula,axiom,
    ? [R_0006_0003__A_R_0006_0004__PRAYER,R_0006_0010__THE_R_0006_0011__BUDDHA,R_0006_0025__PRACTITIONERS,R_0006_0002__SAYING,R_0006_0032__AMIDA_R_0006_0033__NYORAI,R_0006_0029__THE_R_0006_0030__MERCY,R_0006_0027__BELIEVE,R_0006_0045__TARIKI,R_0006_0043__TRUST,R_0006_0042__AND,R_0006_0026__CAN,R_0006_0001__BY,R_0006_0035__HEREINAFTER,R_0006_0038__NYORAI,Z_000_6_A_KYOTO_3_92,R_0006_0036__CALLED,R_0006_0047__BUDDHA_R_0006_0048___APOS_S,R_0006_0049__POWER,Z_000_6_A_KYOTO_3_124,R_0006_0006__SHOMYO_R_0006_0007__NENBUTSU,Z_000_6_A_KYOTO_3_15,R_0006_0062__JODO,R_0006_0064__PURE_R_0006_0065__LAND,Z_000_6_A_KYOTO_3_172,R_0006_0013__NAMU_R_0006_0014__AMIDA_R_0006_0015__BUTSU,Z_000_6_A_KYOTO_3_33,R_0006_0021__HONGAN__HYPHEN__JI_R_0006_0022__SCHOOL,R_0006_0017__NAMO_R_0006_0018__AMIDA_R_0006_0019__BUTSU,Z_000_6_A_KYOTO_3_43] :
      ( r_0006_0003__a_r_0006_0004__prayer(R_0006_0003__A_R_0006_0004__PRAYER)
      & r_0006_0006__Shomyo_r_0006_0007__nenbutsu(R_0006_0006__SHOMYO_R_0006_0007__NENBUTSU)
      & r_0006_0010__the_r_0006_0011__Buddha(R_0006_0010__THE_R_0006_0011__BUDDHA)
      & r_0006_0013__Namu_r_0006_0014__Amida_r_0006_0015__Butsu(R_0006_0013__NAMU_R_0006_0014__AMIDA_R_0006_0015__BUTSU)
      & r_0006_0021__Hongan__hyphen__ji_r_0006_0022__School(R_0006_0021__HONGAN__HYPHEN__JI_R_0006_0022__SCHOOL)
      & r_0006_0025__practitioners(R_0006_0025__PRACTITIONERS)
      & r_0006_0032__Amida_r_0006_0033__Nyorai(R_0006_0032__AMIDA_R_0006_0033__NYORAI)
      & r_0006_0035__hereinafter(R_0006_0035__HEREINAFTER)
      & r_0006_0038__Nyorai(R_0006_0038__NYORAI)
      & r_0006_0045__Tariki(R_0006_0045__TARIKI)
      & r_0006_0047__Buddha_r_0006_0048___apos_s(R_0006_0047__BUDDHA_R_0006_0048___APOS_S)
      & r_0006_0062__Jodo(R_0006_0062__JODO)
      & r_0006_0064__Pure_r_0006_0065__Land(R_0006_0064__PURE_R_0006_0065__LAND)
      & z_000_6_a_kyoto_3_92(Z_000_6_A_KYOTO_3_92)
      & z_000_6_a_kyoto_3_43(Z_000_6_A_KYOTO_3_43)
      & has_prd(Z_000_6_A_KYOTO_3_43,R_0006_0017__NAMO_R_0006_0018__AMIDA_R_0006_0019__BUTSU)
      & r_0006_0017__Namo_r_0006_0018__Amida_r_0006_0019__Butsu(R_0006_0017__NAMO_R_0006_0018__AMIDA_R_0006_0019__BUTSU)
      & has_r_0006_0020__by(R_0006_0017__NAMO_R_0006_0018__AMIDA_R_0006_0019__BUTSU,R_0006_0021__HONGAN__HYPHEN__JI_R_0006_0022__SCHOOL)
      & has_arg0(Z_000_6_A_KYOTO_3_43,R_0006_0013__NAMU_R_0006_0014__AMIDA_R_0006_0015__BUTSU)
      & z_000_6_a_kyoto_3_33(Z_000_6_A_KYOTO_3_33)
      & has_prd(Z_000_6_A_KYOTO_3_33,R_0006_0013__NAMU_R_0006_0014__AMIDA_R_0006_0015__BUTSU)
      & has_arg0(Z_000_6_A_KYOTO_3_33,R_0006_0010__THE_R_0006_0011__BUDDHA)
      & z_000_6_a_kyoto_3_172(Z_000_6_A_KYOTO_3_172)
      & has_prd(Z_000_6_A_KYOTO_3_172,R_0006_0064__PURE_R_0006_0065__LAND)
      & has_arg0(Z_000_6_A_KYOTO_3_172,R_0006_0062__JODO)
      & z_000_6_a_kyoto_3_15(Z_000_6_A_KYOTO_3_15)
      & has_prd(Z_000_6_A_KYOTO_3_15,R_0006_0006__SHOMYO_R_0006_0007__NENBUTSU)
      & has_arg0(Z_000_6_A_KYOTO_3_15,R_0006_0003__A_R_0006_0004__PRAYER)
      & z_000_6_a_kyoto_3_124(Z_000_6_A_KYOTO_3_124)
      & has_prd(Z_000_6_A_KYOTO_3_124,R_0006_0049__POWER)
      & r_0006_0049__power(R_0006_0049__POWER)
      & has_gen(R_0006_0049__POWER,R_0006_0047__BUDDHA_R_0006_0048___APOS_S)
      & has_arg0(Z_000_6_A_KYOTO_3_124,R_0006_0045__TARIKI)
      & ! [Z_000_6_A_KYOTO_3_143,R_0006_0058__BAD,R_0006_0057__THE] :
          ( ( r_0006_0058__bad(R_0006_0058__BAD)
            & z_000_6_a_kyoto_3_143(Z_000_6_A_KYOTO_3_143)
            & has_r_0006_0056__including(Z_000_6_A_KYOTO_3_143,R_0006_0057__THE)
            & r_0006_0057__the(R_0006_0057__THE)
            & has_attrib154(R_0006_0057__THE,R_0006_0058__BAD) )
         => ? [R_0006_0068__DEATH,X_000_6_A_KYOTO_3_159,R_0006_0060__GO,R_0006_0071__BUDDHA,R_0006_0070__BECOME,R_0006_0069__AND,R_0006_0053__MAKES] :
              ( r_0006_0068__death(R_0006_0068__DEATH)
              & r_0006_0071__Buddha(R_0006_0071__BUDDHA)
              & x_000_6_a_kyoto_3_159(X_000_6_A_KYOTO_3_159)
              & r_0006_0053__makes(R_0006_0053__MAKES)
              & has_arg1(R_0006_0053__MAKES,Z_000_6_A_KYOTO_3_143)
              & has_prd(R_0006_0053__MAKES,R_0006_0069__AND)
              & r_0006_0069__and(R_0006_0069__AND)
              & has_conj2(R_0006_0069__AND,R_0006_0070__BECOME)
              & r_0006_0070__become(R_0006_0070__BECOME)
              & has_arg0(R_0006_0070__BECOME,X_000_6_A_KYOTO_3_159)
              & has_prd(R_0006_0070__BECOME,R_0006_0071__BUDDHA)
              & has_conj1(R_0006_0069__AND,R_0006_0060__GO)
              & r_0006_0060__go(R_0006_0060__GO)
              & has_arg0(R_0006_0060__GO,X_000_6_A_KYOTO_3_159)
              & has_r_0006_0067__after_nim183(R_0006_0060__GO,R_0006_0068__DEATH)
              & has_r_0006_0061__to_clr167(R_0006_0060__GO,R_0006_0062__JODO)
              & has_arg0(R_0006_0053__MAKES,R_0006_0045__TARIKI) ) )
      & r_0006_0036__called(R_0006_0036__CALLED)
      & has_arg0(R_0006_0036__CALLED,Z_000_6_A_KYOTO_3_92)
      & has_prd(R_0006_0036__CALLED,R_0006_0038__NYORAI)
      & has_nim94(R_0006_0036__CALLED,R_0006_0035__HEREINAFTER)
      & has_arg1(R_0006_0036__CALLED,R_0006_0032__AMIDA_R_0006_0033__NYORAI)
      & r_0006_0001__By(R_0006_0001__BY)
      & has_conj2(R_0006_0001__BY,R_0006_0026__CAN)
      & r_0006_0026__can(R_0006_0026__CAN)
      & has_keep_scope(R_0006_0026__CAN,R_0006_0042__AND)
      & r_0006_0042__and(R_0006_0042__AND)
      & has_conj2(R_0006_0042__AND,R_0006_0043__TRUST)
      & r_0006_0043__trust(R_0006_0043__TRUST)
      & has_r_0006_0044__in_clr119(R_0006_0043__TRUST,R_0006_0045__TARIKI)
      & has_arg0(R_0006_0043__TRUST,R_0006_0025__PRACTITIONERS)
      & has_conj1(R_0006_0042__AND,R_0006_0027__BELIEVE)
      & r_0006_0027__believe(R_0006_0027__BELIEVE)
      & has_r_0006_0028__in_clr76(R_0006_0027__BELIEVE,R_0006_0029__THE_R_0006_0030__MERCY)
      & r_0006_0029__the_r_0006_0030__mercy(R_0006_0029__THE_R_0006_0030__MERCY)
      & has_r_0006_0031__of(R_0006_0029__THE_R_0006_0030__MERCY,R_0006_0032__AMIDA_R_0006_0033__NYORAI)
      & has_arg0(R_0006_0027__BELIEVE,R_0006_0025__PRACTITIONERS)
      & has_conj1(R_0006_0001__BY,R_0006_0002__SAYING)
      & r_0006_0002__saying(R_0006_0002__SAYING)
      & has_arg0(R_0006_0002__SAYING,R_0006_0025__PRACTITIONERS)
      & has_r_0006_0009__to_clr26(R_0006_0002__SAYING,R_0006_0010__THE_R_0006_0011__BUDDHA)
      & has_arg1(R_0006_0002__SAYING,R_0006_0003__A_R_0006_0004__PRAYER) ) ).

( (IP-MAT (PP-SCON (P-CONN By;{by})
                   (IP-PPL2 (VAG;_Tn.pr_ saying;{say[to]})
                            (NP-OB1 (D a;{a})
                                    (N prayer;{prayer})
                                    (PULB -LRB-)
                                    (IP-PPL (NP-PRD (NPR Shomyo;{Shomyo})
                                                    (NPR nenbutsu;{nenbutsu})))
                                    (PURB -RRB-))
                            (PP-CLR (P-ROLE to;{to})
                                    (NP (D the;{the})
                                        (NPR Buddha;{Buddha})
                                        (PULB -LRB-)
                                        (IP-PPL (NP-PRD (NPR Namu;{Namu})
                                                        (NPR Amida;{Amida})
                                                        (NPR Butsu;{Butsu})
                                                        (PUNC ,)
                                                        (IP-PPL (NP-PRD (NPR Namo;{Namo})
                                                                        (NPR Amida;{Amida})
                                                                        (NPR Butsu;{Butsu})
                                                                        (PP (P-ROLE by;{by})
                                                                            (NP (NPR Hongan_<hyphen>_ji;{Hongan_ji})
                                                                                (NPR School;{School})))))))
                                        (PURB -RRB-)))))
          (PUNC ,)
          (NP-SBJ (NS practitioners;{practitioner}))
          (MD;_cat_Vi_ can;{can})
          (IP-INF-CAT (ILYR (ILYR (VB;_Ipr_ believe;{believe[in]})
                                  (PP-CLR (P-ROLE in;{in})
                                          (NP (D the;{the})
                                              (N mercy;{mercy})
                                              (PP (P-ROLE of;{of})
                                                  (NP (NPR Amida;{Amida})
                                                      (NPR Nyorai;{Nyorai})
                                                      (PULB -LRB-)
                                                      (IP-PPL (NP-LGS *)
                                                              (ADVP-NIM (ADV hereinafter;{hereinafter}))
                                                              (VVN;_Cn.n_ called;{call})
                                                              (PULQ <ldquo>)
                                                              (NP-PRD (NPR Nyorai;{Nyorai}))
                                                              (PURQ <rdquo>))
                                                      (PURB -RRB-))))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;_Ipr_ trust;{trust[in]})
                                         (PP-CLR (P-ROLE in;{in})
                                                 (NP (NPR Tariki;{Tariki})
                                                     (PULB -LRB-)
                                                     (IP-PPL (NP-PRD (NP-GEN (NPR Buddha;{Buddha})
                                                                             (GENM <apos>s))
                                                                     (N power;{power})))
                                                     (PURB -RRB-)
                                                     (PUNC ,)
                                                     (IP-REL (NP-SBJ (RPRO which;{which}))
                                                             (VBP;_Cn.i_ makes;{make})
                                                             (NP-OB1 (Q;_nphd_ everyone;{everyone})
                                                                     (PUNC ,)
                                                                     (PP (P-ROLE including;{including})
                                                                         (NP (D the;{the})
                                                                             (ADJP (ADJ bad;{bad})))))
                                                             (PUNC ,)
                                                             (IP-INF-PRD (ILYR (ILYR (VB;_Ipr_ go;{go[to]})
                                                                                     (PP-CLR (P-ROLE to;{to})
                                                                                             (NP (N Jodo;{jodo})
                                                                                                 (PULB -LRB-)
                                                                                                 (IP-PPL (NP-PRD (NPR Pure;{Pure})
                                                                                                                 (NPR Land;{Land})))
                                                                                                 (PURB -RRB-)))
                                                                                     (PP-NIM (P-ROLE after;{after})
                                                                                             (NP (N death;{death}))))
                                                                               (CONJP (CONJ and;{and})
                                                                                      (ILYR (VB;_Ln_ become;{become})
                                                                                            (NP-PRD (NPR Buddha;{Buddha})))))))))))))
          (PUNC .))
  (ID 6_a_kyoto_3;BDS_00003;6))