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

fof(formula,axiom,
    ? [R_0009_0001__THIS,R_0009_0009__INFINITE_R_0009_0010__LIFE_R_0009_0011__SUTRA,R_0009_0005__FORTY__HYPHEN__EIGHT_R_0009_0006__VOWS,Z_000_9_A_KYOTO_3_8,R_0009_0002__IS_R_0009_0003__BASED,R_0009_0019__THE_R_0009_0020__EIGHTEENTH_R_0009_0021__VOW,R_0009_0028__O_APOS_HONGAN,Z_000_9_A_KYOTO_3_68,R_0009_0026__CALLED,R_0009_0013__BUSSETSU_R_0009_0014__MURYOJUKYO,Z_000_9_A_KYOTO_3_34,R_0009_0018__ESPECIALLY,Z_000_9_A_KYOTO_3_46,R_0009_0023__SENJAKU_R_0009_0024__HONGAN,Z_000_9_A_KYOTO_3_59] :
      ( 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_0019__the_r_0009_0020__Eighteenth_r_0009_0021__Vow(R_0009_0019__THE_R_0009_0020__EIGHTEENTH_R_0009_0021__VOW)
      & 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_000_9_a_kyoto_3_68(Z_000_9_A_KYOTO_3_68)
      & z_000_9_a_kyoto_3_8(Z_000_9_A_KYOTO_3_8)
      & z_000_9_a_kyoto_3_59(Z_000_9_A_KYOTO_3_59)
      & has_prd(Z_000_9_A_KYOTO_3_59,R_0009_0023__SENJAKU_R_0009_0024__HONGAN)
      & has_arg0(Z_000_9_A_KYOTO_3_59,R_0009_0019__THE_R_0009_0020__EIGHTEENTH_R_0009_0021__VOW)
      & z_000_9_a_kyoto_3_46(Z_000_9_A_KYOTO_3_46)
      & has_prd(Z_000_9_A_KYOTO_3_46,R_0009_0019__THE_R_0009_0020__EIGHTEENTH_R_0009_0021__VOW)
      & has_nim47(Z_000_9_A_KYOTO_3_46,R_0009_0018__ESPECIALLY)
      & has_arg0(Z_000_9_A_KYOTO_3_46,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_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_000_9_a_kyoto_3_34(Z_000_9_A_KYOTO_3_34)
      & has_prd(Z_000_9_A_KYOTO_3_34,R_0009_0013__BUSSETSU_R_0009_0014__MURYOJUKYO)
      & has_arg0(Z_000_9_A_KYOTO_3_34,R_0009_0009__INFINITE_R_0009_0010__LIFE_R_0009_0011__SUTRA)
      & r_0009_0026__called(R_0009_0026__CALLED)
      & has_arg0(R_0009_0026__CALLED,Z_000_9_A_KYOTO_3_68)
      & has_prd(R_0009_0026__CALLED,R_0009_0028__O_APOS_HONGAN)
      & has_arg1(R_0009_0026__CALLED,R_0009_0019__THE_R_0009_0020__EIGHTEENTH_R_0009_0021__VOW)
      & 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_000_9_A_KYOTO_3_8)
      & has_r_0009_0004__on_clr15(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) ) ).

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