Context                Previous, Next                Top


23_a_kyoto_1
In 1468, he sailed to Ming Dynasty China with a mission.

n23_a_kyoto_1 n23_a_kyoto_1__1_1_1_1 In n23_a_kyoto_1__1_1_2_1_1 1468 n23_a_kyoto_1__1_2_1 , n23_a_kyoto_1__1_3_1_1 he n23_a_kyoto_1__1_4_1 sailed n23_a_kyoto_1__1_5_1_1 to n23_a_kyoto_1__1_5_2_1_1 Ming n23_a_kyoto_1__1_5_2_2_1 Dynasty n23_a_kyoto_1__1_5_2_3_1 China n23_a_kyoto_1__1_6_1_1 with n23_a_kyoto_1__1_6_2_1_1 a n23_a_kyoto_1__1_6_2_2_1 mission n23_a_kyoto_1__1_7_1 . n23_a_kyoto_1__1 IP-MAT n23_a_kyoto_1__1_1 PP-NIM n23_a_kyoto_1__1->n23_a_kyoto_1__1_1 n23_a_kyoto_1__1_2 PUNC n23_a_kyoto_1__1->n23_a_kyoto_1__1_2 n23_a_kyoto_1__1_3 NP-SBJ n23_a_kyoto_1__1->n23_a_kyoto_1__1_3 n23_a_kyoto_1__1_4 VBD;_Ipr_ n23_a_kyoto_1__1->n23_a_kyoto_1__1_4 n23_a_kyoto_1__1_5 PP-CLR n23_a_kyoto_1__1->n23_a_kyoto_1__1_5 n23_a_kyoto_1__1_6 PP-NIM n23_a_kyoto_1__1->n23_a_kyoto_1__1_6 n23_a_kyoto_1__1_7 PUNC n23_a_kyoto_1__1->n23_a_kyoto_1__1_7 n23_a_kyoto_1__1_1_1 P-ROLE n23_a_kyoto_1__1_1->n23_a_kyoto_1__1_1_1 n23_a_kyoto_1__1_1_2 NP n23_a_kyoto_1__1_1->n23_a_kyoto_1__1_1_2 n23_a_kyoto_1__1_1_1->n23_a_kyoto_1__1_1_1_1 n23_a_kyoto_1__1_1_2_1 NPR n23_a_kyoto_1__1_1_2->n23_a_kyoto_1__1_1_2_1 n23_a_kyoto_1__1_1_2_1->n23_a_kyoto_1__1_1_2_1_1 n23_a_kyoto_1__1_2->n23_a_kyoto_1__1_2_1 n23_a_kyoto_1__1_3_1 PRO n23_a_kyoto_1__1_3->n23_a_kyoto_1__1_3_1 n23_a_kyoto_1__1_3_1->n23_a_kyoto_1__1_3_1_1 n23_a_kyoto_1__1_4->n23_a_kyoto_1__1_4_1 n23_a_kyoto_1__1_5_1 P-ROLE n23_a_kyoto_1__1_5->n23_a_kyoto_1__1_5_1 n23_a_kyoto_1__1_5_2 NP n23_a_kyoto_1__1_5->n23_a_kyoto_1__1_5_2 n23_a_kyoto_1__1_5_1->n23_a_kyoto_1__1_5_1_1 n23_a_kyoto_1__1_5_2_1 NPR n23_a_kyoto_1__1_5_2->n23_a_kyoto_1__1_5_2_1 n23_a_kyoto_1__1_5_2_2 NPR n23_a_kyoto_1__1_5_2->n23_a_kyoto_1__1_5_2_2 n23_a_kyoto_1__1_5_2_3 NPR n23_a_kyoto_1__1_5_2->n23_a_kyoto_1__1_5_2_3 n23_a_kyoto_1__1_5_2_1->n23_a_kyoto_1__1_5_2_1_1 n23_a_kyoto_1__1_5_2_2->n23_a_kyoto_1__1_5_2_2_1 n23_a_kyoto_1__1_5_2_3->n23_a_kyoto_1__1_5_2_3_1 n23_a_kyoto_1__1_6_1 P-ROLE n23_a_kyoto_1__1_6->n23_a_kyoto_1__1_6_1 n23_a_kyoto_1__1_6_2 NP n23_a_kyoto_1__1_6->n23_a_kyoto_1__1_6_2 n23_a_kyoto_1__1_6_1->n23_a_kyoto_1__1_6_1_1 n23_a_kyoto_1__1_6_2_1 D n23_a_kyoto_1__1_6_2->n23_a_kyoto_1__1_6_2_1 n23_a_kyoto_1__1_6_2_2 N n23_a_kyoto_1__1_6_2->n23_a_kyoto_1__1_6_2_2 n23_a_kyoto_1__1_6_2_1->n23_a_kyoto_1__1_6_2_1_1 n23_a_kyoto_1__1_6_2_2->n23_a_kyoto_1__1_6_2_2_1 n23_a_kyoto_1__1_7->n23_a_kyoto_1__1_7_1 
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (NPR 1468)))
          (PUNC ,)
          (NP-SBJ;{SESSHU} (PRO he;{he}))
          (VBD;_Ipr_ sailed;{sail[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (NPR Ming;{Ming})
                      (NPR Dynasty;{Dynasty})
                      (NPR China;{China})))
          (PP-NIM (P-ROLE with;{with})
                  (NP (D a;{a})
                      (N mission;{mission})))
          (PUNC .))
  (ID 23_a_kyoto_1;BDS_00001;23))


%3 r_0023_0005__sailed_r_0023_0006__to sailed to r_0023_0011__a_r_0023_0012__mission a mission r_0023_0005__sailed_r_0023_0006__to->r_0023_0011__a_r_0023_0012__mission with [nim] r_0023_0007__Ming_r_0023_0008__Dynasty_r_0023_0009__China Ming Dynasty China r_0023_0005__sailed_r_0023_0006__to->r_0023_0007__Ming_r_0023_0008__Dynasty_r_0023_0009__China [arg1] r_0023_0004__he he r_0023_0005__sailed_r_0023_0006__to->r_0023_0004__he [arg0] r_0023_0002__1468 1468 r_0023_0005__sailed_r_0023_0006__to->r_0023_0002__1468 In [nim] 
arc(r_0023_0005__sailed_r_0023_0006__to,r_0023_0002__1468,r_0023_0001__In__nim).
arc(r_0023_0005__sailed_r_0023_0006__to,r_0023_0004__he,arg0).
arc(r_0023_0005__sailed_r_0023_0006__to,r_0023_0007__Ming_r_0023_0008__Dynasty_r_0023_0009__China,arg1).
arc(r_0023_0005__sailed_r_0023_0006__to,r_0023_0011__a_r_0023_0012__mission,r_0023_0010__with__nim).


%3 r_0023_0005__sailed_r_0023_0006__to sailed to r_0023_0002__1468 1468 r_0023_0005__sailed_r_0023_0006__to->r_0023_0002__1468 In [nim] r_0023_0004__he he r_0023_0005__sailed_r_0023_0006__to->r_0023_0004__he [arg0] r_0023_0007__Ming_r_0023_0008__Dynasty_r_0023_0009__China Ming Dynasty China r_0023_0005__sailed_r_0023_0006__to->r_0023_0007__Ming_r_0023_0008__Dynasty_r_0023_0009__China [arg1] r_0023_0011__a_r_0023_0012__mission a mission r_0023_0005__sailed_r_0023_0006__to->r_0023_0011__a_r_0023_0012__mission with [nim] 
fof(formula,axiom,
    ? [R_0023_0002__1468,R_0023_0004__HE,R_0023_0007__MING_R_0023_0008__DYNASTY_R_0023_0009__CHINA,R_0023_0011__A_R_0023_0012__MISSION,R_0023_0005__SAILED_R_0023_0006__TO] :
      ( r_0023_0002__1468(R_0023_0002__1468)
      & r_0023_0004__he(R_0023_0004__HE)
      & r_0023_0007__Ming_r_0023_0008__Dynasty_r_0023_0009__China(R_0023_0007__MING_R_0023_0008__DYNASTY_R_0023_0009__CHINA)
      & r_0023_0011__a_r_0023_0012__mission(R_0023_0011__A_R_0023_0012__MISSION)
      & r_0023_0005__sailed_r_0023_0006__to(R_0023_0005__SAILED_R_0023_0006__TO)
      & has_r_0023_0010__with__nim(R_0023_0005__SAILED_R_0023_0006__TO,R_0023_0011__A_R_0023_0012__MISSION)
      & has_arg1(R_0023_0005__SAILED_R_0023_0006__TO,R_0023_0007__MING_R_0023_0008__DYNASTY_R_0023_0009__CHINA)
      & has_arg0(R_0023_0005__SAILED_R_0023_0006__TO,R_0023_0004__HE)
      & has_r_0023_0001__In__nim(R_0023_0005__SAILED_R_0023_0006__TO,R_0023_0002__1468) ) ).