Context                Previous, Next                Top


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

%3 r_0023_0005__sailed sailed r_0023_0002__1468 1468 r_0023_0005__sailed->r_0023_0002__1468 In [nim] r_0023_0004__he he r_0023_0005__sailed->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_0007__Ming_r_0023_0008__Dynasty_r_0023_0009__China to [clr] r_0023_0011__a_r_0023_0012__mission a mission r_0023_0005__sailed->r_0023_0011__a_r_0023_0012__mission with [nim] 
arc(r_0023_0005__sailed, r_0023_0002__1468, r_0023_0001__In_nim5).
arc(r_0023_0005__sailed, r_0023_0004__he, arg0).
arc(r_0023_0005__sailed, r_0023_0007__Ming_r_0023_0008__Dynasty_r_0023_0009__China, r_0023_0006__to_clr18).
arc(r_0023_0005__sailed, r_0023_0011__a_r_0023_0012__mission, r_0023_0010__with_nim28).


%3 r_0023_0005__sailed sailed r_0023_0002__1468 1468 r_0023_0005__sailed->r_0023_0002__1468 In [nim] r_0023_0004__he he r_0023_0005__sailed->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_0007__Ming_r_0023_0008__Dynasty_r_0023_0009__China to [clr] r_0023_0011__a_r_0023_0012__mission a mission r_0023_0005__sailed->r_0023_0011__a_r_0023_0012__mission with [nim] 
fof(formula,axiom,
    ? [R_23_5_SAILED,R_23_4_HE,R_23_2_1468,R_23_7_MING_DYNASTY_CHINA,R_23_11_A_MISSION] :
      ( he(R_23_4_HE)
      & 1468(R_23_2_1468)
      & ming_Dynasty_China(R_23_7_MING_DYNASTY_CHINA)
      & a_mission(R_23_11_A_MISSION)
      & sailed(R_23_5_SAILED,R_23_4_HE)
      & in_nim5(R_23_5_SAILED,R_23_2_1468)
      & to_clr18(R_23_5_SAILED,R_23_7_MING_DYNASTY_CHINA)
      & with_nim28(R_23_5_SAILED,R_23_11_A_MISSION) ) ).


n23_a_kyoto_1 n23_a_kyoto_1_4 In n23_a_kyoto_1_7 1468 n23_a_kyoto_1_9 , n23_a_kyoto_1_12 he n23_a_kyoto_1_14 sailed n23_a_kyoto_1_17 to n23_a_kyoto_1_20 Ming n23_a_kyoto_1_22 Dynasty n23_a_kyoto_1_24 China n23_a_kyoto_1_27 with n23_a_kyoto_1_30 a n23_a_kyoto_1_32 mission n23_a_kyoto_1_34 . n23_a_kyoto_1_1 IP-MAT n23_a_kyoto_1_2 PP-NIM n23_a_kyoto_1_1->n23_a_kyoto_1_2 n23_a_kyoto_1_8 PUNC n23_a_kyoto_1_1->n23_a_kyoto_1_8 n23_a_kyoto_1_10 NP-SBJ n23_a_kyoto_1_1->n23_a_kyoto_1_10 n23_a_kyoto_1_13 VBD;_Ipr_ n23_a_kyoto_1_1->n23_a_kyoto_1_13 n23_a_kyoto_1_15 PP-CLR n23_a_kyoto_1_1->n23_a_kyoto_1_15 n23_a_kyoto_1_25 PP-NIM n23_a_kyoto_1_1->n23_a_kyoto_1_25 n23_a_kyoto_1_33 PUNC n23_a_kyoto_1_1->n23_a_kyoto_1_33 n23_a_kyoto_1_3 P-ROLE n23_a_kyoto_1_2->n23_a_kyoto_1_3 n23_a_kyoto_1_5 NP n23_a_kyoto_1_2->n23_a_kyoto_1_5 n23_a_kyoto_1_3->n23_a_kyoto_1_4 n23_a_kyoto_1_6 NPR n23_a_kyoto_1_5->n23_a_kyoto_1_6 n23_a_kyoto_1_6->n23_a_kyoto_1_7 n23_a_kyoto_1_8->n23_a_kyoto_1_9 n23_a_kyoto_1_11 PRO n23_a_kyoto_1_10->n23_a_kyoto_1_11 n23_a_kyoto_1_11->n23_a_kyoto_1_12 n23_a_kyoto_1_13->n23_a_kyoto_1_14 n23_a_kyoto_1_16 P-ROLE n23_a_kyoto_1_15->n23_a_kyoto_1_16 n23_a_kyoto_1_18 NP n23_a_kyoto_1_15->n23_a_kyoto_1_18 n23_a_kyoto_1_16->n23_a_kyoto_1_17 n23_a_kyoto_1_19 NPR n23_a_kyoto_1_18->n23_a_kyoto_1_19 n23_a_kyoto_1_21 NPR n23_a_kyoto_1_18->n23_a_kyoto_1_21 n23_a_kyoto_1_23 NPR n23_a_kyoto_1_18->n23_a_kyoto_1_23 n23_a_kyoto_1_19->n23_a_kyoto_1_20 n23_a_kyoto_1_21->n23_a_kyoto_1_22 n23_a_kyoto_1_23->n23_a_kyoto_1_24 n23_a_kyoto_1_26 P-ROLE n23_a_kyoto_1_25->n23_a_kyoto_1_26 n23_a_kyoto_1_28 NP n23_a_kyoto_1_25->n23_a_kyoto_1_28 n23_a_kyoto_1_26->n23_a_kyoto_1_27 n23_a_kyoto_1_29 D n23_a_kyoto_1_28->n23_a_kyoto_1_29 n23_a_kyoto_1_31 N n23_a_kyoto_1_28->n23_a_kyoto_1_31 n23_a_kyoto_1_29->n23_a_kyoto_1_30 n23_a_kyoto_1_31->n23_a_kyoto_1_32 n23_a_kyoto_1_33->n23_a_kyoto_1_34 
( (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))