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.

%3 r_0097_0001__A_r_0097_0002__third A third r_0097_0005__people people r_0097_0001__A_r_0097_0002__third->r_0097_0005__people of r_0097_0004__Japanese Japanese r_0097_0005__people->r_0097_0004__Japanese [attrib] r_0097_0006__are are r_0097_0006__are->r_0097_0001__A_r_0097_0002__third [arg0] r_0097_0008__60 60 r_0097_0006__are->r_0097_0008__60 over [clr] r_0097_0010__making making r_0097_0010__making->r_0097_0001__A_r_0097_0002__third [arg0] r_0097_0011__Japan Japan r_0097_0010__making->r_0097_0011__Japan [arg1] r_0097_0012__home home r_0097_0010__making->r_0097_0012__home [prd] r_0097_0014__the_r_0097_0016__population the population r_0097_0012__home->r_0097_0014__the_r_0097_0016__population to [nim] x_000_97_a_stuck_japan_33 __ r_0097_0012__home->x_000_97_a_stuck_japan_33 [arg0] r_0097_0015__oldest oldest r_0097_0014__the_r_0097_0016__population->r_0097_0015__oldest [attrib] r_0097_0018__the_r_0097_0019__world the world r_0097_0014__the_r_0097_0016__population->r_0097_0018__the_r_0097_0019__world in r_0097_0023__Monaco Monaco r_0097_0018__the_r_0097_0019__world->r_0097_0023__Monaco after r_0097_0022__tiny tiny r_0097_0023__Monaco->r_0097_0022__tiny [attrib] z_000_97_a_stuck_japan_26 z_000_97_a_stuck_japan_26->r_0097_0006__are [scope] z_000_97_a_stuck_japan_26->r_0097_0010__making [restriction]
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).



%3 r_0097_0001__A_r_0097_0002__third A third r_0097_0005__people people r_0097_0001__A_r_0097_0002__third->r_0097_0005__people of r_0097_0004__Japanese Japanese r_0097_0005__people->r_0097_0004__Japanese [attrib] r_0097_0006__are are r_0097_0006__are->r_0097_0001__A_r_0097_0002__third [arg0] r_0097_0008__60 60 r_0097_0006__are->r_0097_0008__60 over [clr] r_0097_0010__making making r_0097_0010__making->r_0097_0001__A_r_0097_0002__third [arg0] r_0097_0011__Japan Japan r_0097_0010__making->r_0097_0011__Japan [arg1] r_0097_0012__home home r_0097_0010__making->r_0097_0012__home [prd] r_0097_0014__the_r_0097_0016__population the population r_0097_0012__home->r_0097_0014__the_r_0097_0016__population to [nim] x_000_97_a_stuck_japan_33 __ r_0097_0012__home->x_000_97_a_stuck_japan_33 [arg0] r_0097_0015__oldest oldest r_0097_0014__the_r_0097_0016__population->r_0097_0015__oldest [attrib] r_0097_0018__the_r_0097_0019__world the world r_0097_0014__the_r_0097_0016__population->r_0097_0018__the_r_0097_0019__world in r_0097_0023__Monaco Monaco r_0097_0018__the_r_0097_0019__world->r_0097_0023__Monaco after r_0097_0022__tiny tiny r_0097_0023__Monaco->r_0097_0022__tiny [attrib] z_000_97_a_stuck_japan_26 z_000_97_a_stuck_japan_26->r_0097_0006__are [conj2] z_000_97_a_stuck_japan_26->r_0097_0010__making [conj1]
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) ) ).



n97_a_stuck_japan n97_a_stuck_japan_4 A n97_a_stuck_japan_6 third n97_a_stuck_japan_9 of n97_a_stuck_japan_13 Japanese n97_a_stuck_japan_15 people n97_a_stuck_japan_17 are n97_a_stuck_japan_20 over n97_a_stuck_japan_23 60 n97_a_stuck_japan_25 , n97_a_stuck_japan_29 making n97_a_stuck_japan_32 Japan n97_a_stuck_japan_35 home n97_a_stuck_japan_38 to n97_a_stuck_japan_41 the n97_a_stuck_japan_44 oldest n97_a_stuck_japan_46 population n97_a_stuck_japan_49 in n97_a_stuck_japan_52 the n97_a_stuck_japan_54 world n97_a_stuck_japan_56 , n97_a_stuck_japan_59 after n97_a_stuck_japan_63 tiny n97_a_stuck_japan_65 Monaco n97_a_stuck_japan_67 . n97_a_stuck_japan_1 IP-MAT n97_a_stuck_japan_2 NP-SBJ n97_a_stuck_japan_1->n97_a_stuck_japan_2 n97_a_stuck_japan_16 BEP;__ n97_a_stuck_japan_1->n97_a_stuck_japan_16 n97_a_stuck_japan_18 PP-CLR n97_a_stuck_japan_1->n97_a_stuck_japan_18 n97_a_stuck_japan_24 PUNC n97_a_stuck_japan_1->n97_a_stuck_japan_24 n97_a_stuck_japan_26 PP-SCON n97_a_stuck_japan_1->n97_a_stuck_japan_26 n97_a_stuck_japan_66 PUNC n97_a_stuck_japan_1->n97_a_stuck_japan_66 n97_a_stuck_japan_3 D n97_a_stuck_japan_2->n97_a_stuck_japan_3 n97_a_stuck_japan_5 N n97_a_stuck_japan_2->n97_a_stuck_japan_5 n97_a_stuck_japan_7 PP n97_a_stuck_japan_2->n97_a_stuck_japan_7 n97_a_stuck_japan_3->n97_a_stuck_japan_4 n97_a_stuck_japan_5->n97_a_stuck_japan_6 n97_a_stuck_japan_8 P-ROLE n97_a_stuck_japan_7->n97_a_stuck_japan_8 n97_a_stuck_japan_10 NP n97_a_stuck_japan_7->n97_a_stuck_japan_10 n97_a_stuck_japan_8->n97_a_stuck_japan_9 n97_a_stuck_japan_11 ADJP n97_a_stuck_japan_10->n97_a_stuck_japan_11 n97_a_stuck_japan_14 NS n97_a_stuck_japan_10->n97_a_stuck_japan_14 n97_a_stuck_japan_12 ADJ n97_a_stuck_japan_11->n97_a_stuck_japan_12 n97_a_stuck_japan_12->n97_a_stuck_japan_13 n97_a_stuck_japan_14->n97_a_stuck_japan_15 n97_a_stuck_japan_16->n97_a_stuck_japan_17 n97_a_stuck_japan_19 P-ROLE n97_a_stuck_japan_18->n97_a_stuck_japan_19 n97_a_stuck_japan_21 NP n97_a_stuck_japan_18->n97_a_stuck_japan_21 n97_a_stuck_japan_19->n97_a_stuck_japan_20 n97_a_stuck_japan_22 NUM n97_a_stuck_japan_21->n97_a_stuck_japan_22 n97_a_stuck_japan_22->n97_a_stuck_japan_23 n97_a_stuck_japan_24->n97_a_stuck_japan_25 n97_a_stuck_japan_27 IP-PPL n97_a_stuck_japan_26->n97_a_stuck_japan_27 n97_a_stuck_japan_28 VAG;_Cn.i_ n97_a_stuck_japan_27->n97_a_stuck_japan_28 n97_a_stuck_japan_30 NP-OB1 n97_a_stuck_japan_27->n97_a_stuck_japan_30 n97_a_stuck_japan_33 IP-INF-PRD n97_a_stuck_japan_27->n97_a_stuck_japan_33 n97_a_stuck_japan_28->n97_a_stuck_japan_29 n97_a_stuck_japan_31 NPR n97_a_stuck_japan_30->n97_a_stuck_japan_31 n97_a_stuck_japan_31->n97_a_stuck_japan_32 n97_a_stuck_japan_34 VB;__ n97_a_stuck_japan_33->n97_a_stuck_japan_34 n97_a_stuck_japan_36 PP-NIM n97_a_stuck_japan_33->n97_a_stuck_japan_36 n97_a_stuck_japan_34->n97_a_stuck_japan_35 n97_a_stuck_japan_37 P-ROLE n97_a_stuck_japan_36->n97_a_stuck_japan_37 n97_a_stuck_japan_39 NP n97_a_stuck_japan_36->n97_a_stuck_japan_39 n97_a_stuck_japan_37->n97_a_stuck_japan_38 n97_a_stuck_japan_40 D n97_a_stuck_japan_39->n97_a_stuck_japan_40 n97_a_stuck_japan_42 ADJP n97_a_stuck_japan_39->n97_a_stuck_japan_42 n97_a_stuck_japan_45 N n97_a_stuck_japan_39->n97_a_stuck_japan_45 n97_a_stuck_japan_47 PP n97_a_stuck_japan_39->n97_a_stuck_japan_47 n97_a_stuck_japan_40->n97_a_stuck_japan_41 n97_a_stuck_japan_43 ADJS n97_a_stuck_japan_42->n97_a_stuck_japan_43 n97_a_stuck_japan_43->n97_a_stuck_japan_44 n97_a_stuck_japan_45->n97_a_stuck_japan_46 n97_a_stuck_japan_48 P-ROLE n97_a_stuck_japan_47->n97_a_stuck_japan_48 n97_a_stuck_japan_50 NP n97_a_stuck_japan_47->n97_a_stuck_japan_50 n97_a_stuck_japan_48->n97_a_stuck_japan_49 n97_a_stuck_japan_51 D n97_a_stuck_japan_50->n97_a_stuck_japan_51 n97_a_stuck_japan_53 N n97_a_stuck_japan_50->n97_a_stuck_japan_53 n97_a_stuck_japan_55 PUNC n97_a_stuck_japan_50->n97_a_stuck_japan_55 n97_a_stuck_japan_57 PP n97_a_stuck_japan_50->n97_a_stuck_japan_57 n97_a_stuck_japan_51->n97_a_stuck_japan_52 n97_a_stuck_japan_53->n97_a_stuck_japan_54 n97_a_stuck_japan_55->n97_a_stuck_japan_56 n97_a_stuck_japan_58 P-ROLE n97_a_stuck_japan_57->n97_a_stuck_japan_58 n97_a_stuck_japan_60 NP n97_a_stuck_japan_57->n97_a_stuck_japan_60 n97_a_stuck_japan_58->n97_a_stuck_japan_59 n97_a_stuck_japan_61 ADJP n97_a_stuck_japan_60->n97_a_stuck_japan_61 n97_a_stuck_japan_64 NPR n97_a_stuck_japan_60->n97_a_stuck_japan_64 n97_a_stuck_japan_62 ADJ n97_a_stuck_japan_61->n97_a_stuck_japan_62 n97_a_stuck_japan_62->n97_a_stuck_japan_63 n97_a_stuck_japan_64->n97_a_stuck_japan_65 n97_a_stuck_japan_66->n97_a_stuck_japan_67
( (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))