10_a_stuck_japan
In the late 1980s, Japanese people were richer than Americans.

n10_a_stuck_japan n10_a_stuck_japan__1_1_1_1 In n10_a_stuck_japan__1_1_2_1_1 the n10_a_stuck_japan__1_1_2_2_1_1 late n10_a_stuck_japan__1_1_2_3_1 1980s n10_a_stuck_japan__1_2_1 , n10_a_stuck_japan__1_3_1_1_1 Japanese n10_a_stuck_japan__1_3_2_1 people n10_a_stuck_japan__1_4_1 were n10_a_stuck_japan__1_5_1_1 richer n10_a_stuck_japan__1_5_2_1_1 than n10_a_stuck_japan__1_5_2_2_1_1 Americans n10_a_stuck_japan__1_6_1 . n10_a_stuck_japan__1 IP-MAT n10_a_stuck_japan__1_1 PP-NIM n10_a_stuck_japan__1->n10_a_stuck_japan__1_1 n10_a_stuck_japan__1_2 PUNC n10_a_stuck_japan__1->n10_a_stuck_japan__1_2 n10_a_stuck_japan__1_3 NP-SBJ n10_a_stuck_japan__1->n10_a_stuck_japan__1_3 n10_a_stuck_japan__1_4 BED;_La_ n10_a_stuck_japan__1->n10_a_stuck_japan__1_4 n10_a_stuck_japan__1_5 ADJP-PRD n10_a_stuck_japan__1->n10_a_stuck_japan__1_5 n10_a_stuck_japan__1_6 PUNC n10_a_stuck_japan__1->n10_a_stuck_japan__1_6 n10_a_stuck_japan__1_1_1 P-ROLE n10_a_stuck_japan__1_1->n10_a_stuck_japan__1_1_1 n10_a_stuck_japan__1_1_2 NP n10_a_stuck_japan__1_1->n10_a_stuck_japan__1_1_2 n10_a_stuck_japan__1_1_1->n10_a_stuck_japan__1_1_1_1 n10_a_stuck_japan__1_1_2_1 D n10_a_stuck_japan__1_1_2->n10_a_stuck_japan__1_1_2_1 n10_a_stuck_japan__1_1_2_2 ADJP n10_a_stuck_japan__1_1_2->n10_a_stuck_japan__1_1_2_2 n10_a_stuck_japan__1_1_2_3 NS n10_a_stuck_japan__1_1_2->n10_a_stuck_japan__1_1_2_3 n10_a_stuck_japan__1_1_2_1->n10_a_stuck_japan__1_1_2_1_1 n10_a_stuck_japan__1_1_2_2_1 ADJ n10_a_stuck_japan__1_1_2_2->n10_a_stuck_japan__1_1_2_2_1 n10_a_stuck_japan__1_1_2_2_1->n10_a_stuck_japan__1_1_2_2_1_1 n10_a_stuck_japan__1_1_2_3->n10_a_stuck_japan__1_1_2_3_1 n10_a_stuck_japan__1_2->n10_a_stuck_japan__1_2_1 n10_a_stuck_japan__1_3_1 ADJP n10_a_stuck_japan__1_3->n10_a_stuck_japan__1_3_1 n10_a_stuck_japan__1_3_2 NS n10_a_stuck_japan__1_3->n10_a_stuck_japan__1_3_2 n10_a_stuck_japan__1_3_1_1 ADJ n10_a_stuck_japan__1_3_1->n10_a_stuck_japan__1_3_1_1 n10_a_stuck_japan__1_3_1_1->n10_a_stuck_japan__1_3_1_1_1 n10_a_stuck_japan__1_3_2->n10_a_stuck_japan__1_3_2_1 n10_a_stuck_japan__1_4->n10_a_stuck_japan__1_4_1 n10_a_stuck_japan__1_5_1 ADJR n10_a_stuck_japan__1_5->n10_a_stuck_japan__1_5_1 n10_a_stuck_japan__1_5_2 PP n10_a_stuck_japan__1_5->n10_a_stuck_japan__1_5_2 n10_a_stuck_japan__1_5_1->n10_a_stuck_japan__1_5_1_1 n10_a_stuck_japan__1_5_2_1 P-ROLE n10_a_stuck_japan__1_5_2->n10_a_stuck_japan__1_5_2_1 n10_a_stuck_japan__1_5_2_2 NP n10_a_stuck_japan__1_5_2->n10_a_stuck_japan__1_5_2_2 n10_a_stuck_japan__1_5_2_1->n10_a_stuck_japan__1_5_2_1_1 n10_a_stuck_japan__1_5_2_2_1 NPRS n10_a_stuck_japan__1_5_2_2->n10_a_stuck_japan__1_5_2_2_1 n10_a_stuck_japan__1_5_2_2_1->n10_a_stuck_japan__1_5_2_2_1_1 n10_a_stuck_japan__1_6->n10_a_stuck_japan__1_6_1
( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (D the;{the})
                      (ADJP (ADJ late;{late}))
                      (NS 1980s;{1980})))
          (PUNC ,)
          (NP-SBJ;{JAPANESE} (ADJP (ADJ Japanese;{Japanese}))
                             (NS people;{person}))
          (BED;_La_ were;{be})
          (ADJP-PRD (ADJR richer;{rich})
                    (PP (P-ROLE than;{than})
                        (NP (NPRS Americans;{American}))))
          (PUNC .))
  (ID 10_a_stuck_japan))



%3 r_0010_0009__richer richer r_0010_0011__Americans Americans r_0010_0009__richer->r_0010_0011__Americans than r_0010_0008__were were r_0010_0008__were->r_0010_0009__richer [prd] r_0010_0007__people people r_0010_0008__were->r_0010_0007__people [arg0] r_0010_0002__the_r_0010_0004__1980s the 1980s r_0010_0008__were->r_0010_0002__the_r_0010_0004__1980s In [nim] r_0010_0006__Japanese Japanese r_0010_0007__people->r_0010_0006__Japanese [attrib] r_0010_0003__late late r_0010_0002__the_r_0010_0004__1980s->r_0010_0003__late [attrib]
arc(r_0010_0002__the_r_0010_0004__1980s,r_0010_0003__late,attrib).
arc(r_0010_0007__people,r_0010_0006__Japanese,attrib).
arc(r_0010_0008__were,r_0010_0002__the_r_0010_0004__1980s,r_0010_0001__In__nim).
arc(r_0010_0008__were,r_0010_0007__people,arg0).
arc(r_0010_0008__were,r_0010_0009__richer,prd).
arc(r_0010_0009__richer,r_0010_0011__Americans,r_0010_0010__than).



%3 r_0010_0002__the_r_0010_0004__1980s the 1980s r_0010_0003__late late r_0010_0002__the_r_0010_0004__1980s->r_0010_0003__late [attrib] r_0010_0007__people people r_0010_0006__Japanese Japanese r_0010_0007__people->r_0010_0006__Japanese [attrib] r_0010_0008__were were r_0010_0008__were->r_0010_0002__the_r_0010_0004__1980s In [nim] r_0010_0008__were->r_0010_0007__people [arg0] r_0010_0009__richer richer r_0010_0008__were->r_0010_0009__richer [prd] r_0010_0011__Americans Americans r_0010_0009__richer->r_0010_0011__Americans than
fof(formula,axiom,
    ? [R_0010_0003__LATE,R_0010_0002__THE_R_0010_0004__1980S,R_0010_0006__JAPANESE,R_0010_0007__PEOPLE,R_0010_0011__AMERICANS,R_0010_0009__RICHER,R_0010_0008__WERE] :
      ( r_0010_0003__late(R_0010_0003__LATE)
      & r_0010_0006__Japanese(R_0010_0006__JAPANESE)
      & r_0010_0011__Americans(R_0010_0011__AMERICANS)
      & r_0010_0008__were(R_0010_0008__WERE)
      & has_prd(R_0010_0008__WERE,R_0010_0009__RICHER)
      & r_0010_0009__richer(R_0010_0009__RICHER)
      & has_r_0010_0010__than(R_0010_0009__RICHER,R_0010_0011__AMERICANS)
      & has_arg0(R_0010_0008__WERE,R_0010_0007__PEOPLE)
      & r_0010_0007__people(R_0010_0007__PEOPLE)
      & has_attrib(R_0010_0007__PEOPLE,R_0010_0006__JAPANESE)
      & has_r_0010_0001__In__nim(R_0010_0008__WERE,R_0010_0002__THE_R_0010_0004__1980S)
      & r_0010_0002__the_r_0010_0004__1980s(R_0010_0002__THE_R_0010_0004__1980S)
      & has_attrib(R_0010_0002__THE_R_0010_0004__1980S,R_0010_0003__LATE) ) ).