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

fof(formula,axiom,
    ? [R_0110_0009__A_R_0110_0010__COUNTRY,R_0110_0013__IMMIGRATION,R_0110_0018__FALLING,R_0110_0019__FERTILITY,R_0110_0015__A_R_0110_0016__SOLUTION,R_0110_0011__THAT_R_0110_0012__REJECTS,R_0110_0024__GOOD,R_0110_0023__A_R_0110_0025__PLACE,Z_000_110_A_STUCK_JAPAN_73,R_0110_0026__TO_R_0110_0027__START] :
      ( r_0110_0009__a_r_0110_0010__country(R_0110_0009__A_R_0110_0010__COUNTRY)
      & r_0110_0013__immigration(R_0110_0013__IMMIGRATION)
      & r_0110_0018__falling(R_0110_0018__FALLING)
      & r_0110_0024__good(R_0110_0024__GOOD)
      & z_000_110_a_stuck_japan_73(Z_000_110_A_STUCK_JAPAN_73)
      & r_0110_0026__to_r_0110_0027__start(R_0110_0026__TO_R_0110_0027__START)
      & has_arg0(R_0110_0026__TO_R_0110_0027__START,Z_000_110_A_STUCK_JAPAN_73)
      & has_arg1(R_0110_0026__TO_R_0110_0027__START,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_attrib68(R_0110_0023__A_R_0110_0025__PLACE,R_0110_0024__GOOD)
      & r_0110_0011__that_r_0110_0012__rejects(R_0110_0011__THAT_R_0110_0012__REJECTS)
      & has_prd(R_0110_0011__THAT_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_attrib53(R_0110_0019__FERTILITY,R_0110_0018__FALLING)
      & has_arg1(R_0110_0011__THAT_R_0110_0012__REJECTS,R_0110_0013__IMMIGRATION)
      & has_arg0(R_0110_0011__THAT_R_0110_0012__REJECTS,R_0110_0009__A_R_0110_0010__COUNTRY)
      & ! [R_0110_0003__WANT,R_0110_0002__YOU,R_0110_0006__WHAT,R_0110_0007__HAPPENS,R_0110_0004__TO_R_0110_0005__SEE] :
          ( ( r_0110_0002__you(R_0110_0002__YOU)
            & r_0110_0006__what(R_0110_0006__WHAT)
            & r_0110_0003__want(R_0110_0003__WANT)
            & has_arg1(R_0110_0003__WANT,R_0110_0004__TO_R_0110_0005__SEE)
            & r_0110_0004__to_r_0110_0005__see(R_0110_0004__TO_R_0110_0005__SEE)
            & has_arg1(R_0110_0004__TO_R_0110_0005__SEE,R_0110_0007__HAPPENS)
            & r_0110_0007__happens(R_0110_0007__HAPPENS)
            & has_r_0110_0008__to_nim26(R_0110_0007__HAPPENS,R_0110_0009__A_R_0110_0010__COUNTRY)
            & has_arg0(R_0110_0007__HAPPENS,R_0110_0006__WHAT)
            & has_arg0(R_0110_0004__TO_R_0110_0005__SEE,R_0110_0002__YOU)
            & has_arg0(R_0110_0003__WANT,R_0110_0002__YOU) )
         => ? [R_0110_0021__JAPAN,R_0110_0022__IS] :
              ( r_0110_0021__Japan(R_0110_0021__JAPAN)
              & r_0110_0022__is(R_0110_0022__IS)
              & has_prd(R_0110_0022__IS,R_0110_0023__A_R_0110_0025__PLACE)
              & has_arg0(R_0110_0022__IS,R_0110_0021__JAPAN) ) ) ) ).

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