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

%3 r_0020_0001__If If r_0020_0006__were were r_0020_0001__If->r_0020_0006__were [restriction] r_0020_0013__was was r_0020_0001__If->r_0020_0013__was [scope] r_0020_0004__and and r_0020_0006__were->r_0020_0004__and [arg0] r_0020_0010__teenagers teenagers r_0020_0006__were->r_0020_0010__teenagers [prd] r_0020_0012__Japan Japan r_0020_0013__was->r_0020_0012__Japan [arg0] r_0020_0014__the the r_0020_0013__was->r_0020_0014__the [prd] r_0020_0002__Hong_r_0020_0003__Kong Hong Kong r_0020_0004__and->r_0020_0002__Hong_r_0020_0003__Kong [conj1] r_0020_0005__Taipei Taipei r_0020_0004__and->r_0020_0005__Taipei [conj2] r_0020_0007__Asia_r_0020_0008___apos_s Asia 's r_0020_0010__teenagers->r_0020_0007__Asia_r_0020_0008___apos_s [gen] r_0020_0009__raucous raucous r_0020_0010__teenagers->r_0020_0009__raucous [attrib] r_0020_0015__grown_r_0020_0017__up grown up r_0020_0015__grown_r_0020_0017__up->r_0020_0014__the [arg0]
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).



%3 r_0020_0001__If If r_0020_0006__were were r_0020_0001__If->r_0020_0006__were [restriction] r_0020_0013__was was r_0020_0001__If->r_0020_0013__was [scope] r_0020_0004__and and r_0020_0006__were->r_0020_0004__and [arg0] r_0020_0010__teenagers teenagers r_0020_0006__were->r_0020_0010__teenagers [prd] r_0020_0012__Japan Japan r_0020_0013__was->r_0020_0012__Japan [arg0] r_0020_0014__the the r_0020_0013__was->r_0020_0014__the [prd] r_0020_0002__Hong_r_0020_0003__Kong Hong Kong r_0020_0004__and->r_0020_0002__Hong_r_0020_0003__Kong [conj1] r_0020_0005__Taipei Taipei r_0020_0004__and->r_0020_0005__Taipei [conj2] r_0020_0007__Asia_r_0020_0008___apos_s Asia 's r_0020_0010__teenagers->r_0020_0007__Asia_r_0020_0008___apos_s [gen] r_0020_0009__raucous raucous r_0020_0010__teenagers->r_0020_0009__raucous [attrib] r_0020_0015__grown_r_0020_0017__up grown up r_0020_0015__grown_r_0020_0017__up->r_0020_0014__the [arg0]
fof(formula,axiom,
    ? [R_20_15_GROWN_UP,R_20_14_THE] :
      ( the(R_20_14_THE)
      & ! [R_20_6_WERE,R_20_4_AND,R_20_2_HONG_KONG,R_20_5_TAIPEI,R_20_10_TEENAGERS,R_20_9_RAUCOUS,R_20_7_ASIA_APOS_S] :
          ( ( hong_Kong(R_20_2_HONG_KONG)
            & taipei(R_20_5_TAIPEI)
            & raucous(R_20_9_RAUCOUS)
            & asia_apos_s(R_20_7_ASIA_APOS_S)
            & were(R_20_6_WERE,R_20_4_AND,R_20_10_TEENAGERS)
            & and(R_20_4_AND)
            & conj1(R_20_4_AND,R_20_2_HONG_KONG)
            & conj2(R_20_4_AND,R_20_5_TAIPEI)
            & teenagers(R_20_10_TEENAGERS)
            & attrib27(R_20_10_TEENAGERS,R_20_9_RAUCOUS)
            & gen(R_20_10_TEENAGERS,R_20_7_ASIA_APOS_S) )
         => ? [R_20_13_WAS,R_20_12_JAPAN] :
              ( japan(R_20_12_JAPAN)
              & was(R_20_13_WAS,R_20_12_JAPAN,R_20_14_THE) ) )
      & grown_up(R_20_15_GROWN_UP,R_20_14_THE) ) ).



n20_a_stuck_japan n20_a_stuck_japan_4 If n20_a_stuck_japan_10 Hong n20_a_stuck_japan_12 Kong n20_a_stuck_japan_15 and n20_a_stuck_japan_18 Taipei n20_a_stuck_japan_20 were n20_a_stuck_japan_24 Asia n20_a_stuck_japan_26 's n20_a_stuck_japan_29 raucous n20_a_stuck_japan_31 teenagers n20_a_stuck_japan_33 , n20_a_stuck_japan_36 Japan n20_a_stuck_japan_38 was n20_a_stuck_japan_41 the n20_a_stuck_japan_44 grown n20_a_stuck_japan_46 - n20_a_stuck_japan_48 up n20_a_stuck_japan_50 . n20_a_stuck_japan_1 IP-MAT n20_a_stuck_japan_2 PP-SCON n20_a_stuck_japan_1->n20_a_stuck_japan_2 n20_a_stuck_japan_32 PUNC n20_a_stuck_japan_1->n20_a_stuck_japan_32 n20_a_stuck_japan_34 NP-SBJ n20_a_stuck_japan_1->n20_a_stuck_japan_34 n20_a_stuck_japan_37 BED;_Ln_ n20_a_stuck_japan_1->n20_a_stuck_japan_37 n20_a_stuck_japan_39 NP-PRD n20_a_stuck_japan_1->n20_a_stuck_japan_39 n20_a_stuck_japan_49 PUNC n20_a_stuck_japan_1->n20_a_stuck_japan_49 n20_a_stuck_japan_3 P-CONN n20_a_stuck_japan_2->n20_a_stuck_japan_3 n20_a_stuck_japan_5 IP-ADV n20_a_stuck_japan_2->n20_a_stuck_japan_5 n20_a_stuck_japan_3->n20_a_stuck_japan_4 n20_a_stuck_japan_6 NP-SBJ n20_a_stuck_japan_5->n20_a_stuck_japan_6 n20_a_stuck_japan_19 BED;_Ln_ n20_a_stuck_japan_5->n20_a_stuck_japan_19 n20_a_stuck_japan_21 NP-PRD n20_a_stuck_japan_5->n20_a_stuck_japan_21 n20_a_stuck_japan_7 NLYR n20_a_stuck_japan_6->n20_a_stuck_japan_7 n20_a_stuck_japan_8 NLYR n20_a_stuck_japan_7->n20_a_stuck_japan_8 n20_a_stuck_japan_13 CONJP n20_a_stuck_japan_7->n20_a_stuck_japan_13 n20_a_stuck_japan_9 NPR n20_a_stuck_japan_8->n20_a_stuck_japan_9 n20_a_stuck_japan_11 NPR n20_a_stuck_japan_8->n20_a_stuck_japan_11 n20_a_stuck_japan_9->n20_a_stuck_japan_10 n20_a_stuck_japan_11->n20_a_stuck_japan_12 n20_a_stuck_japan_14 CONJ n20_a_stuck_japan_13->n20_a_stuck_japan_14 n20_a_stuck_japan_16 NLYR n20_a_stuck_japan_13->n20_a_stuck_japan_16 n20_a_stuck_japan_14->n20_a_stuck_japan_15 n20_a_stuck_japan_17 NPR n20_a_stuck_japan_16->n20_a_stuck_japan_17 n20_a_stuck_japan_17->n20_a_stuck_japan_18 n20_a_stuck_japan_19->n20_a_stuck_japan_20 n20_a_stuck_japan_22 NP-GEN n20_a_stuck_japan_21->n20_a_stuck_japan_22 n20_a_stuck_japan_27 ADJP n20_a_stuck_japan_21->n20_a_stuck_japan_27 n20_a_stuck_japan_30 NS n20_a_stuck_japan_21->n20_a_stuck_japan_30 n20_a_stuck_japan_23 NPR n20_a_stuck_japan_22->n20_a_stuck_japan_23 n20_a_stuck_japan_25 GENM n20_a_stuck_japan_22->n20_a_stuck_japan_25 n20_a_stuck_japan_23->n20_a_stuck_japan_24 n20_a_stuck_japan_25->n20_a_stuck_japan_26 n20_a_stuck_japan_28 ADJ n20_a_stuck_japan_27->n20_a_stuck_japan_28 n20_a_stuck_japan_28->n20_a_stuck_japan_29 n20_a_stuck_japan_30->n20_a_stuck_japan_31 n20_a_stuck_japan_32->n20_a_stuck_japan_33 n20_a_stuck_japan_35 NPR n20_a_stuck_japan_34->n20_a_stuck_japan_35 n20_a_stuck_japan_35->n20_a_stuck_japan_36 n20_a_stuck_japan_37->n20_a_stuck_japan_38 n20_a_stuck_japan_40 D n20_a_stuck_japan_39->n20_a_stuck_japan_40 n20_a_stuck_japan_42 IP-PPL n20_a_stuck_japan_39->n20_a_stuck_japan_42 n20_a_stuck_japan_40->n20_a_stuck_japan_41 n20_a_stuck_japan_43 VVN;_phr_Vp_ n20_a_stuck_japan_42->n20_a_stuck_japan_43 n20_a_stuck_japan_45 PUNC n20_a_stuck_japan_42->n20_a_stuck_japan_45 n20_a_stuck_japan_47 RP n20_a_stuck_japan_42->n20_a_stuck_japan_47 n20_a_stuck_japan_43->n20_a_stuck_japan_44 n20_a_stuck_japan_45->n20_a_stuck_japan_46 n20_a_stuck_japan_47->n20_a_stuck_japan_48 n20_a_stuck_japan_49->n20_a_stuck_japan_50
( (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))