Context                Previous, Next                Top


112_a_stuck_japan
Incomes in South Korea and Taiwan have caught up and even overtaken Japan.

%3 r_0112_0001__Incomes Incomes r_0112_0005__and and r_0112_0001__Incomes->r_0112_0005__and in r_0112_0003__South_r_0112_0004__Korea South Korea r_0112_0005__and->r_0112_0003__South_r_0112_0004__Korea [conj1] r_0112_0006__Taiwan Taiwan r_0112_0005__and->r_0112_0006__Taiwan [conj2] r_0112_0007__have have r_0112_0010__and and r_0112_0007__have->r_0112_0010__and [scope] r_0112_0008__caught_r_0112_0009__up caught up r_0112_0010__and->r_0112_0008__caught_r_0112_0009__up [conj1] r_0112_0012__overtaken overtaken r_0112_0010__and->r_0112_0012__overtaken [conj2] r_0112_0008__caught_r_0112_0009__up->r_0112_0001__Incomes [arg0] r_0112_0012__overtaken->r_0112_0001__Incomes [arg0] r_0112_0011__even even r_0112_0012__overtaken->r_0112_0011__even [nim] r_0112_0013__Japan Japan r_0112_0012__overtaken->r_0112_0013__Japan [arg1] 
arc(r_0112_0001__Incomes, r_0112_0005__and, r_0112_0002__in).
arc(r_0112_0005__and, r_0112_0003__South_r_0112_0004__Korea, conj1).
arc(r_0112_0005__and, r_0112_0006__Taiwan, conj2).
arc(r_0112_0007__have, r_0112_0010__and, scope).
arc(r_0112_0008__caught_r_0112_0009__up, r_0112_0001__Incomes, arg0).
arc(r_0112_0010__and, r_0112_0008__caught_r_0112_0009__up, conj1).
arc(r_0112_0010__and, r_0112_0012__overtaken, conj2).
arc(r_0112_0012__overtaken, r_0112_0001__Incomes, arg0).
arc(r_0112_0012__overtaken, r_0112_0011__even, nim34).
arc(r_0112_0012__overtaken, r_0112_0013__Japan, arg1).


%3 r_0112_0007__have have r_0112_0010__and and r_0112_0007__have->r_0112_0010__and [keep_scope] r_0112_0012__overtaken overtaken r_0112_0010__and->r_0112_0012__overtaken [conj2] r_0112_0008__caught_r_0112_0009__up caught up r_0112_0010__and->r_0112_0008__caught_r_0112_0009__up [conj1] r_0112_0013__Japan Japan r_0112_0012__overtaken->r_0112_0013__Japan [arg1] r_0112_0011__even even r_0112_0012__overtaken->r_0112_0011__even [nim] r_0112_0001__Incomes Incomes r_0112_0012__overtaken->r_0112_0001__Incomes [arg0] r_0112_0005__and and r_0112_0001__Incomes->r_0112_0005__and in r_0112_0008__caught_r_0112_0009__up->r_0112_0001__Incomes [arg0] r_0112_0006__Taiwan Taiwan r_0112_0005__and->r_0112_0006__Taiwan [conj2] r_0112_0003__South_r_0112_0004__Korea South Korea r_0112_0005__and->r_0112_0003__South_r_0112_0004__Korea [conj1] 
fof(formula,axiom,
    ~ ? [R_112_10_AND,R_112_8_CAUGHT_UP,R_112_12_OVERTAKEN,R_112_1_INCOMES,R_112_5_AND,R_112_3_SOUTH_KOREA,R_112_6_TAIWAN,R_112_13_JAPAN,R_112_11_EVEN] :
        ( south_Korea(R_112_3_SOUTH_KOREA)
        & taiwan(R_112_6_TAIWAN)
        & japan(R_112_13_JAPAN)
        & even(R_112_11_EVEN)
        & and(R_112_10_AND)
        & conj1(R_112_10_AND,R_112_8_CAUGHT_UP)
        & caught_up(R_112_8_CAUGHT_UP,R_112_1_INCOMES)
        & incomes(R_112_1_INCOMES)
        & in(R_112_1_INCOMES,R_112_5_AND)
        & and(R_112_5_AND)
        & conj1(R_112_5_AND,R_112_3_SOUTH_KOREA)
        & conj2(R_112_5_AND,R_112_6_TAIWAN)
        & conj2(R_112_10_AND,R_112_12_OVERTAKEN)
        & overtaken(R_112_12_OVERTAKEN,R_112_1_INCOMES,R_112_13_JAPAN)
        & nim34(R_112_12_OVERTAKEN,R_112_11_EVEN) ) ).


n112_a_stuck_japan n112_a_stuck_japan__1_1_1_1 Incomes n112_a_stuck_japan__1_1_2_1_1 in n112_a_stuck_japan__1_1_2_2_1_1_1_1 South n112_a_stuck_japan__1_1_2_2_1_1_2_1 Korea n112_a_stuck_japan__1_1_2_2_1_2_1_1 and n112_a_stuck_japan__1_1_2_2_1_2_2_1_1 Taiwan n112_a_stuck_japan__1_2_1 have n112_a_stuck_japan__1_3_1_1_1_1 caught n112_a_stuck_japan__1_3_1_1_2_1 up n112_a_stuck_japan__1_3_1_2_1_1 and n112_a_stuck_japan__1_3_1_2_2_1_1_1 even n112_a_stuck_japan__1_3_1_2_2_2_1 overtaken n112_a_stuck_japan__1_3_1_2_2_3_1_1 Japan n112_a_stuck_japan__1_4_1 . n112_a_stuck_japan__1 IP-MAT n112_a_stuck_japan__1_1 NP-SBJ n112_a_stuck_japan__1->n112_a_stuck_japan__1_1 n112_a_stuck_japan__1_2 HVP;_cat_Ve_ n112_a_stuck_japan__1->n112_a_stuck_japan__1_2 n112_a_stuck_japan__1_3 IP-PPL-CAT n112_a_stuck_japan__1->n112_a_stuck_japan__1_3 n112_a_stuck_japan__1_4 PUNC n112_a_stuck_japan__1->n112_a_stuck_japan__1_4 n112_a_stuck_japan__1_1_1 NS n112_a_stuck_japan__1_1->n112_a_stuck_japan__1_1_1 n112_a_stuck_japan__1_1_2 PP n112_a_stuck_japan__1_1->n112_a_stuck_japan__1_1_2 n112_a_stuck_japan__1_1_1->n112_a_stuck_japan__1_1_1_1 n112_a_stuck_japan__1_1_2_1 P-ROLE n112_a_stuck_japan__1_1_2->n112_a_stuck_japan__1_1_2_1 n112_a_stuck_japan__1_1_2_2 NP n112_a_stuck_japan__1_1_2->n112_a_stuck_japan__1_1_2_2 n112_a_stuck_japan__1_1_2_1->n112_a_stuck_japan__1_1_2_1_1 n112_a_stuck_japan__1_1_2_2_1 NLYR n112_a_stuck_japan__1_1_2_2->n112_a_stuck_japan__1_1_2_2_1 n112_a_stuck_japan__1_1_2_2_1_1 NLYR n112_a_stuck_japan__1_1_2_2_1->n112_a_stuck_japan__1_1_2_2_1_1 n112_a_stuck_japan__1_1_2_2_1_2 CONJP n112_a_stuck_japan__1_1_2_2_1->n112_a_stuck_japan__1_1_2_2_1_2 n112_a_stuck_japan__1_1_2_2_1_1_1 NPR n112_a_stuck_japan__1_1_2_2_1_1->n112_a_stuck_japan__1_1_2_2_1_1_1 n112_a_stuck_japan__1_1_2_2_1_1_2 NPR n112_a_stuck_japan__1_1_2_2_1_1->n112_a_stuck_japan__1_1_2_2_1_1_2 n112_a_stuck_japan__1_1_2_2_1_1_1->n112_a_stuck_japan__1_1_2_2_1_1_1_1 n112_a_stuck_japan__1_1_2_2_1_1_2->n112_a_stuck_japan__1_1_2_2_1_1_2_1 n112_a_stuck_japan__1_1_2_2_1_2_1 CONJ n112_a_stuck_japan__1_1_2_2_1_2->n112_a_stuck_japan__1_1_2_2_1_2_1 n112_a_stuck_japan__1_1_2_2_1_2_2 NLYR n112_a_stuck_japan__1_1_2_2_1_2->n112_a_stuck_japan__1_1_2_2_1_2_2 n112_a_stuck_japan__1_1_2_2_1_2_1->n112_a_stuck_japan__1_1_2_2_1_2_1_1 n112_a_stuck_japan__1_1_2_2_1_2_2_1 NPR n112_a_stuck_japan__1_1_2_2_1_2_2->n112_a_stuck_japan__1_1_2_2_1_2_2_1 n112_a_stuck_japan__1_1_2_2_1_2_2_1->n112_a_stuck_japan__1_1_2_2_1_2_2_1_1 n112_a_stuck_japan__1_2->n112_a_stuck_japan__1_2_1 n112_a_stuck_japan__1_3_1 ILYR n112_a_stuck_japan__1_3->n112_a_stuck_japan__1_3_1 n112_a_stuck_japan__1_3_1_1 ILYR n112_a_stuck_japan__1_3_1->n112_a_stuck_japan__1_3_1_1 n112_a_stuck_japan__1_3_1_2 CONJP n112_a_stuck_japan__1_3_1->n112_a_stuck_japan__1_3_1_2 n112_a_stuck_japan__1_3_1_1_1 VVN;_phr_Vp_ n112_a_stuck_japan__1_3_1_1->n112_a_stuck_japan__1_3_1_1_1 n112_a_stuck_japan__1_3_1_1_2 RP n112_a_stuck_japan__1_3_1_1->n112_a_stuck_japan__1_3_1_1_2 n112_a_stuck_japan__1_3_1_1_1->n112_a_stuck_japan__1_3_1_1_1_1 n112_a_stuck_japan__1_3_1_1_2->n112_a_stuck_japan__1_3_1_1_2_1 n112_a_stuck_japan__1_3_1_2_1 CONJ n112_a_stuck_japan__1_3_1_2->n112_a_stuck_japan__1_3_1_2_1 n112_a_stuck_japan__1_3_1_2_2 ILYR n112_a_stuck_japan__1_3_1_2->n112_a_stuck_japan__1_3_1_2_2 n112_a_stuck_japan__1_3_1_2_1->n112_a_stuck_japan__1_3_1_2_1_1 n112_a_stuck_japan__1_3_1_2_2_1 ADVP-NIM n112_a_stuck_japan__1_3_1_2_2->n112_a_stuck_japan__1_3_1_2_2_1 n112_a_stuck_japan__1_3_1_2_2_2 VVN;_Tn_ n112_a_stuck_japan__1_3_1_2_2->n112_a_stuck_japan__1_3_1_2_2_2 n112_a_stuck_japan__1_3_1_2_2_3 NP-OB1 n112_a_stuck_japan__1_3_1_2_2->n112_a_stuck_japan__1_3_1_2_2_3 n112_a_stuck_japan__1_3_1_2_2_1_1 ADV n112_a_stuck_japan__1_3_1_2_2_1->n112_a_stuck_japan__1_3_1_2_2_1_1 n112_a_stuck_japan__1_3_1_2_2_1_1->n112_a_stuck_japan__1_3_1_2_2_1_1_1 n112_a_stuck_japan__1_3_1_2_2_2->n112_a_stuck_japan__1_3_1_2_2_2_1 n112_a_stuck_japan__1_3_1_2_2_3_1 NPR n112_a_stuck_japan__1_3_1_2_2_3->n112_a_stuck_japan__1_3_1_2_2_3_1 n112_a_stuck_japan__1_3_1_2_2_3_1->n112_a_stuck_japan__1_3_1_2_2_3_1_1 n112_a_stuck_japan__1_4->n112_a_stuck_japan__1_4_1 
( (IP-MAT (NP-SBJ (NS Incomes;{income})
                  (PP (P-ROLE in;{in})
                      (NP (NLYR (NLYR (NPR South;{South})
                                      (NPR Korea;{Korea}))
                                (CONJP (CONJ and;{and})
                                       (NLYR (NPR Taiwan;{Taiwan})))))))
          (HVP;_cat_Ve_ have;{have})
          (IP-PPL-CAT (ILYR (ILYR (VVN;_phr_Vp_ caught;{catch[up]})
                                  (RP up;{up}))
                            (CONJP (CONJ and;{and})
                                   (ILYR (ADVP-NIM (ADV even;{even}))
                                         (VVN;_Tn_ overtaken;{overtake})
                                         (NP-OB1 (NPR Japan;{Japan}))))))
          (PUNC .))
  (ID 112_a_stuck_japan))