97_a_stuck_japan
A third of Japanese people are over 60, making Japan home to the oldest population in the world, after tiny Monaco.
( (IP-MAT (NP-SBJ (D A;{a})
(N third;{third})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ Japanese;{Japanese}))
(NS people;{person}))))
(BEP;__ are;{be})
(PP-CLR (P-ROLE over;{over})
(NP (NUM 60)))
(PUNC ,)
(PP-SCON (IP-PPL (VAG;_Cn.i_ making;{make})
(NP-OB1 (NPR Japan;{Japan}))
(IP-INF-PRD (VB;__ home;{home})
(PP-NIM (P-ROLE to;{to})
(NP (D the;{the})
(ADJP (ADJS oldest;{old}))
(N population;{population})
(PP (P-ROLE in;{in})
(NP (D the;{the})
(N world;{world})
(PUNC ,)
(PP (P-ROLE after;{after})
(NP (ADJP (ADJ tiny;{tiny}))
(NPR Monaco;{Monaco}))))))))))
(PUNC .))
(ID 97_a_stuck_japan))
arc(r_0097_0001__A_r_0097_0002__third,r_0097_0005__people,r_0097_0003__of).
arc(r_0097_0005__people,r_0097_0004__Japanese,attrib).
arc(r_0097_0006__are,r_0097_0001__A_r_0097_0002__third,arg0).
arc(r_0097_0006__are,r_0097_0008__60,r_0097_0007__over__clr).
arc(r_0097_0010__making,r_0097_0008__60,arg0).
arc(r_0097_0010__making,r_0097_0011__Japan,arg1).
arc(r_0097_0010__making,r_0097_0012__home,prd).
arc(r_0097_0012__home,r_0097_0014__the_r_0097_0016__population,r_0097_0013__to__nim).
arc(r_0097_0012__home,z_0097_5009,arg0).
arc(r_0097_0014__the_r_0097_0016__population,r_0097_0015__oldest,attrib).
arc(r_0097_0014__the_r_0097_0016__population,r_0097_0018__the_r_0097_0019__world,r_0097_0017__in).
arc(r_0097_0018__the_r_0097_0019__world,r_0097_0023__Monaco,r_0097_0021__after).
arc(r_0097_0023__Monaco,r_0097_0022__tiny,attrib).
arc(z_0097_5005,r_0097_0006__are,scope).
arc(z_0097_5005,r_0097_0010__making,restriction).
fof(formula,axiom,
? [R_0097_0004__JAPANESE,R_0097_0005__PEOPLE,R_0097_0001__A_R_0097_0002__THIRD,R_0097_0008__60,R_0097_0006__ARE,R_0097_0011__JAPAN,R_0097_0015__OLDEST,R_0097_0022__TINY,R_0097_0023__MONACO,R_0097_0018__THE_R_0097_0019__WORLD,R_0097_0014__THE_R_0097_0016__POPULATION,Z_0097_5009,R_0097_0012__HOME,R_0097_0010__MAKING,Z_0097_5005] :
( r_0097_0004__Japanese(R_0097_0004__JAPANESE)
& r_0097_0008__60(R_0097_0008__60)
& r_0097_0011__Japan(R_0097_0011__JAPAN)
& r_0097_0015__oldest(R_0097_0015__OLDEST)
& r_0097_0022__tiny(R_0097_0022__TINY)
& z_0097_5009(Z_0097_5009)
& z_0097_5005(Z_0097_5005)
& has_conj1(Z_0097_5005,R_0097_0010__MAKING)
& r_0097_0010__making(R_0097_0010__MAKING)
& has_prd(R_0097_0010__MAKING,R_0097_0012__HOME)
& r_0097_0012__home(R_0097_0012__HOME)
& has_arg0(R_0097_0012__HOME,Z_0097_5009)
& has_r_0097_0013__to__nim(R_0097_0012__HOME,R_0097_0014__THE_R_0097_0016__POPULATION)
& r_0097_0014__the_r_0097_0016__population(R_0097_0014__THE_R_0097_0016__POPULATION)
& has_r_0097_0017__in(R_0097_0014__THE_R_0097_0016__POPULATION,R_0097_0018__THE_R_0097_0019__WORLD)
& r_0097_0018__the_r_0097_0019__world(R_0097_0018__THE_R_0097_0019__WORLD)
& has_r_0097_0021__after(R_0097_0018__THE_R_0097_0019__WORLD,R_0097_0023__MONACO)
& r_0097_0023__Monaco(R_0097_0023__MONACO)
& has_attrib(R_0097_0023__MONACO,R_0097_0022__TINY)
& has_attrib(R_0097_0014__THE_R_0097_0016__POPULATION,R_0097_0015__OLDEST)
& has_arg1(R_0097_0010__MAKING,R_0097_0011__JAPAN)
& has_arg0(R_0097_0010__MAKING,R_0097_0008__60)
& has_conj2(Z_0097_5005,R_0097_0006__ARE)
& r_0097_0006__are(R_0097_0006__ARE)
& has_r_0097_0007__over__clr(R_0097_0006__ARE,R_0097_0008__60)
& has_arg0(R_0097_0006__ARE,R_0097_0001__A_R_0097_0002__THIRD)
& r_0097_0001__A_r_0097_0002__third(R_0097_0001__A_R_0097_0002__THIRD)
& has_r_0097_0003__of(R_0097_0001__A_R_0097_0002__THIRD,R_0097_0005__PEOPLE)
& r_0097_0005__people(R_0097_0005__PEOPLE)
& has_attrib(R_0097_0005__PEOPLE,R_0097_0004__JAPANESE) ) ).