6_a_stuck_japan
This is the world's third - largest economy.
arc(r_0006_0002__is, r_0006_0001__This, arg0).
arc(r_0006_0002__is, r_0006_0009__economy, prd).
arc(r_0006_0009__economy, r_0006_0003__the_r_0006_0004__world_r_0006_0005___apos_s, gen).
arc(r_0006_0009__economy, r_0006_0006__third_r_0006_0008__largest, attrib15).
fof(formula,axiom,
? [R_0006_0001__THIS,R_0006_0003__THE_R_0006_0004__WORLD_R_0006_0005___APOS_S,R_0006_0006__THIRD_R_0006_0008__LARGEST,R_0006_0009__ECONOMY,R_0006_0002__IS] :
( r_0006_0001__This(R_0006_0001__THIS)
& r_0006_0003__the_r_0006_0004__world_r_0006_0005___apos_s(R_0006_0003__THE_R_0006_0004__WORLD_R_0006_0005___APOS_S)
& r_0006_0006__third_r_0006_0008__largest(R_0006_0006__THIRD_R_0006_0008__LARGEST)
& r_0006_0002__is(R_0006_0002__IS)
& has_prd(R_0006_0002__IS,R_0006_0009__ECONOMY)
& r_0006_0009__economy(R_0006_0009__ECONOMY)
& has_attrib15(R_0006_0009__ECONOMY,R_0006_0006__THIRD_R_0006_0008__LARGEST)
& has_gen(R_0006_0009__ECONOMY,R_0006_0003__THE_R_0006_0004__WORLD_R_0006_0005___APOS_S)
& has_arg0(R_0006_0002__IS,R_0006_0001__THIS) ) ).
( (IP-MAT (NP-SBJ (D This;{this}))
(BEP;_Ln_ is;{be})
(NP-PRD (NP-GEN (D the;{the})
(N world;{world})
(GENM <apos>s))
(ADJP (ADJ third;{third})
(PUNC <hyphen>)
(ADJS largest;{large}))
(N economy;{economy}))
(PUNC .))
(ID 6_a_stuck_japan))