( (IP-MAT (ILYR (ILYR (NP-SBJ;{BERYL} (PRO She;{she}))
                      (BED;_cat_VePASS_ was;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Cn.t_ tempted;{tempt})
                                  (IP-INF-OB1 (TO to;{to})
                                              (VB;_I_ laugh;{laugh}))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (PRO;_expletive_ it;{it}))
                             (BED;_V_as_though/as_if/like_ was;{be[as_though]})
                             (PP-CLR (P-ROLE as_though;{as_though})
                                     (IP-ADV (NP-SBJ (D that;{that})
                                                     (N barb;{barb}))
                                             (ADVP-NIM (ADV still;{still}))
                                             (VBD;_Ipr_ stuck;{stick[in]})
                                             (PP-CLR (P-ROLE in;{in})
                                                     (NP (NP-GEN;{BERYL} (PRO;_genm_ her;{her}))
                                                         (ADJP (ADJ quivering;{quivering}))
                                                         (N flesh;{flesh}))))))))
          (PUNC .))
  (ID 115_a_lob_n02))

arc(r_0115_0002__was,r_0115_0003__tempted,scope).
arc(r_0115_0003__tempted,r_0115_0001__She,arg2).
arc(r_0115_0003__tempted,r_0115_0005__laugh,arg1).
arc(r_0115_0003__tempted,z_0115_5004___star_,arg0).
arc(r_0115_0005__laugh,r_0115_0001__She,arg0).
arc(r_0115_0007__but,r_0115_0002__was,conj1).
arc(r_0115_0007__but,r_0115_0009__was,conj2).
arc(r_0115_0009__was,r_0115_0014__stuck_r_0115_0015__in,r_0115_0010__as_though__clr).
arc(r_0115_0014__stuck_r_0115_0015__in,r_0115_0011__that_r_0115_0012__barb,arg0).
arc(r_0115_0014__stuck_r_0115_0015__in,r_0115_0013__still,nim).
arc(r_0115_0014__stuck_r_0115_0015__in,r_0115_0018__flesh,arg1).
arc(r_0115_0018__flesh,r_0115_0001__She,gen).
arc(r_0115_0018__flesh,r_0115_0017__quivering,attrib).

fof(formula,axiom,
    ? [R_0115_0001__SHE,R_0115_0005__LAUGH,Z_0115_5004___STAR_,R_0115_0002__WAS_R_0115_0003__TEMPTED,R_0115_0011__THAT_R_0115_0012__BARB,R_0115_0013__STILL,R_0115_0017__QUIVERING,R_0115_0018__FLESH,R_0115_0014__STUCK_R_0115_0015__IN,R_0115_0009__WAS,R_0115_0007__BUT] :
      ( r_0115_0001__She(R_0115_0001__SHE)
      & r_0115_0011__that_r_0115_0012__barb(R_0115_0011__THAT_R_0115_0012__BARB)
      & r_0115_0013__still(R_0115_0013__STILL)
      & r_0115_0017__quivering(R_0115_0017__QUIVERING)
      & z_0115_5004___star_(Z_0115_5004___STAR_)
      & r_0115_0007__but(R_0115_0007__BUT)
      & has_conj2(R_0115_0007__BUT,R_0115_0009__WAS)
      & r_0115_0009__was(R_0115_0009__WAS)
      & has_r_0115_0010__as_though__clr(R_0115_0009__WAS,R_0115_0014__STUCK_R_0115_0015__IN)
      & r_0115_0014__stuck_r_0115_0015__in(R_0115_0014__STUCK_R_0115_0015__IN)
      & has_arg1(R_0115_0014__STUCK_R_0115_0015__IN,R_0115_0018__FLESH)
      & r_0115_0018__flesh(R_0115_0018__FLESH)
      & has_attrib(R_0115_0018__FLESH,R_0115_0017__QUIVERING)
      & has_gen(R_0115_0018__FLESH,R_0115_0001__SHE)
      & has_nim(R_0115_0014__STUCK_R_0115_0015__IN,R_0115_0013__STILL)
      & has_arg0(R_0115_0014__STUCK_R_0115_0015__IN,R_0115_0011__THAT_R_0115_0012__BARB)
      & has_conj1(R_0115_0007__BUT,R_0115_0002__WAS_R_0115_0003__TEMPTED)
      & r_0115_0002__was_r_0115_0003__tempted(R_0115_0002__WAS_R_0115_0003__TEMPTED)
      & has_arg0(R_0115_0002__WAS_R_0115_0003__TEMPTED,Z_0115_5004___STAR_)
      & has_arg1(R_0115_0002__WAS_R_0115_0003__TEMPTED,R_0115_0005__LAUGH)
      & r_0115_0005__laugh(R_0115_0005__LAUGH)
      & has_arg0(R_0115_0005__LAUGH,R_0115_0001__SHE)
      & has_arg2(R_0115_0002__WAS_R_0115_0003__TEMPTED,R_0115_0001__SHE) ) ).