Context                Previous, Next                Top


25_a_kyoto_1
In the fall of 1481, he traveled to Mino Province.

n25_a_kyoto_1 n25_a_kyoto_1__1_1_1_1 In n25_a_kyoto_1__1_1_2_1_1 the n25_a_kyoto_1__1_1_2_2_1 fall n25_a_kyoto_1__1_1_2_3_1_1 of n25_a_kyoto_1__1_1_2_3_2_1_1 1481 n25_a_kyoto_1__1_2_1 , n25_a_kyoto_1__1_3_1_1 he n25_a_kyoto_1__1_4_1 traveled n25_a_kyoto_1__1_5_1_1 to n25_a_kyoto_1__1_5_2_1_1 Mino n25_a_kyoto_1__1_5_2_2_1 Province n25_a_kyoto_1__1_6_1 . n25_a_kyoto_1__1 IP-MAT n25_a_kyoto_1__1_1 PP-NIM n25_a_kyoto_1__1->n25_a_kyoto_1__1_1 n25_a_kyoto_1__1_2 PUNC n25_a_kyoto_1__1->n25_a_kyoto_1__1_2 n25_a_kyoto_1__1_3 NP-SBJ n25_a_kyoto_1__1->n25_a_kyoto_1__1_3 n25_a_kyoto_1__1_4 VBD;_Ipr_ n25_a_kyoto_1__1->n25_a_kyoto_1__1_4 n25_a_kyoto_1__1_5 PP-CLR n25_a_kyoto_1__1->n25_a_kyoto_1__1_5 n25_a_kyoto_1__1_6 PUNC n25_a_kyoto_1__1->n25_a_kyoto_1__1_6 n25_a_kyoto_1__1_1_1 P-ROLE n25_a_kyoto_1__1_1->n25_a_kyoto_1__1_1_1 n25_a_kyoto_1__1_1_2 NP n25_a_kyoto_1__1_1->n25_a_kyoto_1__1_1_2 n25_a_kyoto_1__1_1_1->n25_a_kyoto_1__1_1_1_1 n25_a_kyoto_1__1_1_2_1 D n25_a_kyoto_1__1_1_2->n25_a_kyoto_1__1_1_2_1 n25_a_kyoto_1__1_1_2_2 N n25_a_kyoto_1__1_1_2->n25_a_kyoto_1__1_1_2_2 n25_a_kyoto_1__1_1_2_3 PP n25_a_kyoto_1__1_1_2->n25_a_kyoto_1__1_1_2_3 n25_a_kyoto_1__1_1_2_1->n25_a_kyoto_1__1_1_2_1_1 n25_a_kyoto_1__1_1_2_2->n25_a_kyoto_1__1_1_2_2_1 n25_a_kyoto_1__1_1_2_3_1 P-ROLE n25_a_kyoto_1__1_1_2_3->n25_a_kyoto_1__1_1_2_3_1 n25_a_kyoto_1__1_1_2_3_2 NP n25_a_kyoto_1__1_1_2_3->n25_a_kyoto_1__1_1_2_3_2 n25_a_kyoto_1__1_1_2_3_1->n25_a_kyoto_1__1_1_2_3_1_1 n25_a_kyoto_1__1_1_2_3_2_1 NPR n25_a_kyoto_1__1_1_2_3_2->n25_a_kyoto_1__1_1_2_3_2_1 n25_a_kyoto_1__1_1_2_3_2_1->n25_a_kyoto_1__1_1_2_3_2_1_1 n25_a_kyoto_1__1_2->n25_a_kyoto_1__1_2_1 n25_a_kyoto_1__1_3_1 PRO n25_a_kyoto_1__1_3->n25_a_kyoto_1__1_3_1 n25_a_kyoto_1__1_3_1->n25_a_kyoto_1__1_3_1_1 n25_a_kyoto_1__1_4->n25_a_kyoto_1__1_4_1 n25_a_kyoto_1__1_5_1 P-ROLE n25_a_kyoto_1__1_5->n25_a_kyoto_1__1_5_1 n25_a_kyoto_1__1_5_2 NP n25_a_kyoto_1__1_5->n25_a_kyoto_1__1_5_2 n25_a_kyoto_1__1_5_1->n25_a_kyoto_1__1_5_1_1 n25_a_kyoto_1__1_5_2_1 NPR n25_a_kyoto_1__1_5_2->n25_a_kyoto_1__1_5_2_1 n25_a_kyoto_1__1_5_2_2 NPR n25_a_kyoto_1__1_5_2->n25_a_kyoto_1__1_5_2_2 n25_a_kyoto_1__1_5_2_1->n25_a_kyoto_1__1_5_2_1_1 n25_a_kyoto_1__1_5_2_2->n25_a_kyoto_1__1_5_2_2_1 n25_a_kyoto_1__1_6->n25_a_kyoto_1__1_6_1 
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (D the;{the})
                      (N fall;{fall})
                      (PP (P-ROLE of;{of})
                          (NP (NPR 1481)))))
          (PUNC ,)
          (NP-SBJ;{SESSHU} (PRO he;{he}))
          (VBD;_Ipr_ traveled;{travel[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (NPR Mino;{Mino})
                      (NPR Province;{Province})))
          (PUNC .))
  (ID 25_a_kyoto_1;BDS_00001;25))


%3 r_0025_0008__traveled_r_0025_0009__to traveled to r_0025_0010__Mino_r_0025_0011__Province Mino Province r_0025_0008__traveled_r_0025_0009__to->r_0025_0010__Mino_r_0025_0011__Province [arg1] r_0025_0007__he he r_0025_0008__traveled_r_0025_0009__to->r_0025_0007__he [arg0] r_0025_0002__the_r_0025_0003__fall the fall r_0025_0008__traveled_r_0025_0009__to->r_0025_0002__the_r_0025_0003__fall In [nim] r_0025_0005__1481 1481 r_0025_0002__the_r_0025_0003__fall->r_0025_0005__1481 of 
arc(r_0025_0002__the_r_0025_0003__fall,r_0025_0005__1481,r_0025_0004__of).
arc(r_0025_0008__traveled_r_0025_0009__to,r_0025_0002__the_r_0025_0003__fall,r_0025_0001__In__nim).
arc(r_0025_0008__traveled_r_0025_0009__to,r_0025_0007__he,arg0).
arc(r_0025_0008__traveled_r_0025_0009__to,r_0025_0010__Mino_r_0025_0011__Province,arg1).


%3 r_0025_0002__the_r_0025_0003__fall the fall r_0025_0005__1481 1481 r_0025_0002__the_r_0025_0003__fall->r_0025_0005__1481 of r_0025_0008__traveled_r_0025_0009__to traveled to r_0025_0008__traveled_r_0025_0009__to->r_0025_0002__the_r_0025_0003__fall In [nim] r_0025_0007__he he r_0025_0008__traveled_r_0025_0009__to->r_0025_0007__he [arg0] r_0025_0010__Mino_r_0025_0011__Province Mino Province r_0025_0008__traveled_r_0025_0009__to->r_0025_0010__Mino_r_0025_0011__Province [arg1] 
fof(formula,axiom,
    ? [R_0025_0005__1481,R_0025_0002__THE_R_0025_0003__FALL,R_0025_0007__HE,R_0025_0010__MINO_R_0025_0011__PROVINCE,R_0025_0008__TRAVELED_R_0025_0009__TO] :
      ( r_0025_0005__1481(R_0025_0005__1481)
      & r_0025_0007__he(R_0025_0007__HE)
      & r_0025_0010__Mino_r_0025_0011__Province(R_0025_0010__MINO_R_0025_0011__PROVINCE)
      & r_0025_0008__traveled_r_0025_0009__to(R_0025_0008__TRAVELED_R_0025_0009__TO)
      & has_arg1(R_0025_0008__TRAVELED_R_0025_0009__TO,R_0025_0010__MINO_R_0025_0011__PROVINCE)
      & has_arg0(R_0025_0008__TRAVELED_R_0025_0009__TO,R_0025_0007__HE)
      & has_r_0025_0001__In__nim(R_0025_0008__TRAVELED_R_0025_0009__TO,R_0025_0002__THE_R_0025_0003__FALL)
      & r_0025_0002__the_r_0025_0003__fall(R_0025_0002__THE_R_0025_0003__FALL)
      & has_r_0025_0004__of(R_0025_0002__THE_R_0025_0003__FALL,R_0025_0005__1481) ) ).