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_0003__a_r_0116_0004__tissue, 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_116_5_AND,R_116_2_FOUND,Z_116_A_LOOSECHANGE_23,R_116_8_TO_WIPE,R_116_11_SWEATING_PALMS,R_116_6_USED,R_116_1_I,R_116_3_A_TISSUE] :
      ( i(R_116_1_I)
      & a_tissue(R_116_3_A_TISSUE)
      & and(R_116_5_AND)
      & conj1(R_116_5_AND,R_116_2_FOUND)
      & found(R_116_2_FOUND,R_116_1_I,R_116_3_A_TISSUE)
      & conj2(R_116_5_AND,Z_116_A_LOOSECHANGE_23)
      & z_116_a_loosechange_23(Z_116_A_LOOSECHANGE_23)
      & conj1(Z_116_A_LOOSECHANGE_23,R_116_8_TO_WIPE)
      & to_wipe(R_116_8_TO_WIPE,R_116_3_A_TISSUE,R_116_11_SWEATING_PALMS)
      & sweating_palms(R_116_11_SWEATING_PALMS)
      & gen(R_116_11_SWEATING_PALMS,R_116_1_I)
      & conj2(Z_116_A_LOOSECHANGE_23,R_116_6_USED)
      & used(R_116_6_USED,R_116_1_I,R_116_3_A_TISSUE) ) ).

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