8_a_kyoto_3
Rennyo, the 8th head-priest of Hongan-ji Temple, stated in “Ofumi” as follows.
arc(r_0008_0003__the_r_0008_0005__head__hyphen__priest, r_0008_0004__8th, attrib11).
arc(r_0008_0003__the_r_0008_0005__head__hyphen__priest, r_0008_0007__Hongan__hyphen__ji_r_0008_0008__Temple, r_0008_0006__of).
arc(r_0008_0010__stated, r_0008_0001__Rennyo, arg0).
arc(r_0008_0010__stated, r_0008_0013__Ofumi, r_0008_0011__in_nim31).
arc(r_0008_0015__as, r_0008_0010__stated, scope).
arc(r_0008_0015__as, r_0008_0016__follows, restriction).
arc(z_000_8_a_kyoto_3_7, r_0008_0001__Rennyo, arg0).
arc(z_000_8_a_kyoto_3_7, r_0008_0003__the_r_0008_0005__head__hyphen__priest, prd).
fof(formula,axiom,
? [R_8_15_AS,R_8_16_FOLLOWS,R_8_10_STATED,R_8_13_OFUMI,Z_8_A_KYOTO_3_7,R_8_1_RENNYO,R_8_3_THE_HEAD_HYPHEN_PRIEST,R_8_4_8TH,R_8_7_HONGAN_HYPHEN_JI_TEMPLE] :
( follows(R_8_16_FOLLOWS)
& ofumi(R_8_13_OFUMI)
& rennyo(R_8_1_RENNYO)
& 8th(R_8_4_8TH)
& hongan_hyphen_ji_Temple(R_8_7_HONGAN_HYPHEN_JI_TEMPLE)
& as(R_8_15_AS)
& conj1(R_8_15_AS,R_8_16_FOLLOWS)
& conj2(R_8_15_AS,R_8_10_STATED)
& stated(R_8_10_STATED,R_8_1_RENNYO)
& in_nim31(R_8_10_STATED,R_8_13_OFUMI)
& z_8_a_kyoto_3_7(Z_8_A_KYOTO_3_7,R_8_1_RENNYO,R_8_3_THE_HEAD_HYPHEN_PRIEST)
& the_head_hyphen_priest(R_8_3_THE_HEAD_HYPHEN_PRIEST)
& attrib11(R_8_3_THE_HEAD_HYPHEN_PRIEST,R_8_4_8TH)
& of(R_8_3_THE_HEAD_HYPHEN_PRIEST,R_8_7_HONGAN_HYPHEN_JI_TEMPLE) ) ).
( (IP-MAT (NP-SBJ (NPR Rennyo;{Rennyo})
(PUNC ,)
(IP-PPL (NP-PRD (D the;{the})
(ADJP (ADJ 8th))
(N head_<hyphen>_priest;{head_priest})
(PP (P-ROLE of;{of})
(NP (NPR Hongan_<hyphen>_ji;{Hongan_ji})
(NPR Temple;{Temple}))))))
(PUNC ,)
(VBD;_I_ stated;{state})
(PP-NIM (P-ROLE in;{in})
(NP (PULQ <ldquo>)
(NPR Ofumi;{Ofumi})
(PURQ <rdquo>)))
(PP-SCON (P-CONN as;{as})
(IP-ADV (VBP;_idm_V_ follows;{follow})))
(PUNC .))
(ID 8_a_kyoto_3;BDS_00003;8))