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_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 [keep_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] 
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_4 Incomes n112_a_stuck_japan_7 in n112_a_stuck_japan_12 South n112_a_stuck_japan_14 Korea n112_a_stuck_japan_17 and n112_a_stuck_japan_20 Taiwan n112_a_stuck_japan_22 have n112_a_stuck_japan_27 caught n112_a_stuck_japan_29 up n112_a_stuck_japan_32 and n112_a_stuck_japan_36 even n112_a_stuck_japan_38 overtaken n112_a_stuck_japan_41 Japan n112_a_stuck_japan_43 . n112_a_stuck_japan_1 IP-MAT n112_a_stuck_japan_2 NP-SBJ n112_a_stuck_japan_1->n112_a_stuck_japan_2 n112_a_stuck_japan_21 HVP;_cat_Ve_ n112_a_stuck_japan_1->n112_a_stuck_japan_21 n112_a_stuck_japan_23 IP-PPL-CAT n112_a_stuck_japan_1->n112_a_stuck_japan_23 n112_a_stuck_japan_42 PUNC n112_a_stuck_japan_1->n112_a_stuck_japan_42 n112_a_stuck_japan_3 NS n112_a_stuck_japan_2->n112_a_stuck_japan_3 n112_a_stuck_japan_5 PP n112_a_stuck_japan_2->n112_a_stuck_japan_5 n112_a_stuck_japan_3->n112_a_stuck_japan_4 n112_a_stuck_japan_6 P-ROLE n112_a_stuck_japan_5->n112_a_stuck_japan_6 n112_a_stuck_japan_8 NP n112_a_stuck_japan_5->n112_a_stuck_japan_8 n112_a_stuck_japan_6->n112_a_stuck_japan_7 n112_a_stuck_japan_9 NLYR n112_a_stuck_japan_8->n112_a_stuck_japan_9 n112_a_stuck_japan_10 NLYR n112_a_stuck_japan_9->n112_a_stuck_japan_10 n112_a_stuck_japan_15 CONJP n112_a_stuck_japan_9->n112_a_stuck_japan_15 n112_a_stuck_japan_11 NPR n112_a_stuck_japan_10->n112_a_stuck_japan_11 n112_a_stuck_japan_13 NPR n112_a_stuck_japan_10->n112_a_stuck_japan_13 n112_a_stuck_japan_11->n112_a_stuck_japan_12 n112_a_stuck_japan_13->n112_a_stuck_japan_14 n112_a_stuck_japan_16 CONJ n112_a_stuck_japan_15->n112_a_stuck_japan_16 n112_a_stuck_japan_18 NLYR n112_a_stuck_japan_15->n112_a_stuck_japan_18 n112_a_stuck_japan_16->n112_a_stuck_japan_17 n112_a_stuck_japan_19 NPR n112_a_stuck_japan_18->n112_a_stuck_japan_19 n112_a_stuck_japan_19->n112_a_stuck_japan_20 n112_a_stuck_japan_21->n112_a_stuck_japan_22 n112_a_stuck_japan_24 ILYR n112_a_stuck_japan_23->n112_a_stuck_japan_24 n112_a_stuck_japan_25 ILYR n112_a_stuck_japan_24->n112_a_stuck_japan_25 n112_a_stuck_japan_30 CONJP n112_a_stuck_japan_24->n112_a_stuck_japan_30 n112_a_stuck_japan_26 VVN;_phr_Vp_ n112_a_stuck_japan_25->n112_a_stuck_japan_26 n112_a_stuck_japan_28 RP n112_a_stuck_japan_25->n112_a_stuck_japan_28 n112_a_stuck_japan_26->n112_a_stuck_japan_27 n112_a_stuck_japan_28->n112_a_stuck_japan_29 n112_a_stuck_japan_31 CONJ n112_a_stuck_japan_30->n112_a_stuck_japan_31 n112_a_stuck_japan_33 ILYR n112_a_stuck_japan_30->n112_a_stuck_japan_33 n112_a_stuck_japan_31->n112_a_stuck_japan_32 n112_a_stuck_japan_34 ADVP-NIM n112_a_stuck_japan_33->n112_a_stuck_japan_34 n112_a_stuck_japan_37 VVN;_Tn_ n112_a_stuck_japan_33->n112_a_stuck_japan_37 n112_a_stuck_japan_39 NP-OB1 n112_a_stuck_japan_33->n112_a_stuck_japan_39 n112_a_stuck_japan_35 ADV n112_a_stuck_japan_34->n112_a_stuck_japan_35 n112_a_stuck_japan_35->n112_a_stuck_japan_36 n112_a_stuck_japan_37->n112_a_stuck_japan_38 n112_a_stuck_japan_40 NPR n112_a_stuck_japan_39->n112_a_stuck_japan_40 n112_a_stuck_japan_40->n112_a_stuck_japan_41 n112_a_stuck_japan_42->n112_a_stuck_japan_43 
( (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))