( (IP-MAT (NP-SBJ (PRO I;{I}))
          (VBD;_Ipr_ walked;{walk[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (D the;{the})
                      (N counter;{counter})
                      (IP-REL (ADVP-137 (RADV where;{where}))
                              (NP-SBJ (NS serviettes;{serviette}))
                              (BED;_cat_Vg_ were;{be})
                              (IP-PPL-CAT (ADVP-NIM *ICH*-137)
                                          (VAG;__ lying;{lie})
                                          (PP-NIM (P-ROLE in;{in})
                                                  (NP (D a;{a})
                                                      (ADJP (ADJ neat;{neat}))
                                                      (N pile;{pile})))))))
          (PUNC .))
  (ID 194_a_loosechange))

arc(r_0194_0002__walked_r_0194_0003__to,r_0194_0001__I,arg0).
arc(r_0194_0002__walked_r_0194_0003__to,r_0194_0004__the_r_0194_0005__counter,arg1).
arc(r_0194_0008__were,r_0194_0009__lying,scope).
arc(r_0194_0009__lying,r_0194_0004__the_r_0194_0005__counter,nim).
arc(r_0194_0009__lying,r_0194_0007__serviettes,arg0).
arc(r_0194_0009__lying,r_0194_0011__a_r_0194_0013__pile,r_0194_0010__in__nim).
arc(r_0194_0011__a_r_0194_0013__pile,r_0194_0012__neat,attrib).

fof(formula,axiom,
    ? [R_0194_0001__I,R_0194_0004__THE_R_0194_0005__COUNTER,R_0194_0002__WALKED_R_0194_0003__TO,R_0194_0007__SERVIETTES,R_0194_0012__NEAT,R_0194_0011__A_R_0194_0013__PILE,R_0194_0008__WERE_R_0194_0009__LYING] :
      ( r_0194_0001__I(R_0194_0001__I)
      & r_0194_0004__the_r_0194_0005__counter(R_0194_0004__THE_R_0194_0005__COUNTER)
      & r_0194_0007__serviettes(R_0194_0007__SERVIETTES)
      & r_0194_0012__neat(R_0194_0012__NEAT)
      & r_0194_0008__were_r_0194_0009__lying(R_0194_0008__WERE_R_0194_0009__LYING)
      & has_r_0194_0010__in__nim(R_0194_0008__WERE_R_0194_0009__LYING,R_0194_0011__A_R_0194_0013__PILE)
      & r_0194_0011__a_r_0194_0013__pile(R_0194_0011__A_R_0194_0013__PILE)
      & has_attrib(R_0194_0011__A_R_0194_0013__PILE,R_0194_0012__NEAT)
      & has_arg0(R_0194_0008__WERE_R_0194_0009__LYING,R_0194_0007__SERVIETTES)
      & has_nim(R_0194_0008__WERE_R_0194_0009__LYING,R_0194_0004__THE_R_0194_0005__COUNTER)
      & r_0194_0002__walked_r_0194_0003__to(R_0194_0002__WALKED_R_0194_0003__TO)
      & has_arg1(R_0194_0002__WALKED_R_0194_0003__TO,R_0194_0004__THE_R_0194_0005__COUNTER)
      & has_arg0(R_0194_0002__WALKED_R_0194_0003__TO,R_0194_0001__I) ) ).