TSPC 4_a_stuck

4_a_stuck_japan
As soon as you move in, your new home is worth less than what you paid for it and after you've finished paying off your mortgage in 40 years, it is worth almost nothing.

arc(r_0004_0001__As_soon_as, r_0004_0003__move, restriction).
arc(r_0004_0001__As_soon_as, r_0004_0009__is, scope).
arc(r_0004_0003__move, r_0004_0002__you, arg0).
arc(r_0004_0003__move, r_0004_0004__in, clr13).
arc(r_0004_0008__home, r_0004_0002__you, gen).
arc(r_0004_0008__home, r_0004_0007__new, attrib22).
arc(r_0004_0009__is, r_0004_0008__home, arg0).
arc(r_0004_0009__is, r_0004_0010__worth_r_0004_0011__less, prd).
arc(r_0004_0010__worth_r_0004_0011__less, z_000_4_a_stuck_japan_37, r_0004_0012__than).
arc(r_0004_0015__paid, r_0004_0002__you, arg0).
arc(r_0004_0015__paid, r_0004_0008__home, r_0004_0016__for_clr50).
arc(r_0004_0015__paid, z_000_4_a_stuck_japan_37, arg1).
arc(r_0004_0018__and, r_0004_0001__As_soon_as, conj1).
arc(r_0004_0018__and, r_0004_0019__after, conj2).
arc(r_0004_0019__after, r_0004_0021___apos_ve, restriction).
arc(r_0004_0019__after, r_0004_0032__is, scope).
arc(r_0004_0021___apos_ve, r_0004_0022__finished, scope).
arc(r_0004_0022__finished, r_0004_0023__paying, scope).
arc(r_0004_0023__paying, r_0004_0002__you, arg0).
arc(r_0004_0023__paying, r_0004_0026__mortgage, r_0004_0024__off_clr75).
arc(r_0004_0023__paying, r_0004_0028__40_r_0004_0029__years, r_0004_0027__in_nim84).
arc(r_0004_0026__mortgage, r_0004_0002__you, gen).
arc(r_0004_0032__is, r_0004_0008__home, arg0).
arc(r_0004_0032__is, r_0004_0033__worth, prd).
arc(r_0004_0033__worth, r_0004_0035__nothing, nim99).
arc(r_0004_0035__nothing, r_0004_0034__almost, qual100).

fof(formula,axiom,
    ? [R_4_15_PAID,R_4_18_AND,R_4_1_AS_SOON_AS,R_4_3_MOVE,R_4_4_IN,R_4_9_IS,R_4_10_WORTH_LESS,Z_4_A_STUCK_JAPAN_37,R_4_19_AFTER,R_4_21__APOS_VE_FINISHED_PAYING,R_4_26_MORTGAGE,R_4_28_40_YEARS,R_4_32_IS,R_4_8_HOME,R_4_7_NEW,R_4_2_YOU,R_4_33_WORTH,R_4_35_NOTHING,R_4_34_ALMOST] :
      ( in(R_4_4_IN)
      & 40_years(R_4_28_40_YEARS)
      & new(R_4_7_NEW)
      & you(R_4_2_YOU)
      & almost(R_4_34_ALMOST)
      & paid(R_4_15_PAID,R_4_2_YOU,Z_4_A_STUCK_JAPAN_37)
      & for_clr50(R_4_15_PAID,R_4_8_HOME)
      & home(R_4_8_HOME)
      & attrib22(R_4_8_HOME,R_4_7_NEW)
      & gen(R_4_8_HOME,R_4_2_YOU)
      & and(R_4_18_AND)
      & conj1(R_4_18_AND,R_4_1_AS_SOON_AS)
      & as_soon_as(R_4_1_AS_SOON_AS)
      & conj1(R_4_1_AS_SOON_AS,R_4_3_MOVE)
      & move(R_4_3_MOVE,R_4_2_YOU)
      & clr13(R_4_3_MOVE,R_4_4_IN)
      & conj2(R_4_1_AS_SOON_AS,R_4_9_IS)
      & is(R_4_9_IS,R_4_8_HOME,R_4_10_WORTH_LESS)
      & worth_less(R_4_10_WORTH_LESS)
      & than(R_4_10_WORTH_LESS,Z_4_A_STUCK_JAPAN_37)
      & conj2(R_4_18_AND,R_4_19_AFTER)
      & after(R_4_19_AFTER)
      & conj1(R_4_19_AFTER,R_4_21__APOS_VE_FINISHED_PAYING)
      & _apos_ve_finished_paying(R_4_21__APOS_VE_FINISHED_PAYING,R_4_2_YOU)
      & off_clr75(R_4_21__APOS_VE_FINISHED_PAYING,R_4_26_MORTGAGE)
      & mortgage(R_4_26_MORTGAGE)
      & gen(R_4_26_MORTGAGE,R_4_2_YOU)
      & in_nim84(R_4_21__APOS_VE_FINISHED_PAYING,R_4_28_40_YEARS)
      & conj2(R_4_19_AFTER,R_4_32_IS)
      & is(R_4_32_IS,R_4_8_HOME,R_4_33_WORTH)
      & worth(R_4_33_WORTH)
      & nim99(R_4_33_WORTH,R_4_35_NOTHING)
      & nothing(R_4_35_NOTHING)
      & qual100(R_4_35_NOTHING,R_4_34_ALMOST) ) ).

( (IP-MAT (ILYR (ILYR (PP-SCON (P-CONN As_soon_as;{as_soon_as})
                               (IP-ADV (NP-SBJ (PRO you;{you}))
                                       (VBP;_Ip_ move;{move[in]})
                                       (ADVP-CLR (RP in;{in}))))
                      (PUNC ,)
                      (NP-SBJ;{NEW_HOME} (NP-GEN (PRO your;{you}))
                                         (ADJP (ADJ new;{new}))
                                         (N home;{home}))
                      (BEP;_La_ is;{be})
                      (ADJP-PRD (ADJ worth;{worth})
                                (ADJR less;{less})
                                (PP (P-ROLE than;{than})
                                    (NP (IP-REL (NP-OB1 (RPRO what;{what}))
                                                (NP-SBJ (PRO you;{you}))
                                                (VBD;_Tn.pr_ paid;{pay[for]})
                                                (PP-CLR (P-ROLE for;{for})
                                                        (NP;{NEW_HOME} (PRO it;{it}))))))))
                (CONJP (CONJ and;{and})
                       (ILYR (PP-SCON (P-CONN after;{after})
                                      (IP-ADV (NP-SBJ (PRO you;{you}))
                                              (HVP;_cat_Ve_ <apos>ve;{have})
                                              (IP-PPL-CAT (VVN;_cat_Vg_ finished;{finish})
                                                          (IP-PPL-CAT (VAG;_Ipr_ paying;{pay[off]})
                                                                      (PP-CLR (P-ROLE off;{off})
                                                                              (NP (NP-GEN (PRO your;{you}))
                                                                                  (N mortgage;{mortgage})))
                                                                      (PP-NIM (P-ROLE in;{in})
                                                                              (NP (NUM 40)
                                                                                  (NS years;{year})))))))
                             (PUNC ,)
                             (NP-SBJ;{NEW_HOME} (PRO it;{it}))
                             (BEP;_La_ is;{be})
                             (ADJP-PRD (ADJ worth;{worth})
                                       (NP (ADVP (ADV almost;{almost}))
                                           (N nothing;{nothing}))))))
          (PUNC .))
  (ID 4_a_stuck_japan))