TSPC 13_a_kyoto

13_a_kyoto_3
Generally, the idea “that the vow of Amida Nyorai is offered to us even at this moment and we are saved” (Gensho shojoju) was misunderstood by a number of people, and repeatedly corrected.

arc(r_0013_0003__the_r_0013_0004__idea, r_0013_0020__and, emb15).
arc(r_0013_0007__the_r_0013_0008__vow, r_0013_0010__Amida_r_0013_0011__Nyorai, r_0013_0009__of).
arc(r_0013_0012__is, r_0013_0013__offered, scope).
arc(r_0013_0013__offered, r_0013_0007__the_r_0013_0008__vow, arg1).
arc(r_0013_0013__offered, r_0013_0015__us, arg2).
arc(r_0013_0013__offered, r_0013_0018__this_r_0013_0019__moment, r_0013_0016__even_r_0013_0017__at_nim51).
arc(r_0013_0013__offered, z_000_13_a_kyoto_3_36, arg0).
arc(r_0013_0020__and, r_0013_0012__is, conj1).
arc(r_0013_0020__and, r_0013_0022__are, conj2).
arc(r_0013_0022__are, r_0013_0023__saved, scope).
arc(r_0013_0023__saved, r_0013_0021__we, arg1).
arc(r_0013_0023__saved, z_000_13_a_kyoto_3_66, arg0).
arc(r_0013_0029__was, r_0013_0001__Generally, nim2).
arc(r_0013_0029__was, r_0013_0037__and, scope).
arc(r_0013_0030__misunderstood, r_0013_0003__the_r_0013_0004__idea, arg1).
arc(r_0013_0030__misunderstood, r_0013_0032__a_r_0013_0033__number, arg0).
arc(r_0013_0032__a_r_0013_0033__number, r_0013_0035__people, r_0013_0034__of).
arc(r_0013_0037__and, r_0013_0030__misunderstood, conj1).
arc(r_0013_0037__and, r_0013_0039__corrected, conj2).
arc(r_0013_0039__corrected, r_0013_0003__the_r_0013_0004__idea, arg1).
arc(r_0013_0039__corrected, r_0013_0038__repeatedly, nim111).
arc(r_0013_0039__corrected, z_000_13_a_kyoto_3_109, arg0).
arc(z_000_13_a_kyoto_3_74, r_0013_0003__the_r_0013_0004__idea, arg0).
arc(z_000_13_a_kyoto_3_74, r_0013_0026__Gensho_r_0013_0027__shojoju, prd).

fof(formula,axiom,
    ? [R_13_1_GENERALLY,Z_13_A_KYOTO_3_74,R_13_3_THE_IDEA,R_13_20_AND,R_13_12_IS_OFFERED,Z_13_A_KYOTO_3_36,R_13_7_THE_VOW,R_13_10_AMIDA_NYORAI,R_13_15_US,R_13_18_THIS_MOMENT,R_13_22_ARE_SAVED,Z_13_A_KYOTO_3_66,R_13_21_WE,R_13_26_GENSHO_SHOJOJU] :
      ( generally(R_13_1_GENERALLY)
      & amida_Nyorai(R_13_10_AMIDA_NYORAI)
      & us(R_13_15_US)
      & this_moment(R_13_18_THIS_MOMENT)
      & we(R_13_21_WE)
      & gensho_shojoju(R_13_26_GENSHO_SHOJOJU)
      & ? [R_13_37_AND,R_13_30_MISUNDERSTOOD,R_13_32_A_NUMBER,R_13_35_PEOPLE,R_13_39_CORRECTED,Z_13_A_KYOTO_3_109,R_13_38_REPEATEDLY] :
          ( people(R_13_35_PEOPLE)
          & repeatedly(R_13_38_REPEATEDLY)
          & and(R_13_37_AND)
          & conj1(R_13_37_AND,R_13_30_MISUNDERSTOOD)
          & misunderstood(R_13_30_MISUNDERSTOOD,R_13_32_A_NUMBER,R_13_3_THE_IDEA)
          & a_number(R_13_32_A_NUMBER)
          & of(R_13_32_A_NUMBER,R_13_35_PEOPLE)
          & conj2(R_13_37_AND,R_13_39_CORRECTED)
          & corrected(R_13_39_CORRECTED,Z_13_A_KYOTO_3_109,R_13_3_THE_IDEA)
          & nim111(R_13_39_CORRECTED,R_13_38_REPEATEDLY) )
      & z_13_a_kyoto_3_74(Z_13_A_KYOTO_3_74,R_13_3_THE_IDEA,R_13_26_GENSHO_SHOJOJU)
      & the_idea(R_13_3_THE_IDEA)
      & emb15(R_13_3_THE_IDEA,R_13_20_AND)
      & and(R_13_20_AND)
      & conj1(R_13_20_AND,R_13_12_IS_OFFERED)
      & is_offered(R_13_12_IS_OFFERED,Z_13_A_KYOTO_3_36,R_13_7_THE_VOW,R_13_15_US)
      & the_vow(R_13_7_THE_VOW)
      & of(R_13_7_THE_VOW,R_13_10_AMIDA_NYORAI)
      & even_at_nim51(R_13_12_IS_OFFERED,R_13_18_THIS_MOMENT)
      & conj2(R_13_20_AND,R_13_22_ARE_SAVED)
      & are_saved(R_13_22_ARE_SAVED,Z_13_A_KYOTO_3_66,R_13_21_WE) ) ).

( (IP-MAT (ADVP-NIM (ADV Generally;{generally}))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (N idea;{idea})
                  (PULQ <ldquo>)
                  (CP-THT (IP-SUB (C that;{that})
                                  (ILYR (ILYR (NP-SBJ (D the;{the})
                                                      (N vow;{vow})
                                                      (PP (P-ROLE of;{of})
                                                          (NP (NPR Amida;{Amida})
                                                              (NPR Nyorai;{Nyorai}))))
                                              (BEP;_cat_VePASS_ is;{be})
                                              (IP-PPL-CAT (NP-LGS *)
                                                          (VVN;_Dn.pr_ offered;{offer[to]})
                                                          (PP-OB2 (P-ROLE to;{to})
                                                                  (NP;{PEOPLE} (PRO us;{we})))
                                                          (PP-NIM (ADV even;{even})
                                                                  (P-ROLE at;{at})
                                                                  (NP (D this;{this})
                                                                      (N moment;{moment})))))
                                        (CONJP (CONJ and;{and})
                                               (ILYR (NP-SBJ;{PEOPLE} (PRO we;{we}))
                                                     (BEP;_cat_VePASS_ are;{be})
                                                     (IP-PPL-CAT (NP-LGS *)
                                                                 (VVN;_Tn_ saved;{save})))))))
                  (PURQ <rdquo>)
                  (PULB -LRB-)
                  (IP-PPL (NP-PRD (NPR Gensho;{Gensho})
                                  (NPR shojoju;{shojoju})))
                  (PURB -RRB-))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (ILYR (ILYR (VVN;_Tn_ misunderstood;{misunderstand})
                                  (PP-LGS (P-ROLE;_lgs_ by;{by})
                                          (NP (D a;{a})
                                              (N number;{number})
                                              (PP (P-ROLE of;{of})
                                                  (NP (NS people;{people}))))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (NP-LGS *)
                                         (ADVP-NIM (ADV repeatedly;{repeatedly}))
                                         (VVN;_Tn_ corrected;{correct})))))
          (PUNC .))
  (ID 13_a_kyoto_3;BDS_00003;17))