TSPC 8_a_kyoto

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_0008_0001__RENNYO,R_0008_0013__OFUMI,R_0008_0010__STATED,R_0008_0016__FOLLOWS,R_0008_0015__AS,R_0008_0004__8TH,R_0008_0007__HONGAN__HYPHEN__JI_R_0008_0008__TEMPLE,R_0008_0003__THE_R_0008_0005__HEAD__HYPHEN__PRIEST,Z_000_8_A_KYOTO_3_7] :
      ( r_0008_0001__Rennyo(R_0008_0001__RENNYO)
      & r_0008_0004__8th(R_0008_0004__8TH)
      & r_0008_0007__Hongan__hyphen__ji_r_0008_0008__Temple(R_0008_0007__HONGAN__HYPHEN__JI_R_0008_0008__TEMPLE)
      & r_0008_0013__Ofumi(R_0008_0013__OFUMI)
      & r_0008_0016__follows(R_0008_0016__FOLLOWS)
      & z_000_8_a_kyoto_3_7(Z_000_8_A_KYOTO_3_7)
      & has_prd(Z_000_8_A_KYOTO_3_7,R_0008_0003__THE_R_0008_0005__HEAD__HYPHEN__PRIEST)
      & r_0008_0003__the_r_0008_0005__head__hyphen__priest(R_0008_0003__THE_R_0008_0005__HEAD__HYPHEN__PRIEST)
      & has_r_0008_0006__of(R_0008_0003__THE_R_0008_0005__HEAD__HYPHEN__PRIEST,R_0008_0007__HONGAN__HYPHEN__JI_R_0008_0008__TEMPLE)
      & has_attrib11(R_0008_0003__THE_R_0008_0005__HEAD__HYPHEN__PRIEST,R_0008_0004__8TH)
      & has_arg0(Z_000_8_A_KYOTO_3_7,R_0008_0001__RENNYO)
      & r_0008_0015__as(R_0008_0015__AS)
      & has_conj1(R_0008_0015__AS,R_0008_0016__FOLLOWS)
      & has_conj2(R_0008_0015__AS,R_0008_0010__STATED)
      & r_0008_0010__stated(R_0008_0010__STATED)
      & has_r_0008_0011__in_nim31(R_0008_0010__STATED,R_0008_0013__OFUMI)
      & has_arg0(R_0008_0010__STATED,R_0008_0001__RENNYO) ) ).

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