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

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,attrib).
arc(r_0076_0010__drew,r_0076_0001__She,arg0).
arc(r_0076_0010__drew,r_0076_0006__then,nim).
arc(r_0076_0010__drew,r_0076_0009__concentration,r_0076_0007__with__nim).
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__nim).
arc(z_0076_5001,r_0076_0002__licked,conj1).
arc(z_0076_5001,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_0076_5001] :
      ( 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_0076_5001(Z_0076_5001)
      & has_conj2(Z_0076_5001,R_0076_0010__DREW)
      & r_0076_0010__drew(R_0076_0010__DREW)
      & has_r_0076_0013__on_to__nim(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__nim(R_0076_0010__DREW,R_0076_0009__CONCENTRATION)
      & r_0076_0009__concentration(R_0076_0009__CONCENTRATION)
      & has_attrib(R_0076_0009__CONCENTRATION,R_0076_0008__GREAT)
      & has_nim(R_0076_0010__DREW,R_0076_0006__THEN)
      & has_arg0(R_0076_0010__DREW,R_0076_0001__SHE)
      & has_conj1(Z_0076_5001,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) ) ).