( (IP-IMP (VB;_Tn.pr_ Wrap;{wrap})
          (NP-OB1;{LAYLOR} (PRO her;{her}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (ADJP (ADJ thick;{thick}))
                      (NS towels;{towel})
                      (IP-PPL (VVN;_I_ heated;{heat})
                              (PP-NIM (P-ROLE on;{on})
                                      (NP (D a;{a})
                                          (N rail;{rail}))))))
          (PUNC .))
  (ID 179_a_loosechange))

arc(r_0179_0001__Wrap,r_0179_0002__her,arg1).
arc(r_0179_0001__Wrap,r_0179_0005__towels,r_0179_0003__in__nim).
arc(r_0179_0001__Wrap,z_0179_5002,arg0).
arc(r_0179_0005__towels,r_0179_0004__thick,attrib).
arc(r_0179_0006__heated,r_0179_0005__towels,inv_arg0).
arc(r_0179_0006__heated,r_0179_0008__a_r_0179_0009__rail,r_0179_0007__on__nim).

fof(formula,axiom,
    ? [R_0179_0002__HER,R_0179_0004__THICK,R_0179_0008__A_R_0179_0009__RAIL,R_0179_0006__HEATED,R_0179_0005__TOWELS,Z_0179_5002,R_0179_0001__WRAP] :
      ( r_0179_0002__her(R_0179_0002__HER)
      & r_0179_0004__thick(R_0179_0004__THICK)
      & r_0179_0008__a_r_0179_0009__rail(R_0179_0008__A_R_0179_0009__RAIL)
      & z_0179_5002(Z_0179_5002)
      & r_0179_0001__Wrap(R_0179_0001__WRAP)
      & has_arg0(R_0179_0001__WRAP,Z_0179_5002)
      & has_r_0179_0003__in__nim(R_0179_0001__WRAP,R_0179_0005__TOWELS)
      & r_0179_0005__towels(R_0179_0005__TOWELS)
      & has_inv_arg0(R_0179_0005__TOWELS,R_0179_0006__HEATED)
      & r_0179_0006__heated(R_0179_0006__HEATED)
      & has_r_0179_0007__on__nim(R_0179_0006__HEATED,R_0179_0008__A_R_0179_0009__RAIL)
      & has_attrib(R_0179_0005__TOWELS,R_0179_0004__THICK)
      & has_arg1(R_0179_0001__WRAP,R_0179_0002__HER) ) ).