TSPC 132_a_stuck

132_a_stuck_japan
In a tiny town I met an elderly couple walking to the polling station.

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (D a;{a})
                      (ADJP (ADJ tiny;{tiny}))
                      (N town;{town})))
          (NP-SBJ (PRO I;{I}))
          (VBD;_Tn_ met;{meet})
          (NP-OB1 (D an;{a})
                  (ADJP (ADJ elderly;{elderly}))
                  (N couple;{couple})
                  (IP-PPL (VAG;__ walking;{walk})
                          (PP-NIM (P-ROLE to;{to})
                                  (NP (D the;{the})
                                      (N polling;{polling})
                                      (N station;{station})))))
          (PUNC .))
  (ID 132_a_stuck_japan))

arc(r_0132_0002__a_r_0132_0004__town,r_0132_0003__tiny,attrib).
arc(r_0132_0006__met,r_0132_0002__a_r_0132_0004__town,r_0132_0001__In__nim).
arc(r_0132_0006__met,r_0132_0005__I,arg0).
arc(r_0132_0006__met,r_0132_0007__an_r_0132_0009__couple,arg1).
arc(r_0132_0007__an_r_0132_0009__couple,r_0132_0008__elderly,attrib).
arc(r_0132_0010__walking,r_0132_0007__an_r_0132_0009__couple,inv_arg0).
arc(r_0132_0010__walking,r_0132_0012__the_r_0132_0013__polling_r_0132_0014__station,r_0132_0011__to__nim).

fof(formula,axiom,
    ? [R_0132_0003__TINY,R_0132_0002__A_R_0132_0004__TOWN,R_0132_0005__I,R_0132_0008__ELDERLY,R_0132_0012__THE_R_0132_0013__POLLING_R_0132_0014__STATION,R_0132_0010__WALKING,R_0132_0007__AN_R_0132_0009__COUPLE,R_0132_0006__MET] :
      ( r_0132_0003__tiny(R_0132_0003__TINY)
      & r_0132_0005__I(R_0132_0005__I)
      & r_0132_0008__elderly(R_0132_0008__ELDERLY)
      & r_0132_0012__the_r_0132_0013__polling_r_0132_0014__station(R_0132_0012__THE_R_0132_0013__POLLING_R_0132_0014__STATION)
      & r_0132_0006__met(R_0132_0006__MET)
      & has_arg1(R_0132_0006__MET,R_0132_0007__AN_R_0132_0009__COUPLE)
      & r_0132_0007__an_r_0132_0009__couple(R_0132_0007__AN_R_0132_0009__COUPLE)
      & has_inv_arg0(R_0132_0007__AN_R_0132_0009__COUPLE,R_0132_0010__WALKING)
      & r_0132_0010__walking(R_0132_0010__WALKING)
      & has_r_0132_0011__to__nim(R_0132_0010__WALKING,R_0132_0012__THE_R_0132_0013__POLLING_R_0132_0014__STATION)
      & has_attrib(R_0132_0007__AN_R_0132_0009__COUPLE,R_0132_0008__ELDERLY)
      & has_arg0(R_0132_0006__MET,R_0132_0005__I)
      & has_r_0132_0001__In__nim(R_0132_0006__MET,R_0132_0002__A_R_0132_0004__TOWN)
      & r_0132_0002__a_r_0132_0004__town(R_0132_0002__A_R_0132_0004__TOWN)
      & has_attrib(R_0132_0002__A_R_0132_0004__TOWN,R_0132_0003__TINY) ) ).