TSPC 17_a_kyoto

17_a_kyoto_1
He entered nearby Hofuku-ji Temple (Soja City) while young.

( (IP-MAT (NP-SBJ;{SESSHU} (PRO He;{he}))
          (VBD;_Tn_ entered;{enter})
          (NP-OB1 (ADJP (ADJ nearby;{nearby}))
                  (NPR Hofuku_<hyphen>_ji;{Hofuku_ji})
                  (NPR Temple;{Temple})
                  (PULB -LRB-)
                  (PRN (NP (NPR Soja;{Soja})
                           (NPR City;{City})))
                  (PURB -RRB-))
          (PP-SCON (P-CONN while;{while})
                   (IP-PPL2 (ADJP-PRD (ADJ young;{young}))))
          (PUNC .))
  (ID 17_a_kyoto_1;BDS_00001;17))

arc(r_0017_0002__entered,r_0017_0001__He,arg0).
arc(r_0017_0002__entered,r_0017_0004__Hofuku__hyphen__ji_r_0017_0005__Temple,arg1).
arc(r_0017_0004__Hofuku__hyphen__ji_r_0017_0005__Temple,r_0017_0003__nearby,attrib).
arc(r_0017_0010__while,r_0017_0002__entered,scope).
arc(r_0017_0010__while,z_0017_5006,restriction).
arc(z_0017_5002,r_0017_0004__Hofuku__hyphen__ji_r_0017_0005__Temple,arg0).
arc(z_0017_5002,r_0017_0007__Soja_r_0017_0008__City,prd).
arc(z_0017_5006,r_0017_0001__He,arg0).
arc(z_0017_5006,r_0017_0011__young,prd).

fof(formula,axiom,
    ? [R_0017_0001__HE,R_0017_0003__NEARBY,R_0017_0004__HOFUKU__HYPHEN__JI_R_0017_0005__TEMPLE,R_0017_0002__ENTERED,R_0017_0011__YOUNG,Z_0017_5006,R_0017_0010__WHILE,R_0017_0007__SOJA_R_0017_0008__CITY,Z_0017_5002] :
      ( r_0017_0001__He(R_0017_0001__HE)
      & r_0017_0003__nearby(R_0017_0003__NEARBY)
      & r_0017_0007__Soja_r_0017_0008__City(R_0017_0007__SOJA_R_0017_0008__CITY)
      & r_0017_0011__young(R_0017_0011__YOUNG)
      & z_0017_5002(Z_0017_5002)
      & has_prd(Z_0017_5002,R_0017_0007__SOJA_R_0017_0008__CITY)
      & has_arg0(Z_0017_5002,R_0017_0004__HOFUKU__HYPHEN__JI_R_0017_0005__TEMPLE)
      & r_0017_0004__Hofuku__hyphen__ji_r_0017_0005__Temple(R_0017_0004__HOFUKU__HYPHEN__JI_R_0017_0005__TEMPLE)
      & has_attrib(R_0017_0004__HOFUKU__HYPHEN__JI_R_0017_0005__TEMPLE,R_0017_0003__NEARBY)
      & r_0017_0010__while(R_0017_0010__WHILE)
      & has_conj1(R_0017_0010__WHILE,Z_0017_5006)
      & z_0017_5006(Z_0017_5006)
      & has_prd(Z_0017_5006,R_0017_0011__YOUNG)
      & has_arg0(Z_0017_5006,R_0017_0001__HE)
      & has_conj2(R_0017_0010__WHILE,R_0017_0002__ENTERED)
      & r_0017_0002__entered(R_0017_0002__ENTERED)
      & has_arg1(R_0017_0002__ENTERED,R_0017_0004__HOFUKU__HYPHEN__JI_R_0017_0005__TEMPLE)
      & has_arg0(R_0017_0002__ENTERED,R_0017_0001__HE) ) ).