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.

( (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 (ADVP-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-)
                  (PRN (NP (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))

arc(r_0013_0003__the_r_0013_0004__idea,r_0013_0020__and,emb).
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_r_0013_0014__to,scope).
arc(r_0013_0013__offered_r_0013_0014__to,r_0013_0007__the_r_0013_0008__vow,arg1).
arc(r_0013_0013__offered_r_0013_0014__to,r_0013_0015__us,arg2).
arc(r_0013_0013__offered_r_0013_0014__to,r_0013_0018__this_r_0013_0019__moment,r_0013_0016__even_r_0013_0017__at__nim).
arc(r_0013_0013__offered_r_0013_0014__to,z_0013_5007___star_,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_0015__us,arg1).
arc(r_0013_0023__saved,z_0013_5012___star_,arg0).
arc(r_0013_0029__was,r_0013_0001__Generally,nim).
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,r_0013_0031__by_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,nim).
arc(r_0013_0039__corrected,z_0013_5023___star_,arg0).
arc(z_0013_5016,r_0013_0003__the_r_0013_0004__idea,arg0).
arc(z_0013_5016,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_0013_5007___STAR_,R_0013_0012__IS_R_0013_0013__OFFERED_R_0013_0014__TO,Z_0013_5012___STAR_,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_0013_5016,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_0013_5023___STAR_,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_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_0013_5007___star_(Z_0013_5007___STAR_)
      & z_0013_5012___star_(Z_0013_5012___STAR_)
      & z_0013_5023___star_(Z_0013_5023___STAR_)
      & 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_0013_5023___STAR_)
      & has_nim(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_emb(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_0013_5012___STAR_)
      & has_arg1(R_0013_0022__ARE_R_0013_0023__SAVED,R_0013_0015__US)
      & has_conj1(R_0013_0020__AND,R_0013_0012__IS_R_0013_0013__OFFERED_R_0013_0014__TO)
      & r_0013_0012__is_r_0013_0013__offered_r_0013_0014__to(R_0013_0012__IS_R_0013_0013__OFFERED_R_0013_0014__TO)
      & has_arg0(R_0013_0012__IS_R_0013_0013__OFFERED_R_0013_0014__TO,Z_0013_5007___STAR_)
      & has_r_0013_0016__even_r_0013_0017__at__nim(R_0013_0012__IS_R_0013_0013__OFFERED_R_0013_0014__TO,R_0013_0018__THIS_R_0013_0019__MOMENT)
      & has_arg2(R_0013_0012__IS_R_0013_0013__OFFERED_R_0013_0014__TO,R_0013_0015__US)
      & has_arg1(R_0013_0012__IS_R_0013_0013__OFFERED_R_0013_0014__TO,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_r_0013_0031__by_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_nim(R_0013_0029__WAS,R_0013_0001__GENERALLY)
      & z_0013_5016(Z_0013_5016)
      & has_prd(Z_0013_5016,R_0013_0026__GENSHO_R_0013_0027__SHOJOJU)
      & has_arg0(Z_0013_5016,R_0013_0003__THE_R_0013_0004__IDEA) ) ).