Context                Previous, Next                Top


110_a_stuck_japan
If you want to see what happens to a country that rejects immigration as a solution to falling fertility, Japan is a good place to start.

%3 r_0110_0001__If If r_0110_0003__want want r_0110_0001__If->r_0110_0003__want [restriction] r_0110_0022__is is r_0110_0001__If->r_0110_0022__is [scope] r_0110_0002__you you r_0110_0003__want->r_0110_0002__you [arg0] r_0110_0004__to_r_0110_0005__see to see r_0110_0003__want->r_0110_0004__to_r_0110_0005__see [arg1] r_0110_0021__Japan Japan r_0110_0022__is->r_0110_0021__Japan [arg0] r_0110_0023__a_r_0110_0025__place a place r_0110_0022__is->r_0110_0023__a_r_0110_0025__place [prd] r_0110_0004__to_r_0110_0005__see->r_0110_0002__you [arg0] r_0110_0007__happens happens r_0110_0004__to_r_0110_0005__see->r_0110_0007__happens [arg1] r_0110_0006__what what r_0110_0007__happens->r_0110_0006__what [arg0] r_0110_0009__a_r_0110_0010__country a country r_0110_0007__happens->r_0110_0009__a_r_0110_0010__country to [nim] r_0110_0011__that_r_0110_0012__rejects that rejects r_0110_0011__that_r_0110_0012__rejects->r_0110_0009__a_r_0110_0010__country [arg0] r_0110_0013__immigration immigration r_0110_0011__that_r_0110_0012__rejects->r_0110_0013__immigration [arg1] r_0110_0015__a_r_0110_0016__solution a solution r_0110_0011__that_r_0110_0012__rejects->r_0110_0015__a_r_0110_0016__solution [prd] r_0110_0019__fertility fertility r_0110_0015__a_r_0110_0016__solution->r_0110_0019__fertility to r_0110_0018__falling falling r_0110_0019__fertility->r_0110_0018__falling [attrib] r_0110_0024__good good r_0110_0023__a_r_0110_0025__place->r_0110_0024__good [attrib] r_0110_0026__to_r_0110_0027__start to start r_0110_0026__to_r_0110_0027__start->r_0110_0023__a_r_0110_0025__place [arg1] z_000_110_a_stuck_japan_73 r_0110_0026__to_r_0110_0027__start->z_000_110_a_stuck_japan_73 [arg0] 
arc(r_0110_0001__If, r_0110_0003__want, restriction).
arc(r_0110_0001__If, r_0110_0022__is, scope).
arc(r_0110_0003__want, r_0110_0002__you, arg0).
arc(r_0110_0003__want, r_0110_0004__to_r_0110_0005__see, arg1).
arc(r_0110_0004__to_r_0110_0005__see, r_0110_0002__you, arg0).
arc(r_0110_0004__to_r_0110_0005__see, r_0110_0007__happens, arg1).
arc(r_0110_0007__happens, r_0110_0006__what, arg0).
arc(r_0110_0007__happens, r_0110_0009__a_r_0110_0010__country, r_0110_0008__to_nim26).
arc(r_0110_0011__that_r_0110_0012__rejects, r_0110_0009__a_r_0110_0010__country, arg0).
arc(r_0110_0011__that_r_0110_0012__rejects, r_0110_0013__immigration, arg1).
arc(r_0110_0011__that_r_0110_0012__rejects, r_0110_0015__a_r_0110_0016__solution, prd).
arc(r_0110_0015__a_r_0110_0016__solution, r_0110_0019__fertility, r_0110_0017__to).
arc(r_0110_0019__fertility, r_0110_0018__falling, attrib53).
arc(r_0110_0022__is, r_0110_0021__Japan, arg0).
arc(r_0110_0022__is, r_0110_0023__a_r_0110_0025__place, prd).
arc(r_0110_0023__a_r_0110_0025__place, r_0110_0024__good, attrib68).
arc(r_0110_0026__to_r_0110_0027__start, r_0110_0023__a_r_0110_0025__place, arg1).
arc(r_0110_0026__to_r_0110_0027__start, z_000_110_a_stuck_japan_73, arg0).


%3 r_0110_0001__If If r_0110_0003__want want r_0110_0001__If->r_0110_0003__want [restriction] r_0110_0022__is is r_0110_0001__If->r_0110_0022__is [scope] r_0110_0002__you you r_0110_0003__want->r_0110_0002__you [arg0] r_0110_0004__to_r_0110_0005__see to see r_0110_0003__want->r_0110_0004__to_r_0110_0005__see [arg1] r_0110_0021__Japan Japan r_0110_0022__is->r_0110_0021__Japan [arg0] r_0110_0023__a_r_0110_0025__place a place r_0110_0022__is->r_0110_0023__a_r_0110_0025__place [prd] r_0110_0004__to_r_0110_0005__see->r_0110_0002__you [arg0] r_0110_0007__happens happens r_0110_0004__to_r_0110_0005__see->r_0110_0007__happens [arg1] r_0110_0006__what what r_0110_0007__happens->r_0110_0006__what [arg0] r_0110_0009__a_r_0110_0010__country a country r_0110_0007__happens->r_0110_0009__a_r_0110_0010__country to [nim] r_0110_0011__that_r_0110_0012__rejects that rejects r_0110_0011__that_r_0110_0012__rejects->r_0110_0009__a_r_0110_0010__country [arg0] r_0110_0013__immigration immigration r_0110_0011__that_r_0110_0012__rejects->r_0110_0013__immigration [arg1] r_0110_0015__a_r_0110_0016__solution a solution r_0110_0011__that_r_0110_0012__rejects->r_0110_0015__a_r_0110_0016__solution [prd] r_0110_0019__fertility fertility r_0110_0015__a_r_0110_0016__solution->r_0110_0019__fertility to r_0110_0018__falling falling r_0110_0019__fertility->r_0110_0018__falling [attrib] r_0110_0024__good good r_0110_0023__a_r_0110_0025__place->r_0110_0024__good [attrib] r_0110_0026__to_r_0110_0027__start to start r_0110_0026__to_r_0110_0027__start->r_0110_0023__a_r_0110_0025__place [arg1] z_000_110_a_stuck_japan_73 r_0110_0026__to_r_0110_0027__start->z_000_110_a_stuck_japan_73 [arg0] 
fof(formula,axiom,
    ? [R_110_11_THAT_REJECTS,R_110_9_A_COUNTRY,R_110_13_IMMIGRATION,R_110_15_A_SOLUTION,R_110_19_FERTILITY,R_110_18_FALLING,R_110_26_TO_START,Z_110_A_STUCK_JAPAN_73,R_110_23_A_PLACE,R_110_24_GOOD] :
      ( a_country(R_110_9_A_COUNTRY)
      & immigration(R_110_13_IMMIGRATION)
      & falling(R_110_18_FALLING)
      & good(R_110_24_GOOD)
      & ! [R_110_3_WANT,R_110_4_TO_SEE,R_110_2_YOU,R_110_7_HAPPENS,R_110_6_WHAT] :
          ( ( you(R_110_2_YOU)
            & what(R_110_6_WHAT)
            & want(R_110_3_WANT,R_110_2_YOU,R_110_4_TO_SEE)
            & to_see(R_110_4_TO_SEE,R_110_2_YOU,R_110_7_HAPPENS)
            & happens(R_110_7_HAPPENS,R_110_6_WHAT)
            & to_nim26(R_110_7_HAPPENS,R_110_9_A_COUNTRY) )
         => ? [R_110_22_IS,R_110_21_JAPAN] :
              ( japan(R_110_21_JAPAN)
              & is(R_110_22_IS,R_110_21_JAPAN,R_110_23_A_PLACE) ) )
      & that_rejects(R_110_11_THAT_REJECTS,R_110_9_A_COUNTRY,R_110_13_IMMIGRATION,R_110_15_A_SOLUTION)
      & a_solution(R_110_15_A_SOLUTION)
      & to(R_110_15_A_SOLUTION,R_110_19_FERTILITY)
      & fertility(R_110_19_FERTILITY)
      & attrib53(R_110_19_FERTILITY,R_110_18_FALLING)
      & to_start(R_110_26_TO_START,Z_110_A_STUCK_JAPAN_73,R_110_23_A_PLACE)
      & a_place(R_110_23_A_PLACE)
      & attrib68(R_110_23_A_PLACE,R_110_24_GOOD) ) ).


n110_a_stuck_japan n110_a_stuck_japan_4 If n110_a_stuck_japan_8 you n110_a_stuck_japan_10 want n110_a_stuck_japan_13 to n110_a_stuck_japan_15 see n110_a_stuck_japan_20 what n110_a_stuck_japan_22 happens n110_a_stuck_japan_25 to n110_a_stuck_japan_28 a n110_a_stuck_japan_30 country n110_a_stuck_japan_33 that n110_a_stuck_japan_35 *T* n110_a_stuck_japan_37 rejects n110_a_stuck_japan_40 immigration n110_a_stuck_japan_43 as n110_a_stuck_japan_46 a n110_a_stuck_japan_48 solution n110_a_stuck_japan_51 to n110_a_stuck_japan_55 falling n110_a_stuck_japan_57 fertility n110_a_stuck_japan_59 , n110_a_stuck_japan_62 Japan n110_a_stuck_japan_64 is n110_a_stuck_japan_67 a n110_a_stuck_japan_70 good n110_a_stuck_japan_72 place n110_a_stuck_japan_75 *T* n110_a_stuck_japan_77 to n110_a_stuck_japan_79 start n110_a_stuck_japan_81 . n110_a_stuck_japan_1 IP-MAT n110_a_stuck_japan_2 PP-SCON n110_a_stuck_japan_1->n110_a_stuck_japan_2 n110_a_stuck_japan_58 PUNC n110_a_stuck_japan_1->n110_a_stuck_japan_58 n110_a_stuck_japan_60 NP-SBJ n110_a_stuck_japan_1->n110_a_stuck_japan_60 n110_a_stuck_japan_63 BEP;__ n110_a_stuck_japan_1->n110_a_stuck_japan_63 n110_a_stuck_japan_65 NP-PRD n110_a_stuck_japan_1->n110_a_stuck_japan_65 n110_a_stuck_japan_80 PUNC n110_a_stuck_japan_1->n110_a_stuck_japan_80 n110_a_stuck_japan_3 P-CONN n110_a_stuck_japan_2->n110_a_stuck_japan_3 n110_a_stuck_japan_5 IP-ADV n110_a_stuck_japan_2->n110_a_stuck_japan_5 n110_a_stuck_japan_3->n110_a_stuck_japan_4 n110_a_stuck_japan_6 NP-SBJ n110_a_stuck_japan_5->n110_a_stuck_japan_6 n110_a_stuck_japan_9 VBP;__ n110_a_stuck_japan_5->n110_a_stuck_japan_9 n110_a_stuck_japan_11 IP-INF-OB1 n110_a_stuck_japan_5->n110_a_stuck_japan_11 n110_a_stuck_japan_7 PRO n110_a_stuck_japan_6->n110_a_stuck_japan_7 n110_a_stuck_japan_7->n110_a_stuck_japan_8 n110_a_stuck_japan_9->n110_a_stuck_japan_10 n110_a_stuck_japan_12 TO n110_a_stuck_japan_11->n110_a_stuck_japan_12 n110_a_stuck_japan_14 VB;__ n110_a_stuck_japan_11->n110_a_stuck_japan_14 n110_a_stuck_japan_16 CP-QUE-OB1 n110_a_stuck_japan_11->n110_a_stuck_japan_16 n110_a_stuck_japan_12->n110_a_stuck_japan_13 n110_a_stuck_japan_14->n110_a_stuck_japan_15 n110_a_stuck_japan_17 IP-SUB n110_a_stuck_japan_16->n110_a_stuck_japan_17 n110_a_stuck_japan_18 NP-SBJ n110_a_stuck_japan_17->n110_a_stuck_japan_18 n110_a_stuck_japan_21 VBP;__ n110_a_stuck_japan_17->n110_a_stuck_japan_21 n110_a_stuck_japan_23 PP-NIM n110_a_stuck_japan_17->n110_a_stuck_japan_23 n110_a_stuck_japan_19 WPRO n110_a_stuck_japan_18->n110_a_stuck_japan_19 n110_a_stuck_japan_19->n110_a_stuck_japan_20 n110_a_stuck_japan_21->n110_a_stuck_japan_22 n110_a_stuck_japan_24 P-ROLE n110_a_stuck_japan_23->n110_a_stuck_japan_24 n110_a_stuck_japan_26 NP n110_a_stuck_japan_23->n110_a_stuck_japan_26 n110_a_stuck_japan_24->n110_a_stuck_japan_25 n110_a_stuck_japan_27 D n110_a_stuck_japan_26->n110_a_stuck_japan_27 n110_a_stuck_japan_29 N n110_a_stuck_japan_26->n110_a_stuck_japan_29 n110_a_stuck_japan_31 IP-REL n110_a_stuck_japan_26->n110_a_stuck_japan_31 n110_a_stuck_japan_27->n110_a_stuck_japan_28 n110_a_stuck_japan_29->n110_a_stuck_japan_30 n110_a_stuck_japan_32 C n110_a_stuck_japan_31->n110_a_stuck_japan_32 n110_a_stuck_japan_34 NP-SBJ n110_a_stuck_japan_31->n110_a_stuck_japan_34 n110_a_stuck_japan_36 VBP;_Cn.n/a_ n110_a_stuck_japan_31->n110_a_stuck_japan_36 n110_a_stuck_japan_38 NP-OB1 n110_a_stuck_japan_31->n110_a_stuck_japan_38 n110_a_stuck_japan_41 PP-PRD n110_a_stuck_japan_31->n110_a_stuck_japan_41 n110_a_stuck_japan_32->n110_a_stuck_japan_33 n110_a_stuck_japan_34->n110_a_stuck_japan_35 n110_a_stuck_japan_36->n110_a_stuck_japan_37 n110_a_stuck_japan_39 N n110_a_stuck_japan_38->n110_a_stuck_japan_39 n110_a_stuck_japan_39->n110_a_stuck_japan_40 n110_a_stuck_japan_42 P-ROLE n110_a_stuck_japan_41->n110_a_stuck_japan_42 n110_a_stuck_japan_44 NP n110_a_stuck_japan_41->n110_a_stuck_japan_44 n110_a_stuck_japan_42->n110_a_stuck_japan_43 n110_a_stuck_japan_45 D n110_a_stuck_japan_44->n110_a_stuck_japan_45 n110_a_stuck_japan_47 N n110_a_stuck_japan_44->n110_a_stuck_japan_47 n110_a_stuck_japan_49 PP n110_a_stuck_japan_44->n110_a_stuck_japan_49 n110_a_stuck_japan_45->n110_a_stuck_japan_46 n110_a_stuck_japan_47->n110_a_stuck_japan_48 n110_a_stuck_japan_50 P-ROLE n110_a_stuck_japan_49->n110_a_stuck_japan_50 n110_a_stuck_japan_52 NP n110_a_stuck_japan_49->n110_a_stuck_japan_52 n110_a_stuck_japan_50->n110_a_stuck_japan_51 n110_a_stuck_japan_53 ADJP n110_a_stuck_japan_52->n110_a_stuck_japan_53 n110_a_stuck_japan_56 N n110_a_stuck_japan_52->n110_a_stuck_japan_56 n110_a_stuck_japan_54 ADJ n110_a_stuck_japan_53->n110_a_stuck_japan_54 n110_a_stuck_japan_54->n110_a_stuck_japan_55 n110_a_stuck_japan_56->n110_a_stuck_japan_57 n110_a_stuck_japan_58->n110_a_stuck_japan_59 n110_a_stuck_japan_61 NPR n110_a_stuck_japan_60->n110_a_stuck_japan_61 n110_a_stuck_japan_61->n110_a_stuck_japan_62 n110_a_stuck_japan_63->n110_a_stuck_japan_64 n110_a_stuck_japan_66 D n110_a_stuck_japan_65->n110_a_stuck_japan_66 n110_a_stuck_japan_68 ADJP n110_a_stuck_japan_65->n110_a_stuck_japan_68 n110_a_stuck_japan_71 N n110_a_stuck_japan_65->n110_a_stuck_japan_71 n110_a_stuck_japan_73 IP-INF-REL n110_a_stuck_japan_65->n110_a_stuck_japan_73 n110_a_stuck_japan_66->n110_a_stuck_japan_67 n110_a_stuck_japan_69 ADJ n110_a_stuck_japan_68->n110_a_stuck_japan_69 n110_a_stuck_japan_69->n110_a_stuck_japan_70 n110_a_stuck_japan_71->n110_a_stuck_japan_72 n110_a_stuck_japan_74 NP-OB1 n110_a_stuck_japan_73->n110_a_stuck_japan_74 n110_a_stuck_japan_76 TO n110_a_stuck_japan_73->n110_a_stuck_japan_76 n110_a_stuck_japan_78 VB;_Tn_ n110_a_stuck_japan_73->n110_a_stuck_japan_78 n110_a_stuck_japan_74->n110_a_stuck_japan_75 n110_a_stuck_japan_76->n110_a_stuck_japan_77 n110_a_stuck_japan_78->n110_a_stuck_japan_79 n110_a_stuck_japan_80->n110_a_stuck_japan_81 
( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO you;{you}))
                           (VBP;__ want;{want})
                           (IP-INF-OB1 (TO to;{to})
                                       (VB;__ see;{see})
                                       (CP-QUE-OB1 (IP-SUB (NP-SBJ (WPRO what;{what}))
                                                           (VBP;__ happens;{happen})
                                                           (PP-NIM (P-ROLE to;{to})
                                                                   (NP (D a;{a})
                                                                       (N country;{country})
                                                                       (IP-REL (C that;{that})
                                                                               (NP-SBJ *T*)
                                                                               (VBP;_Cn.n/a_ rejects;{reject[as]})
                                                                               (NP-OB1 (N immigration;{immigration}))
                                                                               (PP-PRD (P-ROLE as;{as})
                                                                                       (NP (D a;{a})
                                                                                           (N solution;{solution})
                                                                                           (PP (P-ROLE to;{to})
                                                                                               (NP (ADJP (ADJ falling;{falling}))
                                                                                                   (N fertility;{fertility})))))))))))))
          (PUNC ,)
          (NP-SBJ (NPR Japan;{Japan}))
          (BEP;__ is;{be})
          (NP-PRD (D a;{a})
                  (ADJP (ADJ good;{good}))
                  (N place;{place})
                  (IP-INF-REL (NP-OB1 *T*)
                              (TO to;{to})
                              (VB;_Tn_ start;{start})))
          (PUNC .))
  (ID 110_a_stuck_japan))