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.

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

arc(r_0012_0004__has,r_0012_0002__decades,r_0012_0001__For__nim).
arc(r_0012_0004__has,r_0012_0005__been,scope).
arc(r_0012_0005__been,r_0012_0006__struggling_r_0012_0007__with,scope).
arc(r_0012_0006__struggling_r_0012_0007__with,r_0012_0003__Japan,arg0).
arc(r_0012_0006__struggling_r_0012_0007__with,r_0012_0008__a_r_0012_0010__economy,arg1).
arc(r_0012_0008__a_r_0012_0010__economy,r_0012_0009__sluggish,attrib).
arc(r_0012_0012__held_r_0012_0013__back,r_0012_0008__a_r_0012_0010__economy,inv_arg1).
arc(r_0012_0012__held_r_0012_0013__back,r_0012_0020__and,r_0012_0014__by_arg0).
arc(r_0012_0015__a_r_0012_0017__resistance,r_0012_0016__deep,attrib).
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,attrib).
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_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_0008__A_R_0012_0010__ECONOMY,R_0012_0004__HAS_R_0012_0005__BEEN_R_0012_0006__STRUGGLING_R_0012_0007__WITH] :
      ( 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_0004__has_r_0012_0005__been_r_0012_0006__struggling_r_0012_0007__with(R_0012_0004__HAS_R_0012_0005__BEEN_R_0012_0006__STRUGGLING_R_0012_0007__WITH)
      & has_arg1(R_0012_0004__HAS_R_0012_0005__BEEN_R_0012_0006__STRUGGLING_R_0012_0007__WITH,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_inv_arg1(R_0012_0008__A_R_0012_0010__ECONOMY,R_0012_0012__HELD_R_0012_0013__BACK)
      & r_0012_0012__held_r_0012_0013__back(R_0012_0012__HELD_R_0012_0013__BACK)
      & has_r_0012_0014__by_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_attrib(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_attrib(R_0012_0015__A_R_0012_0017__RESISTANCE,R_0012_0016__DEEP)
      & has_attrib(R_0012_0008__A_R_0012_0010__ECONOMY,R_0012_0009__SLUGGISH)
      & has_arg0(R_0012_0004__HAS_R_0012_0005__BEEN_R_0012_0006__STRUGGLING_R_0012_0007__WITH,R_0012_0003__JAPAN)
      & has_r_0012_0001__For__nim(R_0012_0004__HAS_R_0012_0005__BEEN_R_0012_0006__STRUGGLING_R_0012_0007__WITH,R_0012_0002__DECADES) ) ).