TSPC 112_a_stuck

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

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

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,nim).
arc(r_0112_0012__overtaken,r_0112_0013__Japan,arg1).

fof(formula,axiom,
    ? [R_0112_0003__SOUTH_R_0112_0004__KOREA,R_0112_0006__TAIWAN,R_0112_0005__AND,R_0112_0001__INCOMES,R_0112_0008__CAUGHT_R_0112_0009__UP,R_0112_0011__EVEN,R_0112_0013__JAPAN,R_0112_0012__OVERTAKEN,R_0112_0010__AND,R_0112_0007__HAVE] :
      ( r_0112_0003__South_r_0112_0004__Korea(R_0112_0003__SOUTH_R_0112_0004__KOREA)
      & r_0112_0006__Taiwan(R_0112_0006__TAIWAN)
      & r_0112_0011__even(R_0112_0011__EVEN)
      & r_0112_0013__Japan(R_0112_0013__JAPAN)
      & r_0112_0007__have(R_0112_0007__HAVE)
      & has_keep_scope(R_0112_0007__HAVE,R_0112_0010__AND)
      & r_0112_0010__and(R_0112_0010__AND)
      & has_conj2(R_0112_0010__AND,R_0112_0012__OVERTAKEN)
      & r_0112_0012__overtaken(R_0112_0012__OVERTAKEN)
      & has_arg1(R_0112_0012__OVERTAKEN,R_0112_0013__JAPAN)
      & has_nim(R_0112_0012__OVERTAKEN,R_0112_0011__EVEN)
      & has_arg0(R_0112_0012__OVERTAKEN,R_0112_0001__INCOMES)
      & r_0112_0001__Incomes(R_0112_0001__INCOMES)
      & has_r_0112_0002__in(R_0112_0001__INCOMES,R_0112_0005__AND)
      & r_0112_0005__and(R_0112_0005__AND)
      & has_conj2(R_0112_0005__AND,R_0112_0006__TAIWAN)
      & has_conj1(R_0112_0005__AND,R_0112_0003__SOUTH_R_0112_0004__KOREA)
      & has_conj1(R_0112_0010__AND,R_0112_0008__CAUGHT_R_0112_0009__UP)
      & r_0112_0008__caught_r_0112_0009__up(R_0112_0008__CAUGHT_R_0112_0009__UP)
      & has_arg0(R_0112_0008__CAUGHT_R_0112_0009__UP,R_0112_0001__INCOMES) ) ).