TSPC 20_a_stuck

20_a_stuck_japan
If Hong Kong and Taipei were Asia's raucous teenagers, Japan was the grown - up.

( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (NLYR (NLYR (NPR Hong;{Hong})
                                               (NPR Kong;{Kong}))
                                         (CONJP (CONJ and;{and})
                                                (NLYR (NPR Taipei;{Taipei})))))
                           (BED;_Ln_ were;{be})
                           (NP-PRD (NP-GEN (NPR Asia;{Asia})
                                           (GENM <apos>s))
                                   (ADJP (ADJ raucous;{raucous}))
                                   (NS teenagers;{teenager}))))
          (PUNC ,)
          (NP-SBJ (NPR Japan;{Japan}))
          (BED;_Ln_ was;{be})
          (NP-PRD (D the;{the})
                  (IP-PPL (VVN;_phr_Vp_ grown;{grow})
                          (PUNC <hyphen>)
                          (RP up;{up})))
          (PUNC .))
  (ID 20_a_stuck_japan))

arc(r_0020_0001__If,r_0020_0006__were,restriction).
arc(r_0020_0001__If,r_0020_0013__was,scope).
arc(r_0020_0004__and,r_0020_0002__Hong_r_0020_0003__Kong,conj1).
arc(r_0020_0004__and,r_0020_0005__Taipei,conj2).
arc(r_0020_0006__were,r_0020_0004__and,arg0).
arc(r_0020_0006__were,r_0020_0010__teenagers,prd).
arc(r_0020_0010__teenagers,r_0020_0007__Asia,gen).
arc(r_0020_0010__teenagers,r_0020_0009__raucous,attrib).
arc(r_0020_0013__was,r_0020_0012__Japan,arg0).
arc(r_0020_0013__was,r_0020_0014__the,prd).
arc(r_0020_0015__grown_r_0020_0017__up,r_0020_0014__the,inv_arg0).

fof(formula,axiom,
    ! [R_0020_0006__WERE,R_0020_0002__HONG_R_0020_0003__KONG,R_0020_0005__TAIPEI,R_0020_0004__AND,R_0020_0007__ASIA,R_0020_0009__RAUCOUS,R_0020_0010__TEENAGERS] :
      ( ( r_0020_0002__Hong_r_0020_0003__Kong(R_0020_0002__HONG_R_0020_0003__KONG)
        & r_0020_0005__Taipei(R_0020_0005__TAIPEI)
        & r_0020_0007__Asia(R_0020_0007__ASIA)
        & r_0020_0009__raucous(R_0020_0009__RAUCOUS)
        & r_0020_0006__were(R_0020_0006__WERE)
        & has_prd(R_0020_0006__WERE,R_0020_0010__TEENAGERS)
        & r_0020_0010__teenagers(R_0020_0010__TEENAGERS)
        & has_attrib(R_0020_0010__TEENAGERS,R_0020_0009__RAUCOUS)
        & has_gen(R_0020_0010__TEENAGERS,R_0020_0007__ASIA)
        & has_arg0(R_0020_0006__WERE,R_0020_0004__AND)
        & r_0020_0004__and(R_0020_0004__AND)
        & has_conj2(R_0020_0004__AND,R_0020_0005__TAIPEI)
        & has_conj1(R_0020_0004__AND,R_0020_0002__HONG_R_0020_0003__KONG) )
     => ? [R_0020_0012__JAPAN,R_0020_0015__GROWN_R_0020_0017__UP,R_0020_0014__THE,R_0020_0013__WAS] :
          ( r_0020_0012__Japan(R_0020_0012__JAPAN)
          & r_0020_0015__grown_r_0020_0017__up(R_0020_0015__GROWN_R_0020_0017__UP)
          & r_0020_0013__was(R_0020_0013__WAS)
          & has_prd(R_0020_0013__WAS,R_0020_0014__THE)
          & r_0020_0014__the(R_0020_0014__THE)
          & has_inv_arg0(R_0020_0014__THE,R_0020_0015__GROWN_R_0020_0017__UP)
          & has_arg0(R_0020_0013__WAS,R_0020_0012__JAPAN) ) ) ).