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.

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, attrib10).
arc(r_0007_0003__a_r_0007_0007__country, r_0007_0006__prosperous, attrib15).
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, attrib28).
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, attrib49).
arc(r_0007_0024__conflict, r_0007_0022__little, attrib60).
arc(r_0007_0024__conflict, r_0007_0023__political, attrib63).
arc(r_0007_0026__a_r_0007_0028__passport, r_0007_0027__powerful, attrib74).
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, attrib87).
arc(r_0007_0041__speed_r_0007_0042__rail_r_0007_0043__network, r_0007_0035__the_r_0007_0036__world_r_0007_0037___apos_s, gen).
arc(r_0007_0041__speed_r_0007_0042__rail_r_0007_0043__network, r_0007_0038__best, attrib103).
arc(r_0007_0041__speed_r_0007_0042__rail_r_0007_0043__network, r_0007_0039__high, attrib106).
arc(z_000_7_a_stuck_japan_94, r_0007_0031__the_r_0007_0033__Shinkansen, arg0).
arc(z_000_7_a_stuck_japan_94, r_0007_0041__speed_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_0037___APOS_S,R_0007_0038__BEST,R_0007_0039__HIGH,R_0007_0041__SPEED_R_0007_0042__RAIL_R_0007_0043__NETWORK,Z_000_7_A_STUCK_JAPAN_94] :
      ( 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_0037___apos_s(R_0007_0035__THE_R_0007_0036__WORLD_R_0007_0037___APOS_S)
      & r_0007_0038__best(R_0007_0038__BEST)
      & r_0007_0039__high(R_0007_0039__HIGH)
      & z_000_7_a_stuck_japan_94(Z_000_7_A_STUCK_JAPAN_94)
      & has_prd(Z_000_7_A_STUCK_JAPAN_94,R_0007_0041__SPEED_R_0007_0042__RAIL_R_0007_0043__NETWORK)
      & r_0007_0041__speed_r_0007_0042__rail_r_0007_0043__network(R_0007_0041__SPEED_R_0007_0042__RAIL_R_0007_0043__NETWORK)
      & has_attrib106(R_0007_0041__SPEED_R_0007_0042__RAIL_R_0007_0043__NETWORK,R_0007_0039__HIGH)
      & has_attrib103(R_0007_0041__SPEED_R_0007_0042__RAIL_R_0007_0043__NETWORK,R_0007_0038__BEST)
      & has_gen(R_0007_0041__SPEED_R_0007_0042__RAIL_R_0007_0043__NETWORK,R_0007_0035__THE_R_0007_0036__WORLD_R_0007_0037___APOS_S)
      & has_arg0(Z_000_7_A_STUCK_JAPAN_94,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_attrib87(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_attrib74(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_attrib63(R_0007_0024__CONFLICT,R_0007_0023__POLITICAL)
      & has_attrib60(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_attrib49(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_attrib28(R_0007_0009__THE_R_0007_0011__LIFE_R_0007_0012__EXPECTANCY,R_0007_0010__LONGEST)
      & has_attrib15(R_0007_0003__A_R_0007_0007__COUNTRY,R_0007_0006__PROSPEROUS)
      & has_attrib10(R_0007_0003__A_R_0007_0007__COUNTRY,R_0007_0004__PEACEFUL)
      & has_arg0(R_0007_0002___APOS_S,R_0007_0001__IT) ) ).

( (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 ,)
                                             (IP-PPL (NP-PRD (NP-GEN (D the;{the})
                                                                     (N world;{world})
                                                                     (GENM <apos>s))
                                                             (ADJP (ADJS best;{good}))
                                                             (ADJP (ADJ high;{high}))
                                                             (PUNC <hyphen>)
                                                             (N speed;{speed})
                                                             (N rail;{rail})
                                                             (N network;{network})))))))))
          (PUNC .))
  (ID 7_a_stuck_japan))