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,
? [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,X_000_97_A_STUCK_JAPAN_33,R_0097_0012__HOME,R_0097_0010__MAKING,Z_000_97_A_STUCK_JAPAN_26] :
( 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)
& x_000_97_a_stuck_japan_33(X_000_97_A_STUCK_JAPAN_33)
& z_000_97_a_stuck_japan_26(Z_000_97_A_STUCK_JAPAN_26)
& has_conj1(Z_000_97_A_STUCK_JAPAN_26,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,X_000_97_A_STUCK_JAPAN_33)
& has_r_0097_0013__to_nim39(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_attrib61(R_0097_0023__MONACO,R_0097_0022__TINY)
& has_attrib42(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_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_attrib11(R_0097_0005__PEOPLE,R_0097_0004__JAPANESE)
& has_conj2(Z_000_97_A_STUCK_JAPAN_26,R_0097_0006__ARE)
& r_0097_0006__are(R_0097_0006__ARE)
& has_r_0097_0007__over_clr21(R_0097_0006__ARE,R_0097_0008__60)
& has_arg0(R_0097_0006__ARE,R_0097_0001__A_R_0097_0002__THIRD) ) ).
( (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))