Context                Previous, Next                Top


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_0015__grown_r_0020_0017__up grown up r_0020_0014__the the r_0020_0015__grown_r_0020_0017__up->r_0020_0014__the [arg0] r_0020_0013__was was r_0020_0013__was->r_0020_0014__the [prd] r_0020_0012__Japan Japan r_0020_0013__was->r_0020_0012__Japan [arg0] r_0020_0010__teenagers teenagers r_0020_0009__raucous raucous r_0020_0010__teenagers->r_0020_0009__raucous [attrib] 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_0006__were were r_0020_0006__were->r_0020_0010__teenagers [prd] r_0020_0004__and and r_0020_0006__were->r_0020_0004__and [arg0] r_0020_0005__Taipei Taipei r_0020_0004__and->r_0020_0005__Taipei [conj2] 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_0001__If If r_0020_0001__If->r_0020_0013__was [scope] r_0020_0001__If->r_0020_0006__were [restriction] 
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__1_1_1_1 If n20_a_stuck_japan__1_1_2_1_1_1_1_1 Hong n20_a_stuck_japan__1_1_2_1_1_1_2_1 Kong n20_a_stuck_japan__1_1_2_1_1_2_1_1 and n20_a_stuck_japan__1_1_2_1_1_2_2_1_1 Taipei n20_a_stuck_japan__1_1_2_2_1 were n20_a_stuck_japan__1_1_2_3_1_1_1 Asia n20_a_stuck_japan__1_1_2_3_1_2_1 's n20_a_stuck_japan__1_1_2_3_2_1_1 raucous n20_a_stuck_japan__1_1_2_3_3_1 teenagers n20_a_stuck_japan__1_2_1 , n20_a_stuck_japan__1_3_1_1 Japan n20_a_stuck_japan__1_4_1 was n20_a_stuck_japan__1_5_1_1 the n20_a_stuck_japan__1_5_2_1_1 grown n20_a_stuck_japan__1_5_2_2_1 - n20_a_stuck_japan__1_5_2_3_1 up n20_a_stuck_japan__1_6_1 . n20_a_stuck_japan__1 IP-MAT n20_a_stuck_japan__1_1 PP-SCON n20_a_stuck_japan__1->n20_a_stuck_japan__1_1 n20_a_stuck_japan__1_2 PUNC n20_a_stuck_japan__1->n20_a_stuck_japan__1_2 n20_a_stuck_japan__1_3 NP-SBJ n20_a_stuck_japan__1->n20_a_stuck_japan__1_3 n20_a_stuck_japan__1_4 BED;_Ln_ n20_a_stuck_japan__1->n20_a_stuck_japan__1_4 n20_a_stuck_japan__1_5 NP-PRD n20_a_stuck_japan__1->n20_a_stuck_japan__1_5 n20_a_stuck_japan__1_6 PUNC n20_a_stuck_japan__1->n20_a_stuck_japan__1_6 n20_a_stuck_japan__1_1_1 P-CONN n20_a_stuck_japan__1_1->n20_a_stuck_japan__1_1_1 n20_a_stuck_japan__1_1_2 IP-ADV n20_a_stuck_japan__1_1->n20_a_stuck_japan__1_1_2 n20_a_stuck_japan__1_1_1->n20_a_stuck_japan__1_1_1_1 n20_a_stuck_japan__1_1_2_1 NP-SBJ n20_a_stuck_japan__1_1_2->n20_a_stuck_japan__1_1_2_1 n20_a_stuck_japan__1_1_2_2 BED;_Ln_ n20_a_stuck_japan__1_1_2->n20_a_stuck_japan__1_1_2_2 n20_a_stuck_japan__1_1_2_3 NP-PRD n20_a_stuck_japan__1_1_2->n20_a_stuck_japan__1_1_2_3 n20_a_stuck_japan__1_1_2_1_1 NLYR n20_a_stuck_japan__1_1_2_1->n20_a_stuck_japan__1_1_2_1_1 n20_a_stuck_japan__1_1_2_1_1_1 NLYR n20_a_stuck_japan__1_1_2_1_1->n20_a_stuck_japan__1_1_2_1_1_1 n20_a_stuck_japan__1_1_2_1_1_2 CONJP n20_a_stuck_japan__1_1_2_1_1->n20_a_stuck_japan__1_1_2_1_1_2 n20_a_stuck_japan__1_1_2_1_1_1_1 NPR n20_a_stuck_japan__1_1_2_1_1_1->n20_a_stuck_japan__1_1_2_1_1_1_1 n20_a_stuck_japan__1_1_2_1_1_1_2 NPR n20_a_stuck_japan__1_1_2_1_1_1->n20_a_stuck_japan__1_1_2_1_1_1_2 n20_a_stuck_japan__1_1_2_1_1_1_1->n20_a_stuck_japan__1_1_2_1_1_1_1_1 n20_a_stuck_japan__1_1_2_1_1_1_2->n20_a_stuck_japan__1_1_2_1_1_1_2_1 n20_a_stuck_japan__1_1_2_1_1_2_1 CONJ n20_a_stuck_japan__1_1_2_1_1_2->n20_a_stuck_japan__1_1_2_1_1_2_1 n20_a_stuck_japan__1_1_2_1_1_2_2 NLYR n20_a_stuck_japan__1_1_2_1_1_2->n20_a_stuck_japan__1_1_2_1_1_2_2 n20_a_stuck_japan__1_1_2_1_1_2_1->n20_a_stuck_japan__1_1_2_1_1_2_1_1 n20_a_stuck_japan__1_1_2_1_1_2_2_1 NPR n20_a_stuck_japan__1_1_2_1_1_2_2->n20_a_stuck_japan__1_1_2_1_1_2_2_1 n20_a_stuck_japan__1_1_2_1_1_2_2_1->n20_a_stuck_japan__1_1_2_1_1_2_2_1_1 n20_a_stuck_japan__1_1_2_2->n20_a_stuck_japan__1_1_2_2_1 n20_a_stuck_japan__1_1_2_3_1 NP-GEN n20_a_stuck_japan__1_1_2_3->n20_a_stuck_japan__1_1_2_3_1 n20_a_stuck_japan__1_1_2_3_2 ADJP n20_a_stuck_japan__1_1_2_3->n20_a_stuck_japan__1_1_2_3_2 n20_a_stuck_japan__1_1_2_3_3 NS n20_a_stuck_japan__1_1_2_3->n20_a_stuck_japan__1_1_2_3_3 n20_a_stuck_japan__1_1_2_3_1_1 NPR n20_a_stuck_japan__1_1_2_3_1->n20_a_stuck_japan__1_1_2_3_1_1 n20_a_stuck_japan__1_1_2_3_1_2 GENM n20_a_stuck_japan__1_1_2_3_1->n20_a_stuck_japan__1_1_2_3_1_2 n20_a_stuck_japan__1_1_2_3_1_1->n20_a_stuck_japan__1_1_2_3_1_1_1 n20_a_stuck_japan__1_1_2_3_1_2->n20_a_stuck_japan__1_1_2_3_1_2_1 n20_a_stuck_japan__1_1_2_3_2_1 ADJ n20_a_stuck_japan__1_1_2_3_2->n20_a_stuck_japan__1_1_2_3_2_1 n20_a_stuck_japan__1_1_2_3_2_1->n20_a_stuck_japan__1_1_2_3_2_1_1 n20_a_stuck_japan__1_1_2_3_3->n20_a_stuck_japan__1_1_2_3_3_1 n20_a_stuck_japan__1_2->n20_a_stuck_japan__1_2_1 n20_a_stuck_japan__1_3_1 NPR n20_a_stuck_japan__1_3->n20_a_stuck_japan__1_3_1 n20_a_stuck_japan__1_3_1->n20_a_stuck_japan__1_3_1_1 n20_a_stuck_japan__1_4->n20_a_stuck_japan__1_4_1 n20_a_stuck_japan__1_5_1 D n20_a_stuck_japan__1_5->n20_a_stuck_japan__1_5_1 n20_a_stuck_japan__1_5_2 IP-PPL n20_a_stuck_japan__1_5->n20_a_stuck_japan__1_5_2 n20_a_stuck_japan__1_5_1->n20_a_stuck_japan__1_5_1_1 n20_a_stuck_japan__1_5_2_1 VVN;_phr_Vp_ n20_a_stuck_japan__1_5_2->n20_a_stuck_japan__1_5_2_1 n20_a_stuck_japan__1_5_2_2 PUNC n20_a_stuck_japan__1_5_2->n20_a_stuck_japan__1_5_2_2 n20_a_stuck_japan__1_5_2_3 RP n20_a_stuck_japan__1_5_2->n20_a_stuck_japan__1_5_2_3 n20_a_stuck_japan__1_5_2_1->n20_a_stuck_japan__1_5_2_1_1 n20_a_stuck_japan__1_5_2_2->n20_a_stuck_japan__1_5_2_2_1 n20_a_stuck_japan__1_5_2_3->n20_a_stuck_japan__1_5_2_3_1 n20_a_stuck_japan__1_6->n20_a_stuck_japan__1_6_1 
( (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))