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_0013_0010__AMIDA_R_0013_0011__NYORAI,R_0013_0007__THE_R_0013_0008__VOW,R_0013_0015__US,R_0013_0018__THIS_R_0013_0019__MOMENT,Z_000_13_A_KYOTO_3_36,R_0013_0012__IS_R_0013_0013__OFFERED,R_0013_0021__WE,Z_000_13_A_KYOTO_3_66,R_0013_0022__ARE_R_0013_0023__SAVED,R_0013_0020__AND,R_0013_0003__THE_R_0013_0004__IDEA,R_0013_0026__GENSHO_R_0013_0027__SHOJOJU,Z_000_13_A_KYOTO_3_74,R_0013_0001__GENERALLY,R_0013_0035__PEOPLE,R_0013_0032__A_R_0013_0033__NUMBER,R_0013_0030__MISUNDERSTOOD,R_0013_0038__REPEATEDLY,Z_000_13_A_KYOTO_3_109,R_0013_0039__CORRECTED,R_0013_0037__AND,R_0013_0029__WAS] :
      ( r_0013_0001__Generally(R_0013_0001__GENERALLY)
      & r_0013_0010__Amida_r_0013_0011__Nyorai(R_0013_0010__AMIDA_R_0013_0011__NYORAI)
      & r_0013_0015__us(R_0013_0015__US)
      & r_0013_0018__this_r_0013_0019__moment(R_0013_0018__THIS_R_0013_0019__MOMENT)
      & r_0013_0021__we(R_0013_0021__WE)
      & r_0013_0026__Gensho_r_0013_0027__shojoju(R_0013_0026__GENSHO_R_0013_0027__SHOJOJU)
      & r_0013_0035__people(R_0013_0035__PEOPLE)
      & r_0013_0038__repeatedly(R_0013_0038__REPEATEDLY)
      & z_000_13_a_kyoto_3_109(Z_000_13_A_KYOTO_3_109)
      & z_000_13_a_kyoto_3_36(Z_000_13_A_KYOTO_3_36)
      & z_000_13_a_kyoto_3_66(Z_000_13_A_KYOTO_3_66)
      & r_0013_0029__was(R_0013_0029__WAS)
      & has_keep_scope(R_0013_0029__WAS,R_0013_0037__AND)
      & r_0013_0037__and(R_0013_0037__AND)
      & has_conj2(R_0013_0037__AND,R_0013_0039__CORRECTED)
      & r_0013_0039__corrected(R_0013_0039__CORRECTED)
      & has_arg0(R_0013_0039__CORRECTED,Z_000_13_A_KYOTO_3_109)
      & has_nim111(R_0013_0039__CORRECTED,R_0013_0038__REPEATEDLY)
      & has_arg1(R_0013_0039__CORRECTED,R_0013_0003__THE_R_0013_0004__IDEA)
      & r_0013_0003__the_r_0013_0004__idea(R_0013_0003__THE_R_0013_0004__IDEA)
      & has_emb15(R_0013_0003__THE_R_0013_0004__IDEA,R_0013_0020__AND)
      & r_0013_0020__and(R_0013_0020__AND)
      & has_conj2(R_0013_0020__AND,R_0013_0022__ARE_R_0013_0023__SAVED)
      & r_0013_0022__are_r_0013_0023__saved(R_0013_0022__ARE_R_0013_0023__SAVED)
      & has_arg0(R_0013_0022__ARE_R_0013_0023__SAVED,Z_000_13_A_KYOTO_3_66)
      & has_arg1(R_0013_0022__ARE_R_0013_0023__SAVED,R_0013_0021__WE)
      & has_conj1(R_0013_0020__AND,R_0013_0012__IS_R_0013_0013__OFFERED)
      & r_0013_0012__is_r_0013_0013__offered(R_0013_0012__IS_R_0013_0013__OFFERED)
      & has_arg0(R_0013_0012__IS_R_0013_0013__OFFERED,Z_000_13_A_KYOTO_3_36)
      & has_r_0013_0016__even_r_0013_0017__at_nim51(R_0013_0012__IS_R_0013_0013__OFFERED,R_0013_0018__THIS_R_0013_0019__MOMENT)
      & has_arg2(R_0013_0012__IS_R_0013_0013__OFFERED,R_0013_0015__US)
      & has_arg1(R_0013_0012__IS_R_0013_0013__OFFERED,R_0013_0007__THE_R_0013_0008__VOW)
      & r_0013_0007__the_r_0013_0008__vow(R_0013_0007__THE_R_0013_0008__VOW)
      & has_r_0013_0009__of(R_0013_0007__THE_R_0013_0008__VOW,R_0013_0010__AMIDA_R_0013_0011__NYORAI)
      & has_conj1(R_0013_0037__AND,R_0013_0030__MISUNDERSTOOD)
      & r_0013_0030__misunderstood(R_0013_0030__MISUNDERSTOOD)
      & has_arg0(R_0013_0030__MISUNDERSTOOD,R_0013_0032__A_R_0013_0033__NUMBER)
      & r_0013_0032__a_r_0013_0033__number(R_0013_0032__A_R_0013_0033__NUMBER)
      & has_r_0013_0034__of(R_0013_0032__A_R_0013_0033__NUMBER,R_0013_0035__PEOPLE)
      & has_arg1(R_0013_0030__MISUNDERSTOOD,R_0013_0003__THE_R_0013_0004__IDEA)
      & has_nim2(R_0013_0029__WAS,R_0013_0001__GENERALLY)
      & z_000_13_a_kyoto_3_74(Z_000_13_A_KYOTO_3_74)
      & has_prd(Z_000_13_A_KYOTO_3_74,R_0013_0026__GENSHO_R_0013_0027__SHOJOJU)
      & has_arg0(Z_000_13_A_KYOTO_3_74,R_0013_0003__THE_R_0013_0004__IDEA) ) ).

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