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 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 [conj2] r_0005_0012__entering entering r_0005_0011__after->r_0005_0012__entering [conj1] 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 [conj1] z_000_5_a_kyoto_1_2->r_0005_0011__after [conj2] 
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_7 Born n5_a_kyoto_1_10 in n5_a_kyoto_1_13 Bicchu n5_a_kyoto_1_15 Province n5_a_kyoto_1_17 , n5_a_kyoto_1_20 he n5_a_kyoto_1_22 moved n5_a_kyoto_1_25 to n5_a_kyoto_1_28 Suo n5_a_kyoto_1_30 Province n5_a_kyoto_1_33 after n5_a_kyoto_1_36 entering n5_a_kyoto_1_39 Shokoku-ji n5_a_kyoto_1_41 Temple n5_a_kyoto_1_44 in n5_a_kyoto_1_47 Kyoto n5_a_kyoto_1_49 . n5_a_kyoto_1_1 IP-MAT n5_a_kyoto_1_2 PP-SCON n5_a_kyoto_1_1->n5_a_kyoto_1_2 n5_a_kyoto_1_16 PUNC n5_a_kyoto_1_1->n5_a_kyoto_1_16 n5_a_kyoto_1_18 NP-SBJ n5_a_kyoto_1_1->n5_a_kyoto_1_18 n5_a_kyoto_1_21 VBD;_Ipr_ n5_a_kyoto_1_1->n5_a_kyoto_1_21 n5_a_kyoto_1_23 PP-CLR n5_a_kyoto_1_1->n5_a_kyoto_1_23 n5_a_kyoto_1_31 PP-SCON n5_a_kyoto_1_1->n5_a_kyoto_1_31 n5_a_kyoto_1_48 PUNC n5_a_kyoto_1_1->n5_a_kyoto_1_48 n5_a_kyoto_1_3 IP-PPL2 n5_a_kyoto_1_2->n5_a_kyoto_1_3 n5_a_kyoto_1_4 NP-LGS n5_a_kyoto_1_3->n5_a_kyoto_1_4 n5_a_kyoto_1_6 VVN;_Tn_ n5_a_kyoto_1_3->n5_a_kyoto_1_6 n5_a_kyoto_1_8 PP-NIM n5_a_kyoto_1_3->n5_a_kyoto_1_8 n5_a_kyoto_1_5 * n5_a_kyoto_1_4->n5_a_kyoto_1_5 n5_a_kyoto_1_6->n5_a_kyoto_1_7 n5_a_kyoto_1_9 P-ROLE n5_a_kyoto_1_8->n5_a_kyoto_1_9 n5_a_kyoto_1_11 NP n5_a_kyoto_1_8->n5_a_kyoto_1_11 n5_a_kyoto_1_9->n5_a_kyoto_1_10 n5_a_kyoto_1_12 NPR n5_a_kyoto_1_11->n5_a_kyoto_1_12 n5_a_kyoto_1_14 NPR n5_a_kyoto_1_11->n5_a_kyoto_1_14 n5_a_kyoto_1_12->n5_a_kyoto_1_13 n5_a_kyoto_1_14->n5_a_kyoto_1_15 n5_a_kyoto_1_16->n5_a_kyoto_1_17 n5_a_kyoto_1_19 PRO n5_a_kyoto_1_18->n5_a_kyoto_1_19 n5_a_kyoto_1_19->n5_a_kyoto_1_20 n5_a_kyoto_1_21->n5_a_kyoto_1_22 n5_a_kyoto_1_24 P-ROLE n5_a_kyoto_1_23->n5_a_kyoto_1_24 n5_a_kyoto_1_26 NP n5_a_kyoto_1_23->n5_a_kyoto_1_26 n5_a_kyoto_1_24->n5_a_kyoto_1_25 n5_a_kyoto_1_27 NPR n5_a_kyoto_1_26->n5_a_kyoto_1_27 n5_a_kyoto_1_29 NPR n5_a_kyoto_1_26->n5_a_kyoto_1_29 n5_a_kyoto_1_27->n5_a_kyoto_1_28 n5_a_kyoto_1_29->n5_a_kyoto_1_30 n5_a_kyoto_1_32 P-CONN n5_a_kyoto_1_31->n5_a_kyoto_1_32 n5_a_kyoto_1_34 IP-PPL2 n5_a_kyoto_1_31->n5_a_kyoto_1_34 n5_a_kyoto_1_32->n5_a_kyoto_1_33 n5_a_kyoto_1_35 VAG;_Tn_ n5_a_kyoto_1_34->n5_a_kyoto_1_35 n5_a_kyoto_1_37 NP-OB1 n5_a_kyoto_1_34->n5_a_kyoto_1_37 n5_a_kyoto_1_42 PP-NIM n5_a_kyoto_1_34->n5_a_kyoto_1_42 n5_a_kyoto_1_35->n5_a_kyoto_1_36 n5_a_kyoto_1_38 NPR n5_a_kyoto_1_37->n5_a_kyoto_1_38 n5_a_kyoto_1_40 NPR n5_a_kyoto_1_37->n5_a_kyoto_1_40 n5_a_kyoto_1_38->n5_a_kyoto_1_39 n5_a_kyoto_1_40->n5_a_kyoto_1_41 n5_a_kyoto_1_43 P-ROLE n5_a_kyoto_1_42->n5_a_kyoto_1_43 n5_a_kyoto_1_45 NP n5_a_kyoto_1_42->n5_a_kyoto_1_45 n5_a_kyoto_1_43->n5_a_kyoto_1_44 n5_a_kyoto_1_46 NPR n5_a_kyoto_1_45->n5_a_kyoto_1_46 n5_a_kyoto_1_46->n5_a_kyoto_1_47 n5_a_kyoto_1_48->n5_a_kyoto_1_49 
( (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))