6_a_stuck_japan
This is the world's third - largest economy.
( (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))
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,gen).
arc(r_0006_0009__economy,r_0006_0006__third_r_0006_0008__largest,attrib).
fof(formula,axiom,
? [R_0006_0001__THIS,R_0006_0003__THE_R_0006_0004__WORLD,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_0003__THE_R_0006_0004__WORLD)
& 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_attrib(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)
& has_arg0(R_0006_0002__IS,R_0006_0001__THIS) ) ).