TSPC 7_a_stuck

7_a_stuck_japan
It's a peaceful, prosperous country with the longest life expectancy in the world, the lowest murder rate, little political conflict, a powerful passport, and the sublime Shinkansen, the world's best high - speed rail network.

( (IP-MAT (NP-SBJ;{JAPAN} (PRO It;{it}))
          (BEP;_Ln_ <apos>s;{be})
          (NP-PRD (D a;{a})
                  (ADJP (ADJ peaceful;{peaceful}))
                  (PUNC ,)
                  (ADJP (ADJ prosperous;{prosperous}))
                  (N country;{country})
                  (PP (P-ROLE with;{with})
                      (NP (NLYR (NLYR (D the;{the})
                                      (ADJP (ADJS longest;{long}))
                                      (N life;{life})
                                      (N expectancy;{expectancy})
                                      (PP (P-ROLE in;{in})
                                          (NP (D the;{the})
                                              (N world;{world}))))
                                (PUNC ,)
                                (CONJP (NLYR (D the;{the})
                                             (ADJP (ADJS lowest;{low}))
                                             (N murder;{murder})
                                             (N rate;{rate})))
                                (PUNC ,)
                                (CONJP (NLYR (ADJP (ADJ little;{little}))
                                             (ADJP (ADJ political;{political}))
                                             (N conflict;{conflict})))
                                (PUNC ,)
                                (CONJP (NLYR (D a;{a})
                                             (ADJP (ADJ powerful;{powerful}))
                                             (N passport;{passport})))
                                (PUNC ,)
                                (CONJP (CONJ and;{and})
                                       (NLYR (D the;{the})
                                             (ADJP (ADJ sublime;{sublime}))
                                             (NPR Shinkansen;{Shinkansen})
                                             (PUNC ,)
                                             (PRN (NP (NP-GEN (D the;{the})
                                                              (N world;{world})
                                                              (GENM <apos>s))
                                                      (ADJP (ADJS best;{good}))
                                                      (NLYR (ADJP (ADJ high;{high}))
                                                            (PUNC <hyphen>)
                                                            (N speed;{speed}))
                                                      (N rail;{rail})
                                                      (N network;{network})))))))))
          (PUNC .))
  (ID 7_a_stuck_japan))

arc(r_0007_0002___apos_s,r_0007_0001__It,arg0).
arc(r_0007_0002___apos_s,r_0007_0003__a_r_0007_0007__country,prd).
arc(r_0007_0003__a_r_0007_0007__country,r_0007_0004__peaceful,attrib).
arc(r_0007_0003__a_r_0007_0007__country,r_0007_0006__prosperous,attrib).
arc(r_0007_0003__a_r_0007_0007__country,r_0007_0030__and,r_0007_0008__with).
arc(r_0007_0009__the_r_0007_0011__life_r_0007_0012__expectancy,r_0007_0010__longest,attrib).
arc(r_0007_0009__the_r_0007_0011__life_r_0007_0012__expectancy,r_0007_0014__the_r_0007_0015__world,r_0007_0013__in).
arc(r_0007_0017__the_r_0007_0019__murder_r_0007_0020__rate,r_0007_0018__lowest,attrib).
arc(r_0007_0024__conflict,r_0007_0022__little,attrib).
arc(r_0007_0024__conflict,r_0007_0023__political,attrib).
arc(r_0007_0026__a_r_0007_0028__passport,r_0007_0027__powerful,attrib).
arc(r_0007_0030__and,r_0007_0009__the_r_0007_0011__life_r_0007_0012__expectancy,conj1).
arc(r_0007_0030__and,r_0007_0017__the_r_0007_0019__murder_r_0007_0020__rate,conj2).
arc(r_0007_0030__and,r_0007_0024__conflict,conj3).
arc(r_0007_0030__and,r_0007_0026__a_r_0007_0028__passport,conj4).
arc(r_0007_0030__and,r_0007_0031__the_r_0007_0033__Shinkansen,conj5).
arc(r_0007_0031__the_r_0007_0033__Shinkansen,r_0007_0032__sublime,attrib).
arc(r_0007_0041__speed,r_0007_0039__high,attrib).
arc(r_0007_0042__rail_r_0007_0043__network,r_0007_0035__the_r_0007_0036__world,gen).
arc(r_0007_0042__rail_r_0007_0043__network,r_0007_0038__best,attrib).
arc(r_0007_0042__rail_r_0007_0043__network,r_0007_0041__speed,nim).
arc(z_0007_5021,r_0007_0031__the_r_0007_0033__Shinkansen,arg0).
arc(z_0007_5021,r_0007_0042__rail_r_0007_0043__network,prd).

fof(formula,axiom,
    ? [R_0007_0001__IT,R_0007_0004__PEACEFUL,R_0007_0006__PROSPEROUS,R_0007_0010__LONGEST,R_0007_0014__THE_R_0007_0015__WORLD,R_0007_0009__THE_R_0007_0011__LIFE_R_0007_0012__EXPECTANCY,R_0007_0018__LOWEST,R_0007_0017__THE_R_0007_0019__MURDER_R_0007_0020__RATE,R_0007_0022__LITTLE,R_0007_0023__POLITICAL,R_0007_0024__CONFLICT,R_0007_0027__POWERFUL,R_0007_0026__A_R_0007_0028__PASSPORT,R_0007_0032__SUBLIME,R_0007_0031__THE_R_0007_0033__SHINKANSEN,R_0007_0030__AND,R_0007_0003__A_R_0007_0007__COUNTRY,R_0007_0002___APOS_S,R_0007_0035__THE_R_0007_0036__WORLD,R_0007_0038__BEST,R_0007_0039__HIGH,R_0007_0041__SPEED,R_0007_0042__RAIL_R_0007_0043__NETWORK,Z_0007_5021] :
      ( r_0007_0001__It(R_0007_0001__IT)
      & r_0007_0004__peaceful(R_0007_0004__PEACEFUL)
      & r_0007_0006__prosperous(R_0007_0006__PROSPEROUS)
      & r_0007_0010__longest(R_0007_0010__LONGEST)
      & r_0007_0014__the_r_0007_0015__world(R_0007_0014__THE_R_0007_0015__WORLD)
      & r_0007_0018__lowest(R_0007_0018__LOWEST)
      & r_0007_0022__little(R_0007_0022__LITTLE)
      & r_0007_0023__political(R_0007_0023__POLITICAL)
      & r_0007_0027__powerful(R_0007_0027__POWERFUL)
      & r_0007_0032__sublime(R_0007_0032__SUBLIME)
      & r_0007_0035__the_r_0007_0036__world(R_0007_0035__THE_R_0007_0036__WORLD)
      & r_0007_0038__best(R_0007_0038__BEST)
      & r_0007_0039__high(R_0007_0039__HIGH)
      & z_0007_5021(Z_0007_5021)
      & has_prd(Z_0007_5021,R_0007_0042__RAIL_R_0007_0043__NETWORK)
      & r_0007_0042__rail_r_0007_0043__network(R_0007_0042__RAIL_R_0007_0043__NETWORK)
      & has_nim(R_0007_0042__RAIL_R_0007_0043__NETWORK,R_0007_0041__SPEED)
      & r_0007_0041__speed(R_0007_0041__SPEED)
      & has_attrib(R_0007_0041__SPEED,R_0007_0039__HIGH)
      & has_attrib(R_0007_0042__RAIL_R_0007_0043__NETWORK,R_0007_0038__BEST)
      & has_gen(R_0007_0042__RAIL_R_0007_0043__NETWORK,R_0007_0035__THE_R_0007_0036__WORLD)
      & has_arg0(Z_0007_5021,R_0007_0031__THE_R_0007_0033__SHINKANSEN)
      & r_0007_0031__the_r_0007_0033__Shinkansen(R_0007_0031__THE_R_0007_0033__SHINKANSEN)
      & has_attrib(R_0007_0031__THE_R_0007_0033__SHINKANSEN,R_0007_0032__SUBLIME)
      & r_0007_0002___apos_s(R_0007_0002___APOS_S)
      & has_prd(R_0007_0002___APOS_S,R_0007_0003__A_R_0007_0007__COUNTRY)
      & r_0007_0003__a_r_0007_0007__country(R_0007_0003__A_R_0007_0007__COUNTRY)
      & has_r_0007_0008__with(R_0007_0003__A_R_0007_0007__COUNTRY,R_0007_0030__AND)
      & r_0007_0030__and(R_0007_0030__AND)
      & has_conj5(R_0007_0030__AND,R_0007_0031__THE_R_0007_0033__SHINKANSEN)
      & has_conj4(R_0007_0030__AND,R_0007_0026__A_R_0007_0028__PASSPORT)
      & r_0007_0026__a_r_0007_0028__passport(R_0007_0026__A_R_0007_0028__PASSPORT)
      & has_attrib(R_0007_0026__A_R_0007_0028__PASSPORT,R_0007_0027__POWERFUL)
      & has_conj3(R_0007_0030__AND,R_0007_0024__CONFLICT)
      & r_0007_0024__conflict(R_0007_0024__CONFLICT)
      & has_attrib(R_0007_0024__CONFLICT,R_0007_0023__POLITICAL)
      & has_attrib(R_0007_0024__CONFLICT,R_0007_0022__LITTLE)
      & has_conj2(R_0007_0030__AND,R_0007_0017__THE_R_0007_0019__MURDER_R_0007_0020__RATE)
      & r_0007_0017__the_r_0007_0019__murder_r_0007_0020__rate(R_0007_0017__THE_R_0007_0019__MURDER_R_0007_0020__RATE)
      & has_attrib(R_0007_0017__THE_R_0007_0019__MURDER_R_0007_0020__RATE,R_0007_0018__LOWEST)
      & has_conj1(R_0007_0030__AND,R_0007_0009__THE_R_0007_0011__LIFE_R_0007_0012__EXPECTANCY)
      & r_0007_0009__the_r_0007_0011__life_r_0007_0012__expectancy(R_0007_0009__THE_R_0007_0011__LIFE_R_0007_0012__EXPECTANCY)
      & has_r_0007_0013__in(R_0007_0009__THE_R_0007_0011__LIFE_R_0007_0012__EXPECTANCY,R_0007_0014__THE_R_0007_0015__WORLD)
      & has_attrib(R_0007_0009__THE_R_0007_0011__LIFE_R_0007_0012__EXPECTANCY,R_0007_0010__LONGEST)
      & has_attrib(R_0007_0003__A_R_0007_0007__COUNTRY,R_0007_0006__PROSPEROUS)
      & has_attrib(R_0007_0003__A_R_0007_0007__COUNTRY,R_0007_0004__PEACEFUL)
      & has_arg0(R_0007_0002___APOS_S,R_0007_0001__IT) ) ).