Context                Previous, Next                Top


9_a_kyoto_3
This is based on Forty-eight Vows of “Infinite Life Sutra (Bussetsu Muryojukyo)”, especially the Eighteenth Vow (Senjaku Hongan) called “O'Hongan.

%3 r_0009_0002__is is r_0009_0003__based based r_0009_0002__is->r_0009_0003__based [scope] r_0009_0001__This This r_0009_0003__based->r_0009_0001__This [arg1] r_0009_0005__Forty__hyphen__eight_r_0009_0006__Vows Forty-eight Vows r_0009_0003__based->r_0009_0005__Forty__hyphen__eight_r_0009_0006__Vows on [clr] z_000_9_a_kyoto_3_8 r_0009_0003__based->z_000_9_a_kyoto_3_8 [arg0] r_0009_0009__Infinite_r_0009_0010__Life_r_0009_0011__Sutra Infinite Life Sutra r_0009_0005__Forty__hyphen__eight_r_0009_0006__Vows->r_0009_0009__Infinite_r_0009_0010__Life_r_0009_0011__Sutra of r_0009_0026__called called r_0009_0019__the_r_0009_0020__Eighteenth_r_0009_0021__Vow the Eighteenth Vow r_0009_0026__called->r_0009_0019__the_r_0009_0020__Eighteenth_r_0009_0021__Vow [arg1] r_0009_0028__O_apos_Hongan O'Hongan r_0009_0026__called->r_0009_0028__O_apos_Hongan [prd] z_000_9_a_kyoto_3_68 r_0009_0026__called->z_000_9_a_kyoto_3_68 [arg0] z_000_9_a_kyoto_3_34 z_000_9_a_kyoto_3_34->r_0009_0009__Infinite_r_0009_0010__Life_r_0009_0011__Sutra [arg0] r_0009_0013__Bussetsu_r_0009_0014__Muryojukyo Bussetsu Muryojukyo z_000_9_a_kyoto_3_34->r_0009_0013__Bussetsu_r_0009_0014__Muryojukyo [prd] z_000_9_a_kyoto_3_46 z_000_9_a_kyoto_3_46->r_0009_0005__Forty__hyphen__eight_r_0009_0006__Vows [arg0] z_000_9_a_kyoto_3_46->r_0009_0019__the_r_0009_0020__Eighteenth_r_0009_0021__Vow [prd] r_0009_0018__especially especially z_000_9_a_kyoto_3_46->r_0009_0018__especially [nim] z_000_9_a_kyoto_3_59 z_000_9_a_kyoto_3_59->r_0009_0019__the_r_0009_0020__Eighteenth_r_0009_0021__Vow [arg0] r_0009_0023__Senjaku_r_0009_0024__Hongan Senjaku Hongan z_000_9_a_kyoto_3_59->r_0009_0023__Senjaku_r_0009_0024__Hongan [prd] 
arc(r_0009_0002__is, r_0009_0003__based, scope).
arc(r_0009_0003__based, r_0009_0001__This, arg1).
arc(r_0009_0003__based, r_0009_0005__Forty__hyphen__eight_r_0009_0006__Vows, r_0009_0004__on_clr15).
arc(r_0009_0003__based, z_000_9_a_kyoto_3_8, arg0).
arc(r_0009_0005__Forty__hyphen__eight_r_0009_0006__Vows, r_0009_0009__Infinite_r_0009_0010__Life_r_0009_0011__Sutra, r_0009_0007__of).
arc(r_0009_0026__called, r_0009_0019__the_r_0009_0020__Eighteenth_r_0009_0021__Vow, arg1).
arc(r_0009_0026__called, r_0009_0028__O_apos_Hongan, prd).
arc(r_0009_0026__called, z_000_9_a_kyoto_3_68, arg0).
arc(z_000_9_a_kyoto_3_34, r_0009_0009__Infinite_r_0009_0010__Life_r_0009_0011__Sutra, arg0).
arc(z_000_9_a_kyoto_3_34, r_0009_0013__Bussetsu_r_0009_0014__Muryojukyo, prd).
arc(z_000_9_a_kyoto_3_46, r_0009_0005__Forty__hyphen__eight_r_0009_0006__Vows, arg0).
arc(z_000_9_a_kyoto_3_46, r_0009_0018__especially, nim47).
arc(z_000_9_a_kyoto_3_46, r_0009_0019__the_r_0009_0020__Eighteenth_r_0009_0021__Vow, prd).
arc(z_000_9_a_kyoto_3_59, r_0009_0019__the_r_0009_0020__Eighteenth_r_0009_0021__Vow, arg0).
arc(z_000_9_a_kyoto_3_59, r_0009_0023__Senjaku_r_0009_0024__Hongan, prd).


%3 r_0009_0002__is_r_0009_0003__based is based r_0009_0001__This This r_0009_0002__is_r_0009_0003__based->r_0009_0001__This [arg1] r_0009_0005__Forty__hyphen__eight_r_0009_0006__Vows Forty-eight Vows r_0009_0002__is_r_0009_0003__based->r_0009_0005__Forty__hyphen__eight_r_0009_0006__Vows on [clr] z_000_9_a_kyoto_3_8 r_0009_0002__is_r_0009_0003__based->z_000_9_a_kyoto_3_8 [arg0] r_0009_0009__Infinite_r_0009_0010__Life_r_0009_0011__Sutra Infinite Life Sutra r_0009_0005__Forty__hyphen__eight_r_0009_0006__Vows->r_0009_0009__Infinite_r_0009_0010__Life_r_0009_0011__Sutra of r_0009_0026__called called r_0009_0019__the_r_0009_0020__Eighteenth_r_0009_0021__Vow the Eighteenth Vow r_0009_0026__called->r_0009_0019__the_r_0009_0020__Eighteenth_r_0009_0021__Vow [arg1] r_0009_0028__O_apos_Hongan O'Hongan r_0009_0026__called->r_0009_0028__O_apos_Hongan [prd] z_000_9_a_kyoto_3_68 r_0009_0026__called->z_000_9_a_kyoto_3_68 [arg0] z_000_9_a_kyoto_3_34 z_000_9_a_kyoto_3_34->r_0009_0009__Infinite_r_0009_0010__Life_r_0009_0011__Sutra [arg0] r_0009_0013__Bussetsu_r_0009_0014__Muryojukyo Bussetsu Muryojukyo z_000_9_a_kyoto_3_34->r_0009_0013__Bussetsu_r_0009_0014__Muryojukyo [prd] z_000_9_a_kyoto_3_46 z_000_9_a_kyoto_3_46->r_0009_0005__Forty__hyphen__eight_r_0009_0006__Vows [arg0] z_000_9_a_kyoto_3_46->r_0009_0019__the_r_0009_0020__Eighteenth_r_0009_0021__Vow [prd] r_0009_0018__especially especially z_000_9_a_kyoto_3_46->r_0009_0018__especially [nim] z_000_9_a_kyoto_3_59 z_000_9_a_kyoto_3_59->r_0009_0019__the_r_0009_0020__Eighteenth_r_0009_0021__Vow [arg0] r_0009_0023__Senjaku_r_0009_0024__Hongan Senjaku Hongan z_000_9_a_kyoto_3_59->r_0009_0023__Senjaku_r_0009_0024__Hongan [prd] 
fof(formula,axiom,
    ? [R_9_2_IS_BASED,Z_9_A_KYOTO_3_8,R_9_1_THIS,R_9_26_CALLED,Z_9_A_KYOTO_3_68,R_9_28_O_APOS_HONGAN,Z_9_A_KYOTO_3_34,R_9_13_BUSSETSU_MURYOJUKYO,Z_9_A_KYOTO_3_46,R_9_5_FORTY_HYPHEN_EIGHT_VOWS,R_9_9_INFINITE_LIFE_SUTRA,R_9_18_ESPECIALLY,Z_9_A_KYOTO_3_59,R_9_19_THE_EIGHTEENTH_VOW,R_9_23_SENJAKU_HONGAN] :
      ( this(R_9_1_THIS)
      & o_apos_Hongan(R_9_28_O_APOS_HONGAN)
      & bussetsu_Muryojukyo(R_9_13_BUSSETSU_MURYOJUKYO)
      & infinite_Life_Sutra(R_9_9_INFINITE_LIFE_SUTRA)
      & especially(R_9_18_ESPECIALLY)
      & the_Eighteenth_Vow(R_9_19_THE_EIGHTEENTH_VOW)
      & senjaku_Hongan(R_9_23_SENJAKU_HONGAN)
      & is_based(R_9_2_IS_BASED,Z_9_A_KYOTO_3_8,R_9_1_THIS)
      & on_clr15(R_9_2_IS_BASED,R_9_5_FORTY_HYPHEN_EIGHT_VOWS)
      & forty_hyphen_eight_Vows(R_9_5_FORTY_HYPHEN_EIGHT_VOWS)
      & of(R_9_5_FORTY_HYPHEN_EIGHT_VOWS,R_9_9_INFINITE_LIFE_SUTRA)
      & called(R_9_26_CALLED,Z_9_A_KYOTO_3_68,R_9_19_THE_EIGHTEENTH_VOW,R_9_28_O_APOS_HONGAN)
      & z_9_a_kyoto_3_34(Z_9_A_KYOTO_3_34,R_9_9_INFINITE_LIFE_SUTRA,R_9_13_BUSSETSU_MURYOJUKYO)
      & z_9_a_kyoto_3_46(Z_9_A_KYOTO_3_46,R_9_5_FORTY_HYPHEN_EIGHT_VOWS,R_9_19_THE_EIGHTEENTH_VOW)
      & nim47(Z_9_A_KYOTO_3_46,R_9_18_ESPECIALLY)
      & z_9_a_kyoto_3_59(Z_9_A_KYOTO_3_59,R_9_19_THE_EIGHTEENTH_VOW,R_9_23_SENJAKU_HONGAN) ) ).


n9_a_kyoto_3 n9_a_kyoto_3_4 This n9_a_kyoto_3_6 is n9_a_kyoto_3_9 * n9_a_kyoto_3_11 based n9_a_kyoto_3_14 on n9_a_kyoto_3_17 Forty-eight n9_a_kyoto_3_19 Vows n9_a_kyoto_3_22 of n9_a_kyoto_3_25 <ldquo> n9_a_kyoto_3_27 Infinite n9_a_kyoto_3_29 Life n9_a_kyoto_3_31 Sutra n9_a_kyoto_3_33 -LRB- n9_a_kyoto_3_37 Bussetsu n9_a_kyoto_3_39 Muryojukyo n9_a_kyoto_3_41 -RRB- n9_a_kyoto_3_43 <rdquo> n9_a_kyoto_3_45 , n9_a_kyoto_3_49 especially n9_a_kyoto_3_52 the n9_a_kyoto_3_54 Eighteenth n9_a_kyoto_3_56 Vow n9_a_kyoto_3_58 -LRB- n9_a_kyoto_3_62 Senjaku n9_a_kyoto_3_64 Hongan n9_a_kyoto_3_66 -RRB- n9_a_kyoto_3_69 * n9_a_kyoto_3_71 called n9_a_kyoto_3_73 <ldquo> n9_a_kyoto_3_76 O'Hongan n9_a_kyoto_3_78 . n9_a_kyoto_3_1 IP-MAT n9_a_kyoto_3_2 NP-SBJ n9_a_kyoto_3_1->n9_a_kyoto_3_2 n9_a_kyoto_3_5 BEP;_cat_VePASS_ n9_a_kyoto_3_1->n9_a_kyoto_3_5 n9_a_kyoto_3_7 IP-PPL-CAT n9_a_kyoto_3_1->n9_a_kyoto_3_7 n9_a_kyoto_3_77 PUNC n9_a_kyoto_3_1->n9_a_kyoto_3_77 n9_a_kyoto_3_3 D;_nphd_ n9_a_kyoto_3_2->n9_a_kyoto_3_3 n9_a_kyoto_3_3->n9_a_kyoto_3_4 n9_a_kyoto_3_5->n9_a_kyoto_3_6 n9_a_kyoto_3_8 NP-LGS n9_a_kyoto_3_7->n9_a_kyoto_3_8 n9_a_kyoto_3_10 VVN;_phr_Vn.pr_ n9_a_kyoto_3_7->n9_a_kyoto_3_10 n9_a_kyoto_3_12 PP-CLR n9_a_kyoto_3_7->n9_a_kyoto_3_12 n9_a_kyoto_3_8->n9_a_kyoto_3_9 n9_a_kyoto_3_10->n9_a_kyoto_3_11 n9_a_kyoto_3_13 P-ROLE n9_a_kyoto_3_12->n9_a_kyoto_3_13 n9_a_kyoto_3_15 NP n9_a_kyoto_3_12->n9_a_kyoto_3_15 n9_a_kyoto_3_13->n9_a_kyoto_3_14 n9_a_kyoto_3_16 NUM n9_a_kyoto_3_15->n9_a_kyoto_3_16 n9_a_kyoto_3_18 NS n9_a_kyoto_3_15->n9_a_kyoto_3_18 n9_a_kyoto_3_20 PP n9_a_kyoto_3_15->n9_a_kyoto_3_20 n9_a_kyoto_3_44 PUNC n9_a_kyoto_3_15->n9_a_kyoto_3_44 n9_a_kyoto_3_46 IP-PPL n9_a_kyoto_3_15->n9_a_kyoto_3_46 n9_a_kyoto_3_16->n9_a_kyoto_3_17 n9_a_kyoto_3_18->n9_a_kyoto_3_19 n9_a_kyoto_3_21 P-ROLE n9_a_kyoto_3_20->n9_a_kyoto_3_21 n9_a_kyoto_3_23 NP n9_a_kyoto_3_20->n9_a_kyoto_3_23 n9_a_kyoto_3_21->n9_a_kyoto_3_22 n9_a_kyoto_3_24 PULQ n9_a_kyoto_3_23->n9_a_kyoto_3_24 n9_a_kyoto_3_26 NPR n9_a_kyoto_3_23->n9_a_kyoto_3_26 n9_a_kyoto_3_28 NPR n9_a_kyoto_3_23->n9_a_kyoto_3_28 n9_a_kyoto_3_30 NPR n9_a_kyoto_3_23->n9_a_kyoto_3_30 n9_a_kyoto_3_32 PULB n9_a_kyoto_3_23->n9_a_kyoto_3_32 n9_a_kyoto_3_34 IP-PPL n9_a_kyoto_3_23->n9_a_kyoto_3_34 n9_a_kyoto_3_40 PURB n9_a_kyoto_3_23->n9_a_kyoto_3_40 n9_a_kyoto_3_42 PURQ n9_a_kyoto_3_23->n9_a_kyoto_3_42 n9_a_kyoto_3_24->n9_a_kyoto_3_25 n9_a_kyoto_3_26->n9_a_kyoto_3_27 n9_a_kyoto_3_28->n9_a_kyoto_3_29 n9_a_kyoto_3_30->n9_a_kyoto_3_31 n9_a_kyoto_3_32->n9_a_kyoto_3_33 n9_a_kyoto_3_35 NP-PRD n9_a_kyoto_3_34->n9_a_kyoto_3_35 n9_a_kyoto_3_36 NPR n9_a_kyoto_3_35->n9_a_kyoto_3_36 n9_a_kyoto_3_38 NPR n9_a_kyoto_3_35->n9_a_kyoto_3_38 n9_a_kyoto_3_36->n9_a_kyoto_3_37 n9_a_kyoto_3_38->n9_a_kyoto_3_39 n9_a_kyoto_3_40->n9_a_kyoto_3_41 n9_a_kyoto_3_42->n9_a_kyoto_3_43 n9_a_kyoto_3_44->n9_a_kyoto_3_45 n9_a_kyoto_3_47 ADVP-NIM n9_a_kyoto_3_46->n9_a_kyoto_3_47 n9_a_kyoto_3_50 NP-PRD n9_a_kyoto_3_46->n9_a_kyoto_3_50 n9_a_kyoto_3_48 ADV n9_a_kyoto_3_47->n9_a_kyoto_3_48 n9_a_kyoto_3_48->n9_a_kyoto_3_49 n9_a_kyoto_3_51 D n9_a_kyoto_3_50->n9_a_kyoto_3_51 n9_a_kyoto_3_53 NPR n9_a_kyoto_3_50->n9_a_kyoto_3_53 n9_a_kyoto_3_55 NPR n9_a_kyoto_3_50->n9_a_kyoto_3_55 n9_a_kyoto_3_57 PULB n9_a_kyoto_3_50->n9_a_kyoto_3_57 n9_a_kyoto_3_59 IP-PPL n9_a_kyoto_3_50->n9_a_kyoto_3_59 n9_a_kyoto_3_65 PURB n9_a_kyoto_3_50->n9_a_kyoto_3_65 n9_a_kyoto_3_67 IP-PPL n9_a_kyoto_3_50->n9_a_kyoto_3_67 n9_a_kyoto_3_51->n9_a_kyoto_3_52 n9_a_kyoto_3_53->n9_a_kyoto_3_54 n9_a_kyoto_3_55->n9_a_kyoto_3_56 n9_a_kyoto_3_57->n9_a_kyoto_3_58 n9_a_kyoto_3_60 NP-PRD n9_a_kyoto_3_59->n9_a_kyoto_3_60 n9_a_kyoto_3_61 NPR n9_a_kyoto_3_60->n9_a_kyoto_3_61 n9_a_kyoto_3_63 NPR n9_a_kyoto_3_60->n9_a_kyoto_3_63 n9_a_kyoto_3_61->n9_a_kyoto_3_62 n9_a_kyoto_3_63->n9_a_kyoto_3_64 n9_a_kyoto_3_65->n9_a_kyoto_3_66 n9_a_kyoto_3_68 NP-LGS n9_a_kyoto_3_67->n9_a_kyoto_3_68 n9_a_kyoto_3_70 VVN;_Cn.n_ n9_a_kyoto_3_67->n9_a_kyoto_3_70 n9_a_kyoto_3_72 PULQ n9_a_kyoto_3_67->n9_a_kyoto_3_72 n9_a_kyoto_3_74 NP-PRD n9_a_kyoto_3_67->n9_a_kyoto_3_74 n9_a_kyoto_3_68->n9_a_kyoto_3_69 n9_a_kyoto_3_70->n9_a_kyoto_3_71 n9_a_kyoto_3_72->n9_a_kyoto_3_73 n9_a_kyoto_3_75 NPR n9_a_kyoto_3_74->n9_a_kyoto_3_75 n9_a_kyoto_3_75->n9_a_kyoto_3_76 n9_a_kyoto_3_77->n9_a_kyoto_3_78 
( (IP-MAT (NP-SBJ (D;_nphd_ This;{this}))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_phr_Vn.pr_ based;{base[on]})
                      (PP-CLR (P-ROLE on;{on})
                              (NP (NUM Forty_<hyphen>_eight;{forty_eight})
                                  (NS Vows;{vow})
                                  (PP (P-ROLE of;{of})
                                      (NP (PULQ <ldquo>)
                                          (NPR Infinite;{Infinite})
                                          (NPR Life;{Life})
                                          (NPR Sutra;{Sutra})
                                          (PULB -LRB-)
                                          (IP-PPL (NP-PRD (NPR Bussetsu;{Bussetsu})
                                                          (NPR Muryojukyo;{Muryojukyo})))
                                          (PURB -RRB-)
                                          (PURQ <rdquo>)))
                                  (PUNC ,)
                                  (IP-PPL (ADVP-NIM (ADV especially;{especially}))
                                          (NP-PRD (D the;{the})
                                                  (NPR Eighteenth;{Eighteenth})
                                                  (NPR Vow;{Vow})
                                                  (PULB -LRB-)
                                                  (IP-PPL (NP-PRD (NPR Senjaku;{Senjaku})
                                                                  (NPR Hongan;{Hongan})))
                                                  (PURB -RRB-)
                                                  (IP-PPL (NP-LGS *)
                                                          (VVN;_Cn.n_ called;{call})
                                                          (PULQ <ldquo>)
                                                          (NP-PRD (NPR O<apos>Hongan;{O<apos>Hongan}))))))))
          (PUNC .))
  (ID 9_a_kyoto_3;BDS_00003;13))