arc(r_0076_0002__licked, r_0076_0001__She, arg0).
arc(r_0076_0002__licked, r_0076_0004__finger, arg1).
arc(r_0076_0004__finger, r_0076_0001__She, gen).
arc(r_0076_0009__concentration, r_0076_0008__great, attrib26).
arc(r_0076_0010__drew, r_0076_0001__She, arg0).
arc(r_0076_0010__drew, r_0076_0006__then, nim19).
arc(r_0076_0010__drew, r_0076_0009__concentration, r_0076_0007__with_nim25).
arc(r_0076_0010__drew, r_0076_0011__an_r_0076_0012__outline, arg1).
arc(r_0076_0010__drew, r_0076_0014__the_r_0076_0015__tabletop, r_0076_0013__on_to_nim41).
arc(z_000_76_a_loosechange_5, r_0076_0002__licked, conj1).
arc(z_000_76_a_loosechange_5, r_0076_0010__drew, conj2).

fof(formula,axiom,
    ? [R_0076_0001__SHE,R_0076_0004__FINGER,R_0076_0002__LICKED,R_0076_0006__THEN,R_0076_0008__GREAT,R_0076_0009__CONCENTRATION,R_0076_0011__AN_R_0076_0012__OUTLINE,R_0076_0014__THE_R_0076_0015__TABLETOP,R_0076_0010__DREW,Z_000_76_A_LOOSECHANGE_5] :
      ( r_0076_0001__She(R_0076_0001__SHE)
      & r_0076_0006__then(R_0076_0006__THEN)
      & r_0076_0008__great(R_0076_0008__GREAT)
      & r_0076_0011__an_r_0076_0012__outline(R_0076_0011__AN_R_0076_0012__OUTLINE)
      & r_0076_0014__the_r_0076_0015__tabletop(R_0076_0014__THE_R_0076_0015__TABLETOP)
      & z_000_76_a_loosechange_5(Z_000_76_A_LOOSECHANGE_5)
      & has_conj2(Z_000_76_A_LOOSECHANGE_5,R_0076_0010__DREW)
      & r_0076_0010__drew(R_0076_0010__DREW)
      & has_r_0076_0013__on_to_nim41(R_0076_0010__DREW,R_0076_0014__THE_R_0076_0015__TABLETOP)
      & has_arg1(R_0076_0010__DREW,R_0076_0011__AN_R_0076_0012__OUTLINE)
      & has_r_0076_0007__with_nim25(R_0076_0010__DREW,R_0076_0009__CONCENTRATION)
      & r_0076_0009__concentration(R_0076_0009__CONCENTRATION)
      & has_attrib26(R_0076_0009__CONCENTRATION,R_0076_0008__GREAT)
      & has_nim19(R_0076_0010__DREW,R_0076_0006__THEN)
      & has_arg0(R_0076_0010__DREW,R_0076_0001__SHE)
      & has_conj1(Z_000_76_A_LOOSECHANGE_5,R_0076_0002__LICKED)
      & r_0076_0002__licked(R_0076_0002__LICKED)
      & has_arg1(R_0076_0002__LICKED,R_0076_0004__FINGER)
      & r_0076_0004__finger(R_0076_0004__FINGER)
      & has_gen(R_0076_0004__FINGER,R_0076_0001__SHE)
      & has_arg0(R_0076_0002__LICKED,R_0076_0001__SHE) ) ).

( (IP-MAT (NP-SBJ;{LAYLOR} (PRO She;{she}))
          (ILYR (ILYR (VBD;_Tn_ licked;{lick})
                      (NP-OB1 (NP-GEN;{LAYLOR} (PRO;_genm_ her;{her}))
                              (N finger;{finger})))
                (PUNC ,)
                (CONJP (ILYR (ADVP-NIM (ADV then;{then}))
                             (PP-NIM (P-ROLE with;{with})
                                     (NP (ADJP (ADJ great;{great}))
                                         (N concentration;{concentration})))
                             (VBD;_Tn.pr_ drew;{draw})
                             (NP-OB1 (D an;{an})
                                     (N outline;{outline}))
                             (PP-NIM (P-ROLE on_to;{on_to})
                                     (NP (D the;{the})
                                         (N tabletop;{tabletop}))))))
          (PUNC .))
  (ID 76_a_loosechange))