TSPC 20_a_stuck

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

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_r_0020_0008___apos_s, gen).
arc(r_0020_0010__teenagers, r_0020_0009__raucous, attrib27).
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, arg0).

fof(formula,axiom,
    ? [R_0020_0014__THE,R_0020_0015__GROWN_R_0020_0017__UP] :
      ( r_0020_0014__the(R_0020_0014__THE)
      & r_0020_0015__grown_r_0020_0017__up(R_0020_0015__GROWN_R_0020_0017__UP)
      & has_arg0(R_0020_0015__GROWN_R_0020_0017__UP,R_0020_0014__THE)
      & ! [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_0008___APOS_S,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_0008___apos_s(R_0020_0007__ASIA_R_0020_0008___APOS_S)
            & 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_attrib27(R_0020_0010__TEENAGERS,R_0020_0009__RAUCOUS)
            & has_gen(R_0020_0010__TEENAGERS,R_0020_0007__ASIA_R_0020_0008___APOS_S)
            & 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_0013__WAS] :
              ( r_0020_0012__Japan(R_0020_0012__JAPAN)
              & r_0020_0013__was(R_0020_0013__WAS)
              & has_prd(R_0020_0013__WAS,R_0020_0014__THE)
              & has_arg0(R_0020_0013__WAS,R_0020_0012__JAPAN) ) ) ) ).

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