TSPC 5_a_kyoto

5_a_kyoto_1
Born in Bicchu Province, he moved to Suo Province after entering Shokoku-ji Temple in Kyoto.

( (IP-MAT (PP-SCON (IP-PPL2 (NP-LGS *)
                            (VVN;_Tn_ Born;{bear})
                            (PP-NIM (P-ROLE in;{in})
                                    (NP (NPR Bicchu;{Bicchu})
                                        (NPR Province;{Province})))))
          (PUNC ,)
          (NP-SBJ;{SESSHU} (PRO he;{he}))
          (VBD;_Ipr_ moved;{move[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (NPR Suo;{Suo})
                      (NPR Province;{Province})))
          (PP-SCON (P-CONN after;{after})
                   (IP-PPL2 (VAG;_Tn_ entering;{enter})
                            (NP-OB1 (NPR Shokoku_<hyphen>_ji;{Shokoku_ji})
                                    (NPR Temple;{Temple}))
                            (PP-NIM (P-ROLE in;{in})
                                    (NP (NPR Kyoto;{Kyoto})))))
          (PUNC .))
  (ID 5_a_kyoto_1;BDS_00001;5))

arc(r_0005_0001__Born,r_0005_0003__Bicchu_r_0005_0004__Province,r_0005_0002__in__nim).
arc(r_0005_0001__Born,r_0005_0006__he,arg1).
arc(r_0005_0001__Born,z_0005_5003___star_,arg0).
arc(r_0005_0007__moved_r_0005_0008__to,r_0005_0006__he,arg0).
arc(r_0005_0007__moved_r_0005_0008__to,r_0005_0009__Suo_r_0005_0010__Province,arg1).
arc(r_0005_0011__after,r_0005_0007__moved_r_0005_0008__to,scope).
arc(r_0005_0011__after,r_0005_0012__entering,restriction).
arc(r_0005_0012__entering,r_0005_0006__he,arg0).
arc(r_0005_0012__entering,r_0005_0013__Shokoku__hyphen__ji_r_0005_0014__Temple,arg1).
arc(r_0005_0012__entering,r_0005_0016__Kyoto,r_0005_0015__in__nim).
arc(z_0005_5001,r_0005_0001__Born,restriction).
arc(z_0005_5001,r_0005_0011__after,scope).

fof(formula,axiom,
    ? [R_0005_0003__BICCHU_R_0005_0004__PROVINCE,R_0005_0006__HE,Z_0005_5003___STAR_,R_0005_0001__BORN,R_0005_0009__SUO_R_0005_0010__PROVINCE,R_0005_0007__MOVED_R_0005_0008__TO,R_0005_0013__SHOKOKU__HYPHEN__JI_R_0005_0014__TEMPLE,R_0005_0016__KYOTO,R_0005_0012__ENTERING,R_0005_0011__AFTER,Z_0005_5001] :
      ( r_0005_0003__Bicchu_r_0005_0004__Province(R_0005_0003__BICCHU_R_0005_0004__PROVINCE)
      & r_0005_0006__he(R_0005_0006__HE)
      & r_0005_0009__Suo_r_0005_0010__Province(R_0005_0009__SUO_R_0005_0010__PROVINCE)
      & r_0005_0013__Shokoku__hyphen__ji_r_0005_0014__Temple(R_0005_0013__SHOKOKU__HYPHEN__JI_R_0005_0014__TEMPLE)
      & r_0005_0016__Kyoto(R_0005_0016__KYOTO)
      & z_0005_5003___star_(Z_0005_5003___STAR_)
      & z_0005_5001(Z_0005_5001)
      & has_conj2(Z_0005_5001,R_0005_0011__AFTER)
      & r_0005_0011__after(R_0005_0011__AFTER)
      & has_conj1(R_0005_0011__AFTER,R_0005_0012__ENTERING)
      & r_0005_0012__entering(R_0005_0012__ENTERING)
      & has_r_0005_0015__in__nim(R_0005_0012__ENTERING,R_0005_0016__KYOTO)
      & has_arg1(R_0005_0012__ENTERING,R_0005_0013__SHOKOKU__HYPHEN__JI_R_0005_0014__TEMPLE)
      & has_arg0(R_0005_0012__ENTERING,R_0005_0006__HE)
      & has_conj2(R_0005_0011__AFTER,R_0005_0007__MOVED_R_0005_0008__TO)
      & r_0005_0007__moved_r_0005_0008__to(R_0005_0007__MOVED_R_0005_0008__TO)
      & has_arg1(R_0005_0007__MOVED_R_0005_0008__TO,R_0005_0009__SUO_R_0005_0010__PROVINCE)
      & has_arg0(R_0005_0007__MOVED_R_0005_0008__TO,R_0005_0006__HE)
      & has_conj1(Z_0005_5001,R_0005_0001__BORN)
      & r_0005_0001__Born(R_0005_0001__BORN)
      & has_arg0(R_0005_0001__BORN,Z_0005_5003___STAR_)
      & has_arg1(R_0005_0001__BORN,R_0005_0006__HE)
      & has_r_0005_0002__in__nim(R_0005_0001__BORN,R_0005_0003__BICCHU_R_0005_0004__PROVINCE) ) ).