25_a_kyoto_1
In the fall of 1481, he traveled to Mino Province.
arc(r_0025_0002__the_r_0025_0003__fall, r_0025_0005__1481, r_0025_0004__of).
arc(r_0025_0008__traveled, r_0025_0002__the_r_0025_0003__fall, r_0025_0001__In_nim5).
arc(r_0025_0008__traveled, r_0025_0007__he, arg0).
arc(r_0025_0008__traveled, r_0025_0010__Mino_r_0025_0011__Province, r_0025_0009__to_clr26).
fof(formula,axiom,
? [R_25_8_TRAVELED,R_25_7_HE,R_25_2_THE_FALL,R_25_5_1481,R_25_10_MINO_PROVINCE] :
( he(R_25_7_HE)
& 1481(R_25_5_1481)
& mino_Province(R_25_10_MINO_PROVINCE)
& traveled(R_25_8_TRAVELED,R_25_7_HE)
& in_nim5(R_25_8_TRAVELED,R_25_2_THE_FALL)
& the_fall(R_25_2_THE_FALL)
& of(R_25_2_THE_FALL,R_25_5_1481)
& to_clr26(R_25_8_TRAVELED,R_25_10_MINO_PROVINCE) ) ).
( (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))