Context                Previous, Next                Top


104_a_stuck_japan
There are the Ainu of Hokkaido, Okinawans in the south, half a million ethnic Koreans, and close to a million Chinese.

%3 r_0104_0001__There_r_0104_0002__are There are r_0104_0019__and and r_0104_0001__There_r_0104_0002__are->r_0104_0019__and [arg0] r_0104_0003__the_r_0104_0004__Ainu the Ainu r_0104_0019__and->r_0104_0003__the_r_0104_0004__Ainu [conj1] r_0104_0008__Okinawans Okinawans r_0104_0019__and->r_0104_0008__Okinawans [conj2] r_0104_0014__a_r_0104_0015__million_r_0104_0017__Koreans a million Koreans r_0104_0019__and->r_0104_0014__a_r_0104_0015__million_r_0104_0017__Koreans [conj3] r_0104_0024__Chinese Chinese r_0104_0019__and->r_0104_0024__Chinese [conj4] r_0104_0006__Hokkaido Hokkaido r_0104_0003__the_r_0104_0004__Ainu->r_0104_0006__Hokkaido of r_0104_0010__the_r_0104_0011__south the south r_0104_0008__Okinawans->r_0104_0010__the_r_0104_0011__south in r_0104_0013__half_quant half [quant] r_0104_0013__half_quant->r_0104_0019__and [scope] r_0104_0013__half_quant->r_0104_0014__a_r_0104_0015__million_r_0104_0017__Koreans [restriction] r_0104_0016__ethnic ethnic r_0104_0014__a_r_0104_0015__million_r_0104_0017__Koreans->r_0104_0016__ethnic [attrib] r_0104_0020__close close r_0104_0024__Chinese->r_0104_0020__close [attrib] r_0104_0022__a_r_0104_0023__million a million r_0104_0020__close->r_0104_0022__a_r_0104_0023__million to 
arc(r_0104_0001__There_r_0104_0002__are, r_0104_0019__and, arg0).
arc(r_0104_0003__the_r_0104_0004__Ainu, r_0104_0006__Hokkaido, r_0104_0005__of).
arc(r_0104_0008__Okinawans, r_0104_0010__the_r_0104_0011__south, r_0104_0009__in).
arc(r_0104_0013__half_quant, r_0104_0014__a_r_0104_0015__million_r_0104_0017__Koreans, restriction).
arc(r_0104_0013__half_quant, r_0104_0019__and, scope).
arc(r_0104_0014__a_r_0104_0015__million_r_0104_0017__Koreans, r_0104_0016__ethnic, attrib43).
arc(r_0104_0019__and, r_0104_0003__the_r_0104_0004__Ainu, conj1).
arc(r_0104_0019__and, r_0104_0008__Okinawans, conj2).
arc(r_0104_0019__and, r_0104_0014__a_r_0104_0015__million_r_0104_0017__Koreans, conj3).
arc(r_0104_0019__and, r_0104_0024__Chinese, conj4).
arc(r_0104_0020__close, r_0104_0022__a_r_0104_0023__million, r_0104_0021__to).
arc(r_0104_0024__Chinese, r_0104_0020__close, attrib54).


%3 r_0104_0001__There_r_0104_0002__are There are r_0104_0019__and and r_0104_0001__There_r_0104_0002__are->r_0104_0019__and [arg0] r_0104_0003__the_r_0104_0004__Ainu the Ainu r_0104_0019__and->r_0104_0003__the_r_0104_0004__Ainu [conj1] r_0104_0008__Okinawans Okinawans r_0104_0019__and->r_0104_0008__Okinawans [conj2] r_0104_0014__a_r_0104_0015__million_r_0104_0017__Koreans a million Koreans r_0104_0019__and->r_0104_0014__a_r_0104_0015__million_r_0104_0017__Koreans [conj3] r_0104_0024__Chinese Chinese r_0104_0019__and->r_0104_0024__Chinese [conj4] r_0104_0006__Hokkaido Hokkaido r_0104_0003__the_r_0104_0004__Ainu->r_0104_0006__Hokkaido of r_0104_0010__the_r_0104_0011__south the south r_0104_0008__Okinawans->r_0104_0010__the_r_0104_0011__south in r_0104_0013__half_quant half [quant] r_0104_0013__half_quant->r_0104_0001__There_r_0104_0002__are [scope] r_0104_0013__half_quant->r_0104_0014__a_r_0104_0015__million_r_0104_0017__Koreans [restriction] r_0104_0016__ethnic ethnic r_0104_0014__a_r_0104_0015__million_r_0104_0017__Koreans->r_0104_0016__ethnic [attrib] r_0104_0020__close close r_0104_0024__Chinese->r_0104_0020__close [attrib] r_0104_0022__a_r_0104_0023__million a million r_0104_0020__close->r_0104_0022__a_r_0104_0023__million to 
fof(formula,axiom,
    ! [R_104_14_A_MILLION_KOREANS,R_104_16_ETHNIC] :
      ( ( ethnic(R_104_16_ETHNIC)
        & a_million_Koreans(R_104_14_A_MILLION_KOREANS)
        & attrib43(R_104_14_A_MILLION_KOREANS,R_104_16_ETHNIC) )
     => ? [R_104_1_THERE_ARE,R_104_19_AND,R_104_3_THE_AINU,R_104_6_HOKKAIDO,R_104_8_OKINAWANS,R_104_10_THE_SOUTH,R_104_24_CHINESE,R_104_20_CLOSE,R_104_22_A_MILLION] :
          ( hokkaido(R_104_6_HOKKAIDO)
          & the_south(R_104_10_THE_SOUTH)
          & a_million(R_104_22_A_MILLION)
          & there_are(R_104_1_THERE_ARE,R_104_19_AND)
          & and(R_104_19_AND)
          & conj1(R_104_19_AND,R_104_3_THE_AINU)
          & the_Ainu(R_104_3_THE_AINU)
          & of(R_104_3_THE_AINU,R_104_6_HOKKAIDO)
          & conj2(R_104_19_AND,R_104_8_OKINAWANS)
          & okinawans(R_104_8_OKINAWANS)
          & in(R_104_8_OKINAWANS,R_104_10_THE_SOUTH)
          & conj3(R_104_19_AND,R_104_14_A_MILLION_KOREANS)
          & conj4(R_104_19_AND,R_104_24_CHINESE)
          & chinese(R_104_24_CHINESE)
          & attrib54(R_104_24_CHINESE,R_104_20_CLOSE)
          & close(R_104_20_CLOSE)
          & to(R_104_20_CLOSE,R_104_22_A_MILLION) ) ) ).


n104_a_stuck_japan n104_a_stuck_japan_3 There n104_a_stuck_japan_5 are n104_a_stuck_japan_10 the n104_a_stuck_japan_12 Ainu n104_a_stuck_japan_15 of n104_a_stuck_japan_18 Hokkaido n104_a_stuck_japan_20 , n104_a_stuck_japan_24 Okinawans n104_a_stuck_japan_27 in n104_a_stuck_japan_30 the n104_a_stuck_japan_32 south n104_a_stuck_japan_34 , n104_a_stuck_japan_38 half n104_a_stuck_japan_40 a n104_a_stuck_japan_42 million n104_a_stuck_japan_45 ethnic n104_a_stuck_japan_47 Koreans n104_a_stuck_japan_49 , n104_a_stuck_japan_52 and n104_a_stuck_japan_56 close n104_a_stuck_japan_59 to n104_a_stuck_japan_62 a n104_a_stuck_japan_64 million n104_a_stuck_japan_66 Chinese n104_a_stuck_japan_68 . n104_a_stuck_japan_1 IP-MAT n104_a_stuck_japan_2 EX n104_a_stuck_japan_1->n104_a_stuck_japan_2 n104_a_stuck_japan_4 BEP;__ n104_a_stuck_japan_1->n104_a_stuck_japan_4 n104_a_stuck_japan_6 NP-ESBJ n104_a_stuck_japan_1->n104_a_stuck_japan_6 n104_a_stuck_japan_67 PUNC n104_a_stuck_japan_1->n104_a_stuck_japan_67 n104_a_stuck_japan_2->n104_a_stuck_japan_3 n104_a_stuck_japan_4->n104_a_stuck_japan_5 n104_a_stuck_japan_7 NLYR n104_a_stuck_japan_6->n104_a_stuck_japan_7 n104_a_stuck_japan_8 NLYR n104_a_stuck_japan_7->n104_a_stuck_japan_8 n104_a_stuck_japan_19 PUNC n104_a_stuck_japan_7->n104_a_stuck_japan_19 n104_a_stuck_japan_21 CONJP n104_a_stuck_japan_7->n104_a_stuck_japan_21 n104_a_stuck_japan_33 PUNC n104_a_stuck_japan_7->n104_a_stuck_japan_33 n104_a_stuck_japan_35 CONJP n104_a_stuck_japan_7->n104_a_stuck_japan_35 n104_a_stuck_japan_48 PUNC n104_a_stuck_japan_7->n104_a_stuck_japan_48 n104_a_stuck_japan_50 CONJP n104_a_stuck_japan_7->n104_a_stuck_japan_50 n104_a_stuck_japan_9 D n104_a_stuck_japan_8->n104_a_stuck_japan_9 n104_a_stuck_japan_11 NPR n104_a_stuck_japan_8->n104_a_stuck_japan_11 n104_a_stuck_japan_13 PP n104_a_stuck_japan_8->n104_a_stuck_japan_13 n104_a_stuck_japan_9->n104_a_stuck_japan_10 n104_a_stuck_japan_11->n104_a_stuck_japan_12 n104_a_stuck_japan_14 P-ROLE n104_a_stuck_japan_13->n104_a_stuck_japan_14 n104_a_stuck_japan_16 NP n104_a_stuck_japan_13->n104_a_stuck_japan_16 n104_a_stuck_japan_14->n104_a_stuck_japan_15 n104_a_stuck_japan_17 NPR n104_a_stuck_japan_16->n104_a_stuck_japan_17 n104_a_stuck_japan_17->n104_a_stuck_japan_18 n104_a_stuck_japan_19->n104_a_stuck_japan_20 n104_a_stuck_japan_22 NLYR n104_a_stuck_japan_21->n104_a_stuck_japan_22 n104_a_stuck_japan_23 NPRS n104_a_stuck_japan_22->n104_a_stuck_japan_23 n104_a_stuck_japan_25 PP n104_a_stuck_japan_22->n104_a_stuck_japan_25 n104_a_stuck_japan_23->n104_a_stuck_japan_24 n104_a_stuck_japan_26 P-ROLE n104_a_stuck_japan_25->n104_a_stuck_japan_26 n104_a_stuck_japan_28 NP n104_a_stuck_japan_25->n104_a_stuck_japan_28 n104_a_stuck_japan_26->n104_a_stuck_japan_27 n104_a_stuck_japan_29 D n104_a_stuck_japan_28->n104_a_stuck_japan_29 n104_a_stuck_japan_31 N n104_a_stuck_japan_28->n104_a_stuck_japan_31 n104_a_stuck_japan_29->n104_a_stuck_japan_30 n104_a_stuck_japan_31->n104_a_stuck_japan_32 n104_a_stuck_japan_33->n104_a_stuck_japan_34 n104_a_stuck_japan_36 NLYR n104_a_stuck_japan_35->n104_a_stuck_japan_36 n104_a_stuck_japan_37 Q n104_a_stuck_japan_36->n104_a_stuck_japan_37 n104_a_stuck_japan_39 D n104_a_stuck_japan_36->n104_a_stuck_japan_39 n104_a_stuck_japan_41 NUM n104_a_stuck_japan_36->n104_a_stuck_japan_41 n104_a_stuck_japan_43 ADJP n104_a_stuck_japan_36->n104_a_stuck_japan_43 n104_a_stuck_japan_46 NPRS n104_a_stuck_japan_36->n104_a_stuck_japan_46 n104_a_stuck_japan_37->n104_a_stuck_japan_38 n104_a_stuck_japan_39->n104_a_stuck_japan_40 n104_a_stuck_japan_41->n104_a_stuck_japan_42 n104_a_stuck_japan_44 ADJ n104_a_stuck_japan_43->n104_a_stuck_japan_44 n104_a_stuck_japan_44->n104_a_stuck_japan_45 n104_a_stuck_japan_46->n104_a_stuck_japan_47 n104_a_stuck_japan_48->n104_a_stuck_japan_49 n104_a_stuck_japan_51 CONJ n104_a_stuck_japan_50->n104_a_stuck_japan_51 n104_a_stuck_japan_53 NLYR n104_a_stuck_japan_50->n104_a_stuck_japan_53 n104_a_stuck_japan_51->n104_a_stuck_japan_52 n104_a_stuck_japan_54 ADJP n104_a_stuck_japan_53->n104_a_stuck_japan_54 n104_a_stuck_japan_65 NPRS n104_a_stuck_japan_53->n104_a_stuck_japan_65 n104_a_stuck_japan_55 ADJ n104_a_stuck_japan_54->n104_a_stuck_japan_55 n104_a_stuck_japan_57 PP n104_a_stuck_japan_54->n104_a_stuck_japan_57 n104_a_stuck_japan_55->n104_a_stuck_japan_56 n104_a_stuck_japan_58 P-ROLE n104_a_stuck_japan_57->n104_a_stuck_japan_58 n104_a_stuck_japan_60 NP n104_a_stuck_japan_57->n104_a_stuck_japan_60 n104_a_stuck_japan_58->n104_a_stuck_japan_59 n104_a_stuck_japan_61 D n104_a_stuck_japan_60->n104_a_stuck_japan_61 n104_a_stuck_japan_63 NUM n104_a_stuck_japan_60->n104_a_stuck_japan_63 n104_a_stuck_japan_61->n104_a_stuck_japan_62 n104_a_stuck_japan_63->n104_a_stuck_japan_64 n104_a_stuck_japan_65->n104_a_stuck_japan_66 n104_a_stuck_japan_67->n104_a_stuck_japan_68 
( (IP-MAT (EX There;{there})
          (BEP;__ are;{be})
          (NP-ESBJ (NLYR (NLYR (D the;{the})
                               (NPR Ainu;{Ainu})
                               (PP (P-ROLE of;{of})
                                   (NP (NPR Hokkaido;{Hokkaido}))))
                         (PUNC ,)
                         (CONJP (NLYR (NPRS Okinawans;{Okinawans})
                                      (PP (P-ROLE in;{in})
                                          (NP (D the;{the})
                                              (N south;{south})))))
                         (PUNC ,)
                         (CONJP (NLYR (Q half;{half})
                                      (D a;{a})
                                      (NUM million;{million})
                                      (ADJP (ADJ ethnic;{ethnic}))
                                      (NPRS Koreans;{Korean})))
                         (PUNC ,)
                         (CONJP (CONJ and;{and})
                                (NLYR (ADJP (ADJ close;{close})
                                            (PP (P-ROLE to;{to})
                                                (NP (D a;{a})
                                                    (NUM million;{million}))))
                                      (NPRS Chinese;{Chinese})))))
          (PUNC .))
  (ID 104_a_stuck_japan))