TSPC 110_a_stuck

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.

( (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))

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_0005__see,arg1).
arc(r_0110_0005__see,r_0110_0002__you,arg0).
arc(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__nim).
arc(r_0110_0012__rejects,r_0110_0009__a_r_0110_0010__country,inv_arg0).
arc(r_0110_0012__rejects,r_0110_0013__immigration,arg1).
arc(r_0110_0012__rejects,r_0110_0015__a_r_0110_0016__solution,r_0110_0014__as__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,attrib).
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,attrib).
arc(r_0110_0027__start,r_0110_0023__a_r_0110_0025__place,inv_arg1).
arc(r_0110_0027__start,z_0110_5017,arg0).

fof(formula,axiom,
    ! [R_0110_0003__WANT,R_0110_0002__YOU,R_0110_0006__WHAT,R_0110_0013__IMMIGRATION,R_0110_0018__FALLING,R_0110_0019__FERTILITY,R_0110_0015__A_R_0110_0016__SOLUTION,R_0110_0012__REJECTS,R_0110_0009__A_R_0110_0010__COUNTRY,R_0110_0007__HAPPENS,R_0110_0005__SEE] :
      ( ( r_0110_0002__you(R_0110_0002__YOU)
        & r_0110_0006__what(R_0110_0006__WHAT)
        & r_0110_0013__immigration(R_0110_0013__IMMIGRATION)
        & r_0110_0018__falling(R_0110_0018__FALLING)
        & r_0110_0003__want(R_0110_0003__WANT)
        & has_arg1(R_0110_0003__WANT,R_0110_0005__SEE)
        & r_0110_0005__see(R_0110_0005__SEE)
        & has_arg1(R_0110_0005__SEE,R_0110_0007__HAPPENS)
        & r_0110_0007__happens(R_0110_0007__HAPPENS)
        & has_r_0110_0008__to__nim(R_0110_0007__HAPPENS,R_0110_0009__A_R_0110_0010__COUNTRY)
        & r_0110_0009__a_r_0110_0010__country(R_0110_0009__A_R_0110_0010__COUNTRY)
        & has_inv_arg0(R_0110_0009__A_R_0110_0010__COUNTRY,R_0110_0012__REJECTS)
        & r_0110_0012__rejects(R_0110_0012__REJECTS)
        & has_r_0110_0014__as__prd(R_0110_0012__REJECTS,R_0110_0015__A_R_0110_0016__SOLUTION)
        & r_0110_0015__a_r_0110_0016__solution(R_0110_0015__A_R_0110_0016__SOLUTION)
        & has_r_0110_0017__to(R_0110_0015__A_R_0110_0016__SOLUTION,R_0110_0019__FERTILITY)
        & r_0110_0019__fertility(R_0110_0019__FERTILITY)
        & has_attrib(R_0110_0019__FERTILITY,R_0110_0018__FALLING)
        & has_arg1(R_0110_0012__REJECTS,R_0110_0013__IMMIGRATION)
        & has_arg0(R_0110_0007__HAPPENS,R_0110_0006__WHAT)
        & has_arg0(R_0110_0005__SEE,R_0110_0002__YOU)
        & has_arg0(R_0110_0003__WANT,R_0110_0002__YOU) )
     => ? [R_0110_0021__JAPAN,R_0110_0024__GOOD,Z_0110_5017,R_0110_0027__START,R_0110_0023__A_R_0110_0025__PLACE,R_0110_0022__IS] :
          ( r_0110_0021__Japan(R_0110_0021__JAPAN)
          & r_0110_0024__good(R_0110_0024__GOOD)
          & z_0110_5017(Z_0110_5017)
          & r_0110_0022__is(R_0110_0022__IS)
          & has_prd(R_0110_0022__IS,R_0110_0023__A_R_0110_0025__PLACE)
          & r_0110_0023__a_r_0110_0025__place(R_0110_0023__A_R_0110_0025__PLACE)
          & has_inv_arg1(R_0110_0023__A_R_0110_0025__PLACE,R_0110_0027__START)
          & r_0110_0027__start(R_0110_0027__START)
          & has_arg0(R_0110_0027__START,Z_0110_5017)
          & has_attrib(R_0110_0023__A_R_0110_0025__PLACE,R_0110_0024__GOOD)
          & has_arg0(R_0110_0022__IS,R_0110_0021__JAPAN) ) ) ).