TSPC 104_a_stuck

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.

( (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))

arc(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,attrib).
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,attrib).

fof(formula,axiom,
    ! [R_0104_0014__A_R_0104_0015__MILLION_R_0104_0017__KOREANS,R_0104_0016__ETHNIC] :
      ( ( r_0104_0016__ethnic(R_0104_0016__ETHNIC)
        & r_0104_0014__a_r_0104_0015__million_r_0104_0017__Koreans(R_0104_0014__A_R_0104_0015__MILLION_R_0104_0017__KOREANS)
        & has_attrib(R_0104_0014__A_R_0104_0015__MILLION_R_0104_0017__KOREANS,R_0104_0016__ETHNIC) )
     => ? [R_0104_0006__HOKKAIDO,R_0104_0003__THE_R_0104_0004__AINU,R_0104_0010__THE_R_0104_0011__SOUTH,R_0104_0008__OKINAWANS,R_0104_0022__A_R_0104_0023__MILLION,R_0104_0020__CLOSE,R_0104_0024__CHINESE,R_0104_0019__AND,R_0104_0002__ARE] :
          ( r_0104_0006__Hokkaido(R_0104_0006__HOKKAIDO)
          & r_0104_0010__the_r_0104_0011__south(R_0104_0010__THE_R_0104_0011__SOUTH)
          & r_0104_0022__a_r_0104_0023__million(R_0104_0022__A_R_0104_0023__MILLION)
          & r_0104_0002__are(R_0104_0002__ARE)
          & has_arg0(R_0104_0002__ARE,R_0104_0019__AND)
          & r_0104_0019__and(R_0104_0019__AND)
          & has_conj4(R_0104_0019__AND,R_0104_0024__CHINESE)
          & r_0104_0024__Chinese(R_0104_0024__CHINESE)
          & has_attrib(R_0104_0024__CHINESE,R_0104_0020__CLOSE)
          & r_0104_0020__close(R_0104_0020__CLOSE)
          & has_r_0104_0021__to(R_0104_0020__CLOSE,R_0104_0022__A_R_0104_0023__MILLION)
          & has_conj3(R_0104_0019__AND,R_0104_0014__A_R_0104_0015__MILLION_R_0104_0017__KOREANS)
          & has_conj2(R_0104_0019__AND,R_0104_0008__OKINAWANS)
          & r_0104_0008__Okinawans(R_0104_0008__OKINAWANS)
          & has_r_0104_0009__in(R_0104_0008__OKINAWANS,R_0104_0010__THE_R_0104_0011__SOUTH)
          & has_conj1(R_0104_0019__AND,R_0104_0003__THE_R_0104_0004__AINU)
          & r_0104_0003__the_r_0104_0004__Ainu(R_0104_0003__THE_R_0104_0004__AINU)
          & has_r_0104_0005__of(R_0104_0003__THE_R_0104_0004__AINU,R_0104_0006__HOKKAIDO) ) ) ).