( (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-)
                                          (PRN (NP (NPR Bussetsu;{Bussetsu})
                                                   (NPR Muryojukyo;{Muryojukyo})))
                                          (PURB -RRB-)
                                          (PURQ <rdquo>)))
                                  (PUNC ,)
                                  (ADVP (ADV especially;{especially}))
                                  (PRN (NP (D the;{the})
                                           (NPR Eighteenth;{Eighteenth})
                                           (NPR Vow;{Vow})
                                           (PULB -LRB-)
                                           (PRN (NP (NPR Senjaku;{Senjaku})
                                                    (NPR Hongan;{Hongan})))
                                           (PURB -RRB-)
                                           (IP-PPL (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))

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__clr).
arc(r_0009_0003__based,z_0009_5011___star_,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_0005__Forty__hyphen__eight_r_0009_0006__Vows,r_0009_0018__especially,qual).
arc(r_0009_0026__called,r_0009_0019__the_r_0009_0020__Eighteenth_r_0009_0021__Vow,inv_arg0).
arc(r_0009_0026__called,r_0009_0028__O_apos_Hongan,prd).
arc(z_0009_5003,r_0009_0009__Infinite_r_0009_0010__Life_r_0009_0011__Sutra,arg0).
arc(z_0009_5003,r_0009_0013__Bussetsu_r_0009_0014__Muryojukyo,prd).
arc(z_0009_5006,r_0009_0019__the_r_0009_0020__Eighteenth_r_0009_0021__Vow,arg0).
arc(z_0009_5006,r_0009_0023__Senjaku_r_0009_0024__Hongan,prd).
arc(z_0009_5009,r_0009_0005__Forty__hyphen__eight_r_0009_0006__Vows,arg0).
arc(z_0009_5009,r_0009_0019__the_r_0009_0020__Eighteenth_r_0009_0021__Vow,prd).

fof(formula,axiom,
    ? [R_0009_0001__THIS,R_0009_0009__INFINITE_R_0009_0010__LIFE_R_0009_0011__SUTRA,R_0009_0018__ESPECIALLY,R_0009_0005__FORTY__HYPHEN__EIGHT_R_0009_0006__VOWS,Z_0009_5011___STAR_,R_0009_0002__IS_R_0009_0003__BASED,R_0009_0013__BUSSETSU_R_0009_0014__MURYOJUKYO,Z_0009_5003,R_0009_0028__O_APOS_HONGAN,R_0009_0026__CALLED,R_0009_0019__THE_R_0009_0020__EIGHTEENTH_R_0009_0021__VOW,R_0009_0023__SENJAKU_R_0009_0024__HONGAN,Z_0009_5006,Z_0009_5009] :
      ( r_0009_0001__This(R_0009_0001__THIS)
      & r_0009_0009__Infinite_r_0009_0010__Life_r_0009_0011__Sutra(R_0009_0009__INFINITE_R_0009_0010__LIFE_R_0009_0011__SUTRA)
      & r_0009_0013__Bussetsu_r_0009_0014__Muryojukyo(R_0009_0013__BUSSETSU_R_0009_0014__MURYOJUKYO)
      & r_0009_0018__especially(R_0009_0018__ESPECIALLY)
      & r_0009_0023__Senjaku_r_0009_0024__Hongan(R_0009_0023__SENJAKU_R_0009_0024__HONGAN)
      & r_0009_0028__O_apos_Hongan(R_0009_0028__O_APOS_HONGAN)
      & z_0009_5011___star_(Z_0009_5011___STAR_)
      & z_0009_5009(Z_0009_5009)
      & has_prd(Z_0009_5009,R_0009_0019__THE_R_0009_0020__EIGHTEENTH_R_0009_0021__VOW)
      & r_0009_0019__the_r_0009_0020__Eighteenth_r_0009_0021__Vow(R_0009_0019__THE_R_0009_0020__EIGHTEENTH_R_0009_0021__VOW)
      & has_inv_arg0(R_0009_0019__THE_R_0009_0020__EIGHTEENTH_R_0009_0021__VOW,R_0009_0026__CALLED)
      & r_0009_0026__called(R_0009_0026__CALLED)
      & has_prd(R_0009_0026__CALLED,R_0009_0028__O_APOS_HONGAN)
      & has_arg0(Z_0009_5009,R_0009_0005__FORTY__HYPHEN__EIGHT_R_0009_0006__VOWS)
      & r_0009_0005__Forty__hyphen__eight_r_0009_0006__Vows(R_0009_0005__FORTY__HYPHEN__EIGHT_R_0009_0006__VOWS)
      & has_qual(R_0009_0005__FORTY__HYPHEN__EIGHT_R_0009_0006__VOWS,R_0009_0018__ESPECIALLY)
      & has_r_0009_0007__of(R_0009_0005__FORTY__HYPHEN__EIGHT_R_0009_0006__VOWS,R_0009_0009__INFINITE_R_0009_0010__LIFE_R_0009_0011__SUTRA)
      & z_0009_5006(Z_0009_5006)
      & has_prd(Z_0009_5006,R_0009_0023__SENJAKU_R_0009_0024__HONGAN)
      & has_arg0(Z_0009_5006,R_0009_0019__THE_R_0009_0020__EIGHTEENTH_R_0009_0021__VOW)
      & z_0009_5003(Z_0009_5003)
      & has_prd(Z_0009_5003,R_0009_0013__BUSSETSU_R_0009_0014__MURYOJUKYO)
      & has_arg0(Z_0009_5003,R_0009_0009__INFINITE_R_0009_0010__LIFE_R_0009_0011__SUTRA)
      & r_0009_0002__is_r_0009_0003__based(R_0009_0002__IS_R_0009_0003__BASED)
      & has_arg0(R_0009_0002__IS_R_0009_0003__BASED,Z_0009_5011___STAR_)
      & has_r_0009_0004__on__clr(R_0009_0002__IS_R_0009_0003__BASED,R_0009_0005__FORTY__HYPHEN__EIGHT_R_0009_0006__VOWS)
      & has_arg1(R_0009_0002__IS_R_0009_0003__BASED,R_0009_0001__THIS) ) ).