arc(r_0132_0002__a_r_0132_0004__town, r_0132_0003__tiny, attrib8).
arc(r_0132_0006__met, r_0132_0002__a_r_0132_0004__town, r_0132_0001__In_nim5).
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, attrib21).
arc(r_0132_0010__walking, r_0132_0007__an_r_0132_0009__couple, arg0).
arc(r_0132_0010__walking, r_0132_0012__the_r_0132_0013__polling_r_0132_0014__station, r_0132_0011__to_nim32).

fof(formula,axiom,
    ? [R_132_6_MET,R_132_5_I,R_132_2_A_TOWN,R_132_3_TINY,R_132_10_WALKING,R_132_7_AN_COUPLE,R_132_8_ELDERLY,R_132_12_THE_POLLING_STATION] :
      ( i(R_132_5_I)
      & tiny(R_132_3_TINY)
      & elderly(R_132_8_ELDERLY)
      & the_polling_station(R_132_12_THE_POLLING_STATION)
      & met(R_132_6_MET,R_132_5_I,R_132_7_AN_COUPLE)
      & an_couple(R_132_7_AN_COUPLE)
      & attrib21(R_132_7_AN_COUPLE,R_132_8_ELDERLY)
      & in_nim5(R_132_6_MET,R_132_2_A_TOWN)
      & a_town(R_132_2_A_TOWN)
      & attrib8(R_132_2_A_TOWN,R_132_3_TINY)
      & walking(R_132_10_WALKING,R_132_7_AN_COUPLE)
      & to_nim32(R_132_10_WALKING,R_132_12_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))