TSPC 15_a_kyoto

15_a_kyoto_1
He was born in Akahama, Bicchu Province (present-day Soja City, Okayama Prefecture), in 1420.

( (IP-MAT (NP-SBJ;{SESSHU} (PRO He;{he}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ born;{bear})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (NPR Akahama;{Akahama})
                                  (PUNC ,)
                                  (NPR Bicchu;{Bicchu})
                                  (NPR Province;{Province})
                                  (PULB -LRB-)
                                  (PRN (NP (ADJP (ADJ present_<hyphen>_day;{present_day}))
                                           (NPR Soja;{Soja})
                                           (NPR City;{City})
                                           (PUNC ,)
                                           (NPR Okayama;{Okayama})
                                           (NPR Prefecture;{Prefecture})))
                                  (PURB -RRB-)))
                      (PUNC ,)
                      (PP-NIM (P-ROLE in;{in})
                              (NP (NPR 1420))))
          (PUNC .))
  (ID 15_a_kyoto_1;BDS_00001;15))

arc(r_0015_0002__was,r_0015_0003__born,scope).
arc(r_0015_0003__born,r_0015_0001__He,arg1).
arc(r_0015_0003__born,r_0015_0005__Akahama_r_0015_0007__Bicchu_r_0015_0008__Province,r_0015_0004__in__nim).
arc(r_0015_0003__born,r_0015_0019__1420,r_0015_0018__in__nim).
arc(r_0015_0003__born,z_0015_5005___star_,arg0).
arc(r_0015_0011__Soja_r_0015_0012__City_r_0015_0014__Okayama_r_0015_0015__Prefecture,r_0015_0010__present__hyphen__day,attrib).
arc(z_0015_5003,r_0015_0005__Akahama_r_0015_0007__Bicchu_r_0015_0008__Province,arg0).
arc(z_0015_5003,r_0015_0011__Soja_r_0015_0012__City_r_0015_0014__Okayama_r_0015_0015__Prefecture,prd).

fof(formula,axiom,
    ? [R_0015_0001__HE,R_0015_0005__AKAHAMA_R_0015_0007__BICCHU_R_0015_0008__PROVINCE,R_0015_0019__1420,Z_0015_5005___STAR_,R_0015_0002__WAS_R_0015_0003__BORN,R_0015_0010__PRESENT__HYPHEN__DAY,R_0015_0011__SOJA_R_0015_0012__CITY_R_0015_0014__OKAYAMA_R_0015_0015__PREFECTURE,Z_0015_5003] :
      ( r_0015_0001__He(R_0015_0001__HE)
      & r_0015_0005__Akahama_r_0015_0007__Bicchu_r_0015_0008__Province(R_0015_0005__AKAHAMA_R_0015_0007__BICCHU_R_0015_0008__PROVINCE)
      & r_0015_0010__present__hyphen__day(R_0015_0010__PRESENT__HYPHEN__DAY)
      & r_0015_0019__1420(R_0015_0019__1420)
      & z_0015_5005___star_(Z_0015_5005___STAR_)
      & z_0015_5003(Z_0015_5003)
      & has_prd(Z_0015_5003,R_0015_0011__SOJA_R_0015_0012__CITY_R_0015_0014__OKAYAMA_R_0015_0015__PREFECTURE)
      & r_0015_0011__Soja_r_0015_0012__City_r_0015_0014__Okayama_r_0015_0015__Prefecture(R_0015_0011__SOJA_R_0015_0012__CITY_R_0015_0014__OKAYAMA_R_0015_0015__PREFECTURE)
      & has_attrib(R_0015_0011__SOJA_R_0015_0012__CITY_R_0015_0014__OKAYAMA_R_0015_0015__PREFECTURE,R_0015_0010__PRESENT__HYPHEN__DAY)
      & has_arg0(Z_0015_5003,R_0015_0005__AKAHAMA_R_0015_0007__BICCHU_R_0015_0008__PROVINCE)
      & r_0015_0002__was_r_0015_0003__born(R_0015_0002__WAS_R_0015_0003__BORN)
      & has_arg0(R_0015_0002__WAS_R_0015_0003__BORN,Z_0015_5005___STAR_)
      & has_r_0015_0018__in__nim(R_0015_0002__WAS_R_0015_0003__BORN,R_0015_0019__1420)
      & has_r_0015_0004__in__nim(R_0015_0002__WAS_R_0015_0003__BORN,R_0015_0005__AKAHAMA_R_0015_0007__BICCHU_R_0015_0008__PROVINCE)
      & has_arg1(R_0015_0002__WAS_R_0015_0003__BORN,R_0015_0001__HE) ) ).