TSPC 8_a_kyoto

8_a_kyoto_3
Rennyo, the 8th head-priest of Hongan-ji Temple, stated in “Ofumi” as follows.

( (IP-MAT (NP-SBJ (NPR Rennyo;{Rennyo})
                  (PUNC ,)
                  (PRN (NP (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;_Tr_ 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))

arc(r_0008_0003__the_r_0008_0005__head__hyphen__priest,r_0008_0004__8th,attrib).
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__nim).
arc(r_0008_0015__as,r_0008_0010__stated,scope).
arc(r_0008_0015__as,r_0008_0016__follows,restriction).
arc(r_0008_0016__follows,z_0008_5007,arg0).
arc(z_0008_5003,r_0008_0001__Rennyo,arg0).
arc(z_0008_5003,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,Z_0008_5007,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_0008_5003] :
      ( 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)
      & z_0008_5007(Z_0008_5007)
      & z_0008_5003(Z_0008_5003)
      & has_prd(Z_0008_5003,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_attrib(R_0008_0003__THE_R_0008_0005__HEAD__HYPHEN__PRIEST,R_0008_0004__8TH)
      & has_arg0(Z_0008_5003,R_0008_0001__RENNYO)
      & r_0008_0015__as(R_0008_0015__AS)
      & has_conj1(R_0008_0015__AS,R_0008_0016__FOLLOWS)
      & r_0008_0016__follows(R_0008_0016__FOLLOWS)
      & has_arg0(R_0008_0016__FOLLOWS,Z_0008_5007)
      & has_conj2(R_0008_0015__AS,R_0008_0010__STATED)
      & r_0008_0010__stated(R_0008_0010__STATED)
      & has_r_0008_0011__in__nim(R_0008_0010__STATED,R_0008_0013__OFUMI)
      & has_arg0(R_0008_0010__STATED,R_0008_0001__RENNYO) ) ).