TSPC 130_a_stuck

130_a_stuck_japan
During a recent election I drove up a narrow river valley cut into the mountains two hours west of Tokyo - LDP country.

( (IP-MAT (PP-NIM (P-ROLE During;{during})
                  (NP (D a;{a})
                      (ADJP (ADJ recent;{recent}))
                      (N election;{election})))
          (NP-SBJ (PRO I;{I}))
          (VBD;__ drove;{drive})
          (RP up;{up})
          (NP-NIM (D a;{a})
                  (ADJP (ADJ narrow;{narrow}))
                  (N river;{river})
                  (N valley;{valley})
                  (IP-PPL (VVN;__ cut;{cut})
                          (PP-NIM (P-ROLE into;{into})
                                  (NP (D the;{the})
                                      (NS mountains;{mountain})))))
          (ADVP-NIM (NP (NUM two;{two})
                        (NS hours;{hour}))
                    (N west;{west})
                    (PP (P-ROLE of;{of})
                        (NP (NLYR (NPR Tokyo;{Tokyo})
                                  (PUNC <hyphen>)
                                  (NPR LDP;{LDP}))
                            (N country;{country}))))
          (PUNC .))
  (ID 130_a_stuck_japan))

arc(r_0130_0002__a_r_0130_0004__election,r_0130_0003__recent,attrib).
arc(r_0130_0006__drove_r_0130_0007__up,r_0130_0002__a_r_0130_0004__election,r_0130_0001__During__nim).
arc(r_0130_0006__drove_r_0130_0007__up,r_0130_0005__I,arg0).
arc(r_0130_0006__drove_r_0130_0007__up,r_0130_0008__a_r_0130_0010__river_r_0130_0011__valley,nim).
arc(r_0130_0006__drove_r_0130_0007__up,z_0130_5006,nim).
arc(r_0130_0008__a_r_0130_0010__river_r_0130_0011__valley,r_0130_0009__narrow,attrib).
arc(r_0130_0012__cut,r_0130_0008__a_r_0130_0010__river_r_0130_0011__valley,inv_arg0).
arc(r_0130_0012__cut,r_0130_0014__the_r_0130_0015__mountains,r_0130_0013__into__nim).
arc(r_0130_0023__country,r_0130_0020__Tokyo_r_0130_0022__LDP,nim).
arc(z_0130_5006,r_0130_0016__two_r_0130_0017__hours,nim).
arc(z_0130_5006,r_0130_0023__country,r_0130_0019__of).

fof(formula,axiom,
    ? [R_0130_0003__RECENT,R_0130_0002__A_R_0130_0004__ELECTION,R_0130_0005__I,R_0130_0009__NARROW,R_0130_0014__THE_R_0130_0015__MOUNTAINS,R_0130_0012__CUT,R_0130_0008__A_R_0130_0010__RIVER_R_0130_0011__VALLEY,R_0130_0016__TWO_R_0130_0017__HOURS,R_0130_0020__TOKYO_R_0130_0022__LDP,R_0130_0023__COUNTRY,Z_0130_5006,R_0130_0006__DROVE_R_0130_0007__UP] :
      ( r_0130_0003__recent(R_0130_0003__RECENT)
      & r_0130_0005__I(R_0130_0005__I)
      & r_0130_0009__narrow(R_0130_0009__NARROW)
      & r_0130_0014__the_r_0130_0015__mountains(R_0130_0014__THE_R_0130_0015__MOUNTAINS)
      & r_0130_0016__two_r_0130_0017__hours(R_0130_0016__TWO_R_0130_0017__HOURS)
      & r_0130_0020__Tokyo_r_0130_0022__LDP(R_0130_0020__TOKYO_R_0130_0022__LDP)
      & r_0130_0006__drove_r_0130_0007__up(R_0130_0006__DROVE_R_0130_0007__UP)
      & has_nim(R_0130_0006__DROVE_R_0130_0007__UP,Z_0130_5006)
      & z_0130_5006(Z_0130_5006)
      & has_r_0130_0019__of(Z_0130_5006,R_0130_0023__COUNTRY)
      & r_0130_0023__country(R_0130_0023__COUNTRY)
      & has_nim(R_0130_0023__COUNTRY,R_0130_0020__TOKYO_R_0130_0022__LDP)
      & has_nim(Z_0130_5006,R_0130_0016__TWO_R_0130_0017__HOURS)
      & has_nim(R_0130_0006__DROVE_R_0130_0007__UP,R_0130_0008__A_R_0130_0010__RIVER_R_0130_0011__VALLEY)
      & r_0130_0008__a_r_0130_0010__river_r_0130_0011__valley(R_0130_0008__A_R_0130_0010__RIVER_R_0130_0011__VALLEY)
      & has_inv_arg0(R_0130_0008__A_R_0130_0010__RIVER_R_0130_0011__VALLEY,R_0130_0012__CUT)
      & r_0130_0012__cut(R_0130_0012__CUT)
      & has_r_0130_0013__into__nim(R_0130_0012__CUT,R_0130_0014__THE_R_0130_0015__MOUNTAINS)
      & has_attrib(R_0130_0008__A_R_0130_0010__RIVER_R_0130_0011__VALLEY,R_0130_0009__NARROW)
      & has_arg0(R_0130_0006__DROVE_R_0130_0007__UP,R_0130_0005__I)
      & has_r_0130_0001__During__nim(R_0130_0006__DROVE_R_0130_0007__UP,R_0130_0002__A_R_0130_0004__ELECTION)
      & r_0130_0002__a_r_0130_0004__election(R_0130_0002__A_R_0130_0004__ELECTION)
      & has_attrib(R_0130_0002__A_R_0130_0004__ELECTION,R_0130_0003__RECENT) ) ).