arc(r_0179_0001__Wrap, r_0179_0002__her, arg1).
arc(r_0179_0001__Wrap, r_0179_0005__towels, r_0179_0003__in_nim10).
arc(r_0179_0001__Wrap, z_000_179_a_loosechange_1, arg0).
arc(r_0179_0005__towels, r_0179_0004__thick, attrib11).
arc(r_0179_0006__heated, r_0179_0005__towels, arg0).
arc(r_0179_0006__heated, r_0179_0008__a_r_0179_0009__rail, r_0179_0007__on_nim22).

fof(formula,axiom,
    ? [R_0179_0002__HER,R_0179_0004__THICK,R_0179_0005__TOWELS,Z_000_179_A_LOOSECHANGE_1,R_0179_0001__WRAP,R_0179_0008__A_R_0179_0009__RAIL,R_0179_0006__HEATED] :
      ( 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_000_179_a_loosechange_1(Z_000_179_A_LOOSECHANGE_1)
      & r_0179_0006__heated(R_0179_0006__HEATED)
      & has_r_0179_0007__on_nim22(R_0179_0006__HEATED,R_0179_0008__A_R_0179_0009__RAIL)
      & has_arg0(R_0179_0006__HEATED,R_0179_0005__TOWELS)
      & r_0179_0005__towels(R_0179_0005__TOWELS)
      & has_attrib11(R_0179_0005__TOWELS,R_0179_0004__THICK)
      & r_0179_0001__Wrap(R_0179_0001__WRAP)
      & has_arg0(R_0179_0001__WRAP,Z_000_179_A_LOOSECHANGE_1)
      & has_r_0179_0003__in_nim10(R_0179_0001__WRAP,R_0179_0005__TOWELS)
      & has_arg1(R_0179_0001__WRAP,R_0179_0002__HER) ) ).

( (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))