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.
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, attrib11).
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_clr21).
arc(r_0097_0010__making, r_0097_0001__A_r_0097_0002__third, 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_nim39).
arc(r_0097_0012__home, x_000_97_a_stuck_japan_33, arg0).
arc(r_0097_0014__the_r_0097_0016__population, r_0097_0015__oldest, attrib42).
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, attrib61).
arc(z_000_97_a_stuck_japan_26, r_0097_0006__are, scope).
arc(z_000_97_a_stuck_japan_26, r_0097_0010__making, restriction).
fof(formula,axiom,
? [Z_97_A_STUCK_JAPAN_26,R_97_10_MAKING,R_97_11_JAPAN,R_97_12_HOME,X_97_A_STUCK_JAPAN_33,R_97_14_THE_POPULATION,R_97_15_OLDEST,R_97_18_THE_WORLD,R_97_23_MONACO,R_97_22_TINY,R_97_6_ARE,R_97_1_A_THIRD,R_97_5_PEOPLE,R_97_4_JAPANESE,R_97_8_60] :
( japan(R_97_11_JAPAN)
& oldest(R_97_15_OLDEST)
& tiny(R_97_22_TINY)
& japanese(R_97_4_JAPANESE)
& 60(R_97_8_60)
& z_97_a_stuck_japan_26(Z_97_A_STUCK_JAPAN_26)
& conj1(Z_97_A_STUCK_JAPAN_26,R_97_10_MAKING)
& making(R_97_10_MAKING,R_97_1_A_THIRD,R_97_11_JAPAN,R_97_12_HOME)
& a_third(R_97_1_A_THIRD)
& of(R_97_1_A_THIRD,R_97_5_PEOPLE)
& people(R_97_5_PEOPLE)
& attrib11(R_97_5_PEOPLE,R_97_4_JAPANESE)
& home(R_97_12_HOME,X_97_A_STUCK_JAPAN_33)
& to_nim39(R_97_12_HOME,R_97_14_THE_POPULATION)
& the_population(R_97_14_THE_POPULATION)
& attrib42(R_97_14_THE_POPULATION,R_97_15_OLDEST)
& in(R_97_14_THE_POPULATION,R_97_18_THE_WORLD)
& the_world(R_97_18_THE_WORLD)
& after(R_97_18_THE_WORLD,R_97_23_MONACO)
& monaco(R_97_23_MONACO)
& attrib61(R_97_23_MONACO,R_97_22_TINY)
& conj2(Z_97_A_STUCK_JAPAN_26,R_97_6_ARE)
& are(R_97_6_ARE,R_97_1_A_THIRD)
& over_clr21(R_97_6_ARE,R_97_8_60) ) ).
( (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))