TSPC 12_a_stuck

12_a_stuck_japan
For decades Japan has been struggling with a sluggish economy, held back by a deep resistance to change and a stubborn attachment to the past.

arc(r_0012_0004__has, r_0012_0002__decades, r_0012_0001__For_nim5).
arc(r_0012_0004__has, r_0012_0005__been, scope).
arc(r_0012_0005__been, r_0012_0006__struggling, scope).
arc(r_0012_0006__struggling, r_0012_0003__Japan, arg0).
arc(r_0012_0006__struggling, r_0012_0008__a_r_0012_0010__economy, r_0012_0007__with_clr22).
arc(r_0012_0008__a_r_0012_0010__economy, r_0012_0009__sluggish, attrib25).
arc(r_0012_0012__held_r_0012_0013__back, r_0012_0008__a_r_0012_0010__economy, arg1).
arc(r_0012_0012__held_r_0012_0013__back, r_0012_0020__and, arg0).
arc(r_0012_0015__a_r_0012_0017__resistance, r_0012_0016__deep, attrib45).
arc(r_0012_0015__a_r_0012_0017__resistance, r_0012_0019__change, r_0012_0018__to).
arc(r_0012_0020__and, r_0012_0015__a_r_0012_0017__resistance, conj1).
arc(r_0012_0020__and, r_0012_0021__a_r_0012_0023__attachment, conj2).
arc(r_0012_0021__a_r_0012_0023__attachment, r_0012_0022__stubborn, attrib62).
arc(r_0012_0021__a_r_0012_0023__attachment, r_0012_0025__the_r_0012_0026__past, r_0012_0024__to).

fof(formula,axiom,
    ? [R_0012_0002__DECADES,R_0012_0003__JAPAN,R_0012_0009__SLUGGISH,R_0012_0008__A_R_0012_0010__ECONOMY,R_0012_0004__HAS_R_0012_0005__BEEN_R_0012_0006__STRUGGLING,R_0012_0016__DEEP,R_0012_0019__CHANGE,R_0012_0015__A_R_0012_0017__RESISTANCE,R_0012_0022__STUBBORN,R_0012_0025__THE_R_0012_0026__PAST,R_0012_0021__A_R_0012_0023__ATTACHMENT,R_0012_0020__AND,R_0012_0012__HELD_R_0012_0013__BACK] :
      ( r_0012_0002__decades(R_0012_0002__DECADES)
      & r_0012_0003__Japan(R_0012_0003__JAPAN)
      & r_0012_0009__sluggish(R_0012_0009__SLUGGISH)
      & r_0012_0016__deep(R_0012_0016__DEEP)
      & r_0012_0019__change(R_0012_0019__CHANGE)
      & r_0012_0022__stubborn(R_0012_0022__STUBBORN)
      & r_0012_0025__the_r_0012_0026__past(R_0012_0025__THE_R_0012_0026__PAST)
      & r_0012_0012__held_r_0012_0013__back(R_0012_0012__HELD_R_0012_0013__BACK)
      & has_arg0(R_0012_0012__HELD_R_0012_0013__BACK,R_0012_0020__AND)
      & r_0012_0020__and(R_0012_0020__AND)
      & has_conj2(R_0012_0020__AND,R_0012_0021__A_R_0012_0023__ATTACHMENT)
      & r_0012_0021__a_r_0012_0023__attachment(R_0012_0021__A_R_0012_0023__ATTACHMENT)
      & has_r_0012_0024__to(R_0012_0021__A_R_0012_0023__ATTACHMENT,R_0012_0025__THE_R_0012_0026__PAST)
      & has_attrib62(R_0012_0021__A_R_0012_0023__ATTACHMENT,R_0012_0022__STUBBORN)
      & has_conj1(R_0012_0020__AND,R_0012_0015__A_R_0012_0017__RESISTANCE)
      & r_0012_0015__a_r_0012_0017__resistance(R_0012_0015__A_R_0012_0017__RESISTANCE)
      & has_r_0012_0018__to(R_0012_0015__A_R_0012_0017__RESISTANCE,R_0012_0019__CHANGE)
      & has_attrib45(R_0012_0015__A_R_0012_0017__RESISTANCE,R_0012_0016__DEEP)
      & has_arg1(R_0012_0012__HELD_R_0012_0013__BACK,R_0012_0008__A_R_0012_0010__ECONOMY)
      & r_0012_0008__a_r_0012_0010__economy(R_0012_0008__A_R_0012_0010__ECONOMY)
      & has_attrib25(R_0012_0008__A_R_0012_0010__ECONOMY,R_0012_0009__SLUGGISH)
      & r_0012_0004__has_r_0012_0005__been_r_0012_0006__struggling(R_0012_0004__HAS_R_0012_0005__BEEN_R_0012_0006__STRUGGLING)
      & has_r_0012_0007__with_clr22(R_0012_0004__HAS_R_0012_0005__BEEN_R_0012_0006__STRUGGLING,R_0012_0008__A_R_0012_0010__ECONOMY)
      & has_arg0(R_0012_0004__HAS_R_0012_0005__BEEN_R_0012_0006__STRUGGLING,R_0012_0003__JAPAN)
      & has_r_0012_0001__For_nim5(R_0012_0004__HAS_R_0012_0005__BEEN_R_0012_0006__STRUGGLING,R_0012_0002__DECADES) ) ).

( (IP-MAT (PP-NIM (P-ROLE For;{for})
                  (NP (NS decades;{decade})))
          (NP-SBJ;{JAPAN} (NPR Japan;{Japan}))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (BEN;_cat_Vg_ been;{be})
                      (IP-PPL-CAT (VAG;_Ipr_ struggling;{struggle[with]})
                                  (PP-CLR (P-ROLE with;{with})
                                          (NP (D a;{a})
                                              (ADJP (ADJ sluggish;{sluggish}))
                                              (N economy;{economy})
                                              (PUNC ,)
                                              (IP-PPL (VVN;_phr_Vn<=>p_ held;{hold[back]})
                                                      (RP back;{back})
                                                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                              (NP (NLYR (NLYR (D a;{a})
                                                                              (ADJP (ADJ deep;{deep}))
                                                                              (N resistance;{resistance})
                                                                              (PP (P-ROLE to;{to})
                                                                                  (NP (N change;{change}))))
                                                                        (CONJP (CONJ and;{and})
                                                                               (NLYR (D a;{a})
                                                                                     (ADJP (ADJ stubborn;{stubborn}))
                                                                                     (N attachment;{attachment})
                                                                                     (PP (P-ROLE to;{to})
                                                                                         (NP (D the;{the})
                                                                                             (N past;{past})))))))))))))
          (PUNC .))
  (ID 12_a_stuck_japan))