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_0024__Chinese Chinese 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 r_0104_0019__and and r_0104_0019__and->r_0104_0024__Chinese [conj4] 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_0008__Okinawans Okinawans r_0104_0019__and->r_0104_0008__Okinawans [conj2] 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_0016__ethnic ethnic r_0104_0014__a_r_0104_0015__million_r_0104_0017__Koreans->r_0104_0016__ethnic [attrib] 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_0006__Hokkaido Hokkaido r_0104_0003__the_r_0104_0004__Ainu->r_0104_0006__Hokkaido of r_0104_0013__half_quant half [quant] r_0104_0013__half_quant->r_0104_0014__a_r_0104_0015__million_r_0104_0017__Koreans [restriction] r_0104_0001__There_r_0104_0002__are There are r_0104_0013__half_quant->r_0104_0001__There_r_0104_0002__are [scope] r_0104_0001__There_r_0104_0002__are->r_0104_0019__and [arg0] 
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__1_1_1 There n104_a_stuck_japan__1_2_1 are n104_a_stuck_japan__1_3_1_1_1_1 the n104_a_stuck_japan__1_3_1_1_2_1 Ainu n104_a_stuck_japan__1_3_1_1_3_1_1 of n104_a_stuck_japan__1_3_1_1_3_2_1_1 Hokkaido n104_a_stuck_japan__1_3_1_2_1 , n104_a_stuck_japan__1_3_1_3_1_1_1 Okinawans n104_a_stuck_japan__1_3_1_3_1_2_1_1 in n104_a_stuck_japan__1_3_1_3_1_2_2_1_1 the n104_a_stuck_japan__1_3_1_3_1_2_2_2_1 south n104_a_stuck_japan__1_3_1_4_1 , n104_a_stuck_japan__1_3_1_5_1_1_1 half n104_a_stuck_japan__1_3_1_5_1_2_1 a n104_a_stuck_japan__1_3_1_5_1_3_1 million n104_a_stuck_japan__1_3_1_5_1_4_1_1 ethnic n104_a_stuck_japan__1_3_1_5_1_5_1 Koreans n104_a_stuck_japan__1_3_1_6_1 , n104_a_stuck_japan__1_3_1_7_1_1 and n104_a_stuck_japan__1_3_1_7_2_1_1_1 close n104_a_stuck_japan__1_3_1_7_2_1_2_1_1 to n104_a_stuck_japan__1_3_1_7_2_1_2_2_1_1 a n104_a_stuck_japan__1_3_1_7_2_1_2_2_2_1 million n104_a_stuck_japan__1_3_1_7_2_2_1 Chinese n104_a_stuck_japan__1_4_1 . n104_a_stuck_japan__1 IP-MAT n104_a_stuck_japan__1_1 EX n104_a_stuck_japan__1->n104_a_stuck_japan__1_1 n104_a_stuck_japan__1_2 BEP;__ n104_a_stuck_japan__1->n104_a_stuck_japan__1_2 n104_a_stuck_japan__1_3 NP-ESBJ n104_a_stuck_japan__1->n104_a_stuck_japan__1_3 n104_a_stuck_japan__1_4 PUNC n104_a_stuck_japan__1->n104_a_stuck_japan__1_4 n104_a_stuck_japan__1_1->n104_a_stuck_japan__1_1_1 n104_a_stuck_japan__1_2->n104_a_stuck_japan__1_2_1 n104_a_stuck_japan__1_3_1 NLYR n104_a_stuck_japan__1_3->n104_a_stuck_japan__1_3_1 n104_a_stuck_japan__1_3_1_1 NLYR n104_a_stuck_japan__1_3_1->n104_a_stuck_japan__1_3_1_1 n104_a_stuck_japan__1_3_1_2 PUNC n104_a_stuck_japan__1_3_1->n104_a_stuck_japan__1_3_1_2 n104_a_stuck_japan__1_3_1_3 CONJP n104_a_stuck_japan__1_3_1->n104_a_stuck_japan__1_3_1_3 n104_a_stuck_japan__1_3_1_4 PUNC n104_a_stuck_japan__1_3_1->n104_a_stuck_japan__1_3_1_4 n104_a_stuck_japan__1_3_1_5 CONJP n104_a_stuck_japan__1_3_1->n104_a_stuck_japan__1_3_1_5 n104_a_stuck_japan__1_3_1_6 PUNC n104_a_stuck_japan__1_3_1->n104_a_stuck_japan__1_3_1_6 n104_a_stuck_japan__1_3_1_7 CONJP n104_a_stuck_japan__1_3_1->n104_a_stuck_japan__1_3_1_7 n104_a_stuck_japan__1_3_1_1_1 D n104_a_stuck_japan__1_3_1_1->n104_a_stuck_japan__1_3_1_1_1 n104_a_stuck_japan__1_3_1_1_2 NPR n104_a_stuck_japan__1_3_1_1->n104_a_stuck_japan__1_3_1_1_2 n104_a_stuck_japan__1_3_1_1_3 PP n104_a_stuck_japan__1_3_1_1->n104_a_stuck_japan__1_3_1_1_3 n104_a_stuck_japan__1_3_1_1_1->n104_a_stuck_japan__1_3_1_1_1_1 n104_a_stuck_japan__1_3_1_1_2->n104_a_stuck_japan__1_3_1_1_2_1 n104_a_stuck_japan__1_3_1_1_3_1 P-ROLE n104_a_stuck_japan__1_3_1_1_3->n104_a_stuck_japan__1_3_1_1_3_1 n104_a_stuck_japan__1_3_1_1_3_2 NP n104_a_stuck_japan__1_3_1_1_3->n104_a_stuck_japan__1_3_1_1_3_2 n104_a_stuck_japan__1_3_1_1_3_1->n104_a_stuck_japan__1_3_1_1_3_1_1 n104_a_stuck_japan__1_3_1_1_3_2_1 NPR n104_a_stuck_japan__1_3_1_1_3_2->n104_a_stuck_japan__1_3_1_1_3_2_1 n104_a_stuck_japan__1_3_1_1_3_2_1->n104_a_stuck_japan__1_3_1_1_3_2_1_1 n104_a_stuck_japan__1_3_1_2->n104_a_stuck_japan__1_3_1_2_1 n104_a_stuck_japan__1_3_1_3_1 NLYR n104_a_stuck_japan__1_3_1_3->n104_a_stuck_japan__1_3_1_3_1 n104_a_stuck_japan__1_3_1_3_1_1 NPRS n104_a_stuck_japan__1_3_1_3_1->n104_a_stuck_japan__1_3_1_3_1_1 n104_a_stuck_japan__1_3_1_3_1_2 PP n104_a_stuck_japan__1_3_1_3_1->n104_a_stuck_japan__1_3_1_3_1_2 n104_a_stuck_japan__1_3_1_3_1_1->n104_a_stuck_japan__1_3_1_3_1_1_1 n104_a_stuck_japan__1_3_1_3_1_2_1 P-ROLE n104_a_stuck_japan__1_3_1_3_1_2->n104_a_stuck_japan__1_3_1_3_1_2_1 n104_a_stuck_japan__1_3_1_3_1_2_2 NP n104_a_stuck_japan__1_3_1_3_1_2->n104_a_stuck_japan__1_3_1_3_1_2_2 n104_a_stuck_japan__1_3_1_3_1_2_1->n104_a_stuck_japan__1_3_1_3_1_2_1_1 n104_a_stuck_japan__1_3_1_3_1_2_2_1 D n104_a_stuck_japan__1_3_1_3_1_2_2->n104_a_stuck_japan__1_3_1_3_1_2_2_1 n104_a_stuck_japan__1_3_1_3_1_2_2_2 N n104_a_stuck_japan__1_3_1_3_1_2_2->n104_a_stuck_japan__1_3_1_3_1_2_2_2 n104_a_stuck_japan__1_3_1_3_1_2_2_1->n104_a_stuck_japan__1_3_1_3_1_2_2_1_1 n104_a_stuck_japan__1_3_1_3_1_2_2_2->n104_a_stuck_japan__1_3_1_3_1_2_2_2_1 n104_a_stuck_japan__1_3_1_4->n104_a_stuck_japan__1_3_1_4_1 n104_a_stuck_japan__1_3_1_5_1 NLYR n104_a_stuck_japan__1_3_1_5->n104_a_stuck_japan__1_3_1_5_1 n104_a_stuck_japan__1_3_1_5_1_1 Q n104_a_stuck_japan__1_3_1_5_1->n104_a_stuck_japan__1_3_1_5_1_1 n104_a_stuck_japan__1_3_1_5_1_2 D n104_a_stuck_japan__1_3_1_5_1->n104_a_stuck_japan__1_3_1_5_1_2 n104_a_stuck_japan__1_3_1_5_1_3 NUM n104_a_stuck_japan__1_3_1_5_1->n104_a_stuck_japan__1_3_1_5_1_3 n104_a_stuck_japan__1_3_1_5_1_4 ADJP n104_a_stuck_japan__1_3_1_5_1->n104_a_stuck_japan__1_3_1_5_1_4 n104_a_stuck_japan__1_3_1_5_1_5 NPRS n104_a_stuck_japan__1_3_1_5_1->n104_a_stuck_japan__1_3_1_5_1_5 n104_a_stuck_japan__1_3_1_5_1_1->n104_a_stuck_japan__1_3_1_5_1_1_1 n104_a_stuck_japan__1_3_1_5_1_2->n104_a_stuck_japan__1_3_1_5_1_2_1 n104_a_stuck_japan__1_3_1_5_1_3->n104_a_stuck_japan__1_3_1_5_1_3_1 n104_a_stuck_japan__1_3_1_5_1_4_1 ADJ n104_a_stuck_japan__1_3_1_5_1_4->n104_a_stuck_japan__1_3_1_5_1_4_1 n104_a_stuck_japan__1_3_1_5_1_4_1->n104_a_stuck_japan__1_3_1_5_1_4_1_1 n104_a_stuck_japan__1_3_1_5_1_5->n104_a_stuck_japan__1_3_1_5_1_5_1 n104_a_stuck_japan__1_3_1_6->n104_a_stuck_japan__1_3_1_6_1 n104_a_stuck_japan__1_3_1_7_1 CONJ n104_a_stuck_japan__1_3_1_7->n104_a_stuck_japan__1_3_1_7_1 n104_a_stuck_japan__1_3_1_7_2 NLYR n104_a_stuck_japan__1_3_1_7->n104_a_stuck_japan__1_3_1_7_2 n104_a_stuck_japan__1_3_1_7_1->n104_a_stuck_japan__1_3_1_7_1_1 n104_a_stuck_japan__1_3_1_7_2_1 ADJP n104_a_stuck_japan__1_3_1_7_2->n104_a_stuck_japan__1_3_1_7_2_1 n104_a_stuck_japan__1_3_1_7_2_2 NPRS n104_a_stuck_japan__1_3_1_7_2->n104_a_stuck_japan__1_3_1_7_2_2 n104_a_stuck_japan__1_3_1_7_2_1_1 ADJ n104_a_stuck_japan__1_3_1_7_2_1->n104_a_stuck_japan__1_3_1_7_2_1_1 n104_a_stuck_japan__1_3_1_7_2_1_2 PP n104_a_stuck_japan__1_3_1_7_2_1->n104_a_stuck_japan__1_3_1_7_2_1_2 n104_a_stuck_japan__1_3_1_7_2_1_1->n104_a_stuck_japan__1_3_1_7_2_1_1_1 n104_a_stuck_japan__1_3_1_7_2_1_2_1 P-ROLE n104_a_stuck_japan__1_3_1_7_2_1_2->n104_a_stuck_japan__1_3_1_7_2_1_2_1 n104_a_stuck_japan__1_3_1_7_2_1_2_2 NP n104_a_stuck_japan__1_3_1_7_2_1_2->n104_a_stuck_japan__1_3_1_7_2_1_2_2 n104_a_stuck_japan__1_3_1_7_2_1_2_1->n104_a_stuck_japan__1_3_1_7_2_1_2_1_1 n104_a_stuck_japan__1_3_1_7_2_1_2_2_1 D n104_a_stuck_japan__1_3_1_7_2_1_2_2->n104_a_stuck_japan__1_3_1_7_2_1_2_2_1 n104_a_stuck_japan__1_3_1_7_2_1_2_2_2 NUM n104_a_stuck_japan__1_3_1_7_2_1_2_2->n104_a_stuck_japan__1_3_1_7_2_1_2_2_2 n104_a_stuck_japan__1_3_1_7_2_1_2_2_1->n104_a_stuck_japan__1_3_1_7_2_1_2_2_1_1 n104_a_stuck_japan__1_3_1_7_2_1_2_2_2->n104_a_stuck_japan__1_3_1_7_2_1_2_2_2_1 n104_a_stuck_japan__1_3_1_7_2_2->n104_a_stuck_japan__1_3_1_7_2_2_1 n104_a_stuck_japan__1_4->n104_a_stuck_japan__1_4_1 
( (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))