arc(r_0116_0002__found, r_0116_0001__I, arg0).
arc(r_0116_0002__found, r_0116_0003__a_r_0116_0004__tissue, arg1).
arc(r_0116_0005__and, r_0116_0002__found, conj1).
arc(r_0116_0005__and, z_000_116_a_loosechange_23, conj2).
arc(r_0116_0006__used, r_0116_0001__I, arg0).
arc(r_0116_0006__used, r_0116_0003__a_r_0116_0004__tissue, arg1).
arc(r_0116_0008__to_r_0116_0009__wipe, r_0116_0001__I, arg0).
arc(r_0116_0008__to_r_0116_0009__wipe, r_0116_0011__sweating_r_0116_0012__palms, arg1).
arc(r_0116_0011__sweating_r_0116_0012__palms, r_0116_0001__I, gen).
arc(z_000_116_a_loosechange_23, r_0116_0006__used, scope).
arc(z_000_116_a_loosechange_23, r_0116_0008__to_r_0116_0009__wipe, restriction).

fof(formula,axiom,
    ? [R_0116_0001__I,R_0116_0003__A_R_0116_0004__TISSUE,R_0116_0002__FOUND,R_0116_0006__USED,R_0116_0011__SWEATING_R_0116_0012__PALMS,R_0116_0008__TO_R_0116_0009__WIPE,Z_000_116_A_LOOSECHANGE_23,R_0116_0005__AND] :
      ( r_0116_0001__I(R_0116_0001__I)
      & r_0116_0003__a_r_0116_0004__tissue(R_0116_0003__A_R_0116_0004__TISSUE)
      & r_0116_0005__and(R_0116_0005__AND)
      & has_conj2(R_0116_0005__AND,Z_000_116_A_LOOSECHANGE_23)
      & z_000_116_a_loosechange_23(Z_000_116_A_LOOSECHANGE_23)
      & has_conj1(Z_000_116_A_LOOSECHANGE_23,R_0116_0008__TO_R_0116_0009__WIPE)
      & r_0116_0008__to_r_0116_0009__wipe(R_0116_0008__TO_R_0116_0009__WIPE)
      & has_arg1(R_0116_0008__TO_R_0116_0009__WIPE,R_0116_0011__SWEATING_R_0116_0012__PALMS)
      & r_0116_0011__sweating_r_0116_0012__palms(R_0116_0011__SWEATING_R_0116_0012__PALMS)
      & has_gen(R_0116_0011__SWEATING_R_0116_0012__PALMS,R_0116_0001__I)
      & has_arg0(R_0116_0008__TO_R_0116_0009__WIPE,R_0116_0001__I)
      & has_conj2(Z_000_116_A_LOOSECHANGE_23,R_0116_0006__USED)
      & r_0116_0006__used(R_0116_0006__USED)
      & has_arg1(R_0116_0006__USED,R_0116_0003__A_R_0116_0004__TISSUE)
      & has_arg0(R_0116_0006__USED,R_0116_0001__I)
      & has_conj1(R_0116_0005__AND,R_0116_0002__FOUND)
      & r_0116_0002__found(R_0116_0002__FOUND)
      & has_arg1(R_0116_0002__FOUND,R_0116_0003__A_R_0116_0004__TISSUE)
      & has_arg0(R_0116_0002__FOUND,R_0116_0001__I) ) ).

( (IP-MAT (NP-SBJ (PRO I;{I}))
          (ILYR (ILYR (VBD;__ found;{find})
                      (NP-OB1;{TISSUE} (D a;{a})
                                       (N tissue;{tissue})))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;__ used;{use})
                             (NP-OB1;{TISSUE} (PRO it;{it}))
                             (PP-SCON (IP-INF (TO to;{to})
                                              (VB;__ wipe;{wipe})
                                              (NP-OB1 (NP-GEN (PRO;_genm_ my;{my}))
                                                      (N sweating;{sweating})
                                                      (NS palms;{palm})))))))
          (PUNC .))
  (ID 116_a_loosechange))