Context                Previous, Next                Top


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

%3 r_0005_0001__Born Born r_0005_0003__Bicchu_r_0005_0004__Province Bicchu Province r_0005_0001__Born->r_0005_0003__Bicchu_r_0005_0004__Province in [nim] r_0005_0006__he he r_0005_0001__Born->r_0005_0006__he [arg1] z_000_5_a_kyoto_1_4 r_0005_0001__Born->z_000_5_a_kyoto_1_4 [arg0] r_0005_0007__moved moved r_0005_0007__moved->r_0005_0006__he [arg0] r_0005_0009__Suo_r_0005_0010__Province Suo Province r_0005_0007__moved->r_0005_0009__Suo_r_0005_0010__Province to [clr] r_0005_0011__after after r_0005_0011__after->r_0005_0007__moved [scope] r_0005_0012__entering entering r_0005_0011__after->r_0005_0012__entering [restriction] r_0005_0012__entering->r_0005_0006__he [arg0] r_0005_0013__Shokoku__hyphen__ji_r_0005_0014__Temple Shokoku-ji Temple r_0005_0012__entering->r_0005_0013__Shokoku__hyphen__ji_r_0005_0014__Temple [arg1] r_0005_0016__Kyoto Kyoto r_0005_0012__entering->r_0005_0016__Kyoto in [nim] z_000_5_a_kyoto_1_2 z_000_5_a_kyoto_1_2->r_0005_0001__Born [restriction] z_000_5_a_kyoto_1_2->r_0005_0011__after [scope] 
arc(r_0005_0001__Born, r_0005_0003__Bicchu_r_0005_0004__Province, r_0005_0002__in_nim11).
arc(r_0005_0001__Born, r_0005_0006__he, arg1).
arc(r_0005_0001__Born, z_000_5_a_kyoto_1_4, arg0).
arc(r_0005_0007__moved, r_0005_0006__he, arg0).
arc(r_0005_0007__moved, r_0005_0009__Suo_r_0005_0010__Province, r_0005_0008__to_clr26).
arc(r_0005_0011__after, r_0005_0007__moved, 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_nim45).
arc(z_000_5_a_kyoto_1_2, r_0005_0001__Born, restriction).
arc(z_000_5_a_kyoto_1_2, r_0005_0011__after, scope).


%3 z_000_5_a_kyoto_1_2 r_0005_0011__after after z_000_5_a_kyoto_1_2->r_0005_0011__after [conj2] r_0005_0001__Born Born z_000_5_a_kyoto_1_2->r_0005_0001__Born [conj1] r_0005_0012__entering entering r_0005_0011__after->r_0005_0012__entering [conj1] r_0005_0007__moved moved r_0005_0011__after->r_0005_0007__moved [conj2] r_0005_0006__he he r_0005_0001__Born->r_0005_0006__he [arg1] z_000_5_a_kyoto_1_4 r_0005_0001__Born->z_000_5_a_kyoto_1_4 [arg0] r_0005_0003__Bicchu_r_0005_0004__Province Bicchu Province r_0005_0001__Born->r_0005_0003__Bicchu_r_0005_0004__Province in [nim] r_0005_0016__Kyoto Kyoto r_0005_0012__entering->r_0005_0016__Kyoto in [nim] r_0005_0013__Shokoku__hyphen__ji_r_0005_0014__Temple Shokoku-ji Temple r_0005_0012__entering->r_0005_0013__Shokoku__hyphen__ji_r_0005_0014__Temple [arg1] r_0005_0012__entering->r_0005_0006__he [arg0] r_0005_0007__moved->r_0005_0006__he [arg0] r_0005_0009__Suo_r_0005_0010__Province Suo Province r_0005_0007__moved->r_0005_0009__Suo_r_0005_0010__Province to [clr] 
fof(formula,axiom,
    ? [Z_5_A_KYOTO_1_2,R_5_1_BORN,Z_5_A_KYOTO_1_4,R_5_3_BICCHU_PROVINCE,R_5_11_AFTER,R_5_12_ENTERING,R_5_13_SHOKOKU_HYPHEN_JI_TEMPLE,R_5_16_KYOTO,R_5_7_MOVED,R_5_6_HE,R_5_9_SUO_PROVINCE] :
      ( bicchu_Province(R_5_3_BICCHU_PROVINCE)
      & shokoku_hyphen_ji_Temple(R_5_13_SHOKOKU_HYPHEN_JI_TEMPLE)
      & kyoto(R_5_16_KYOTO)
      & he(R_5_6_HE)
      & suo_Province(R_5_9_SUO_PROVINCE)
      & z_5_a_kyoto_1_2(Z_5_A_KYOTO_1_2)
      & conj1(Z_5_A_KYOTO_1_2,R_5_1_BORN)
      & born(R_5_1_BORN,Z_5_A_KYOTO_1_4,R_5_6_HE)
      & in_nim11(R_5_1_BORN,R_5_3_BICCHU_PROVINCE)
      & conj2(Z_5_A_KYOTO_1_2,R_5_11_AFTER)
      & after(R_5_11_AFTER)
      & conj1(R_5_11_AFTER,R_5_12_ENTERING)
      & entering(R_5_12_ENTERING,R_5_6_HE,R_5_13_SHOKOKU_HYPHEN_JI_TEMPLE)
      & in_nim45(R_5_12_ENTERING,R_5_16_KYOTO)
      & conj2(R_5_11_AFTER,R_5_7_MOVED)
      & moved(R_5_7_MOVED,R_5_6_HE)
      & to_clr26(R_5_7_MOVED,R_5_9_SUO_PROVINCE) ) ).


n5_a_kyoto_1 n5_a_kyoto_1__1_1_1_1_1 * n5_a_kyoto_1__1_1_1_2_1 Born n5_a_kyoto_1__1_1_1_3_1_1 in n5_a_kyoto_1__1_1_1_3_2_1_1 Bicchu n5_a_kyoto_1__1_1_1_3_2_2_1 Province n5_a_kyoto_1__1_2_1 , n5_a_kyoto_1__1_3_1_1 he n5_a_kyoto_1__1_4_1 moved n5_a_kyoto_1__1_5_1_1 to n5_a_kyoto_1__1_5_2_1_1 Suo n5_a_kyoto_1__1_5_2_2_1 Province n5_a_kyoto_1__1_6_1_1 after n5_a_kyoto_1__1_6_2_1_1 entering n5_a_kyoto_1__1_6_2_2_1_1 Shokoku-ji n5_a_kyoto_1__1_6_2_2_2_1 Temple n5_a_kyoto_1__1_6_2_3_1_1 in n5_a_kyoto_1__1_6_2_3_2_1_1 Kyoto n5_a_kyoto_1__1_7_1 . n5_a_kyoto_1__1 IP-MAT n5_a_kyoto_1__1_1 PP-SCON n5_a_kyoto_1__1->n5_a_kyoto_1__1_1 n5_a_kyoto_1__1_2 PUNC n5_a_kyoto_1__1->n5_a_kyoto_1__1_2 n5_a_kyoto_1__1_3 NP-SBJ n5_a_kyoto_1__1->n5_a_kyoto_1__1_3 n5_a_kyoto_1__1_4 VBD;_Ipr_ n5_a_kyoto_1__1->n5_a_kyoto_1__1_4 n5_a_kyoto_1__1_5 PP-CLR n5_a_kyoto_1__1->n5_a_kyoto_1__1_5 n5_a_kyoto_1__1_6 PP-SCON n5_a_kyoto_1__1->n5_a_kyoto_1__1_6 n5_a_kyoto_1__1_7 PUNC n5_a_kyoto_1__1->n5_a_kyoto_1__1_7 n5_a_kyoto_1__1_1_1 IP-PPL2 n5_a_kyoto_1__1_1->n5_a_kyoto_1__1_1_1 n5_a_kyoto_1__1_1_1_1 NP-LGS n5_a_kyoto_1__1_1_1->n5_a_kyoto_1__1_1_1_1 n5_a_kyoto_1__1_1_1_2 VVN;_Tn_ n5_a_kyoto_1__1_1_1->n5_a_kyoto_1__1_1_1_2 n5_a_kyoto_1__1_1_1_3 PP-NIM n5_a_kyoto_1__1_1_1->n5_a_kyoto_1__1_1_1_3 n5_a_kyoto_1__1_1_1_1->n5_a_kyoto_1__1_1_1_1_1 n5_a_kyoto_1__1_1_1_2->n5_a_kyoto_1__1_1_1_2_1 n5_a_kyoto_1__1_1_1_3_1 P-ROLE n5_a_kyoto_1__1_1_1_3->n5_a_kyoto_1__1_1_1_3_1 n5_a_kyoto_1__1_1_1_3_2 NP n5_a_kyoto_1__1_1_1_3->n5_a_kyoto_1__1_1_1_3_2 n5_a_kyoto_1__1_1_1_3_1->n5_a_kyoto_1__1_1_1_3_1_1 n5_a_kyoto_1__1_1_1_3_2_1 NPR n5_a_kyoto_1__1_1_1_3_2->n5_a_kyoto_1__1_1_1_3_2_1 n5_a_kyoto_1__1_1_1_3_2_2 NPR n5_a_kyoto_1__1_1_1_3_2->n5_a_kyoto_1__1_1_1_3_2_2 n5_a_kyoto_1__1_1_1_3_2_1->n5_a_kyoto_1__1_1_1_3_2_1_1 n5_a_kyoto_1__1_1_1_3_2_2->n5_a_kyoto_1__1_1_1_3_2_2_1 n5_a_kyoto_1__1_2->n5_a_kyoto_1__1_2_1 n5_a_kyoto_1__1_3_1 PRO n5_a_kyoto_1__1_3->n5_a_kyoto_1__1_3_1 n5_a_kyoto_1__1_3_1->n5_a_kyoto_1__1_3_1_1 n5_a_kyoto_1__1_4->n5_a_kyoto_1__1_4_1 n5_a_kyoto_1__1_5_1 P-ROLE n5_a_kyoto_1__1_5->n5_a_kyoto_1__1_5_1 n5_a_kyoto_1__1_5_2 NP n5_a_kyoto_1__1_5->n5_a_kyoto_1__1_5_2 n5_a_kyoto_1__1_5_1->n5_a_kyoto_1__1_5_1_1 n5_a_kyoto_1__1_5_2_1 NPR n5_a_kyoto_1__1_5_2->n5_a_kyoto_1__1_5_2_1 n5_a_kyoto_1__1_5_2_2 NPR n5_a_kyoto_1__1_5_2->n5_a_kyoto_1__1_5_2_2 n5_a_kyoto_1__1_5_2_1->n5_a_kyoto_1__1_5_2_1_1 n5_a_kyoto_1__1_5_2_2->n5_a_kyoto_1__1_5_2_2_1 n5_a_kyoto_1__1_6_1 P-CONN n5_a_kyoto_1__1_6->n5_a_kyoto_1__1_6_1 n5_a_kyoto_1__1_6_2 IP-PPL2 n5_a_kyoto_1__1_6->n5_a_kyoto_1__1_6_2 n5_a_kyoto_1__1_6_1->n5_a_kyoto_1__1_6_1_1 n5_a_kyoto_1__1_6_2_1 VAG;_Tn_ n5_a_kyoto_1__1_6_2->n5_a_kyoto_1__1_6_2_1 n5_a_kyoto_1__1_6_2_2 NP-OB1 n5_a_kyoto_1__1_6_2->n5_a_kyoto_1__1_6_2_2 n5_a_kyoto_1__1_6_2_3 PP-NIM n5_a_kyoto_1__1_6_2->n5_a_kyoto_1__1_6_2_3 n5_a_kyoto_1__1_6_2_1->n5_a_kyoto_1__1_6_2_1_1 n5_a_kyoto_1__1_6_2_2_1 NPR n5_a_kyoto_1__1_6_2_2->n5_a_kyoto_1__1_6_2_2_1 n5_a_kyoto_1__1_6_2_2_2 NPR n5_a_kyoto_1__1_6_2_2->n5_a_kyoto_1__1_6_2_2_2 n5_a_kyoto_1__1_6_2_2_1->n5_a_kyoto_1__1_6_2_2_1_1 n5_a_kyoto_1__1_6_2_2_2->n5_a_kyoto_1__1_6_2_2_2_1 n5_a_kyoto_1__1_6_2_3_1 P-ROLE n5_a_kyoto_1__1_6_2_3->n5_a_kyoto_1__1_6_2_3_1 n5_a_kyoto_1__1_6_2_3_2 NP n5_a_kyoto_1__1_6_2_3->n5_a_kyoto_1__1_6_2_3_2 n5_a_kyoto_1__1_6_2_3_1->n5_a_kyoto_1__1_6_2_3_1_1 n5_a_kyoto_1__1_6_2_3_2_1 NPR n5_a_kyoto_1__1_6_2_3_2->n5_a_kyoto_1__1_6_2_3_2_1 n5_a_kyoto_1__1_6_2_3_2_1->n5_a_kyoto_1__1_6_2_3_2_1_1 n5_a_kyoto_1__1_7->n5_a_kyoto_1__1_7_1 
( (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))