( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (FRAG (ADVP (ADVP (ADV Very;{very}))
                                     (ADV well;{well}))))
          (PUNC ,)
          (PURQ <rquo>)
          (NP-SBJ;{BERYL} (PRO she;{she}))
          (VBD;_Tr_ said;{say})
          (ADVP-NIM (ADV coolly;{coolly}))
          (PUNC .))
  (ID 71_a_lob_n02))

arc(r_0071_0003__well,r_0071_0002__Very,qual).
arc(r_0071_0007__said,r_0071_0006__she,arg0).
arc(r_0071_0007__said,r_0071_0008__coolly,nim).
arc(r_0071_0007__said,z_0071_5002__utterance,arg1).
arc(z_0071_5002__utterance,z_0071_5007,part1).
arc(z_0071_5007,r_0071_0003__well,qual).
arc(z_0071_5007,z_0071_5004,arg0).

fof(formula,axiom,
    ? [R_0071_0006__SHE,R_0071_0008__COOLLY,R_0071_0002__VERY,R_0071_0003__WELL,Z_0071_5004,Z_0071_5007,Z_0071_5002__UTTERANCE,R_0071_0007__SAID] :
      ( r_0071_0002__Very(R_0071_0002__VERY)
      & r_0071_0006__she(R_0071_0006__SHE)
      & r_0071_0008__coolly(R_0071_0008__COOLLY)
      & z_0071_5004(Z_0071_5004)
      & r_0071_0007__said(R_0071_0007__SAID)
      & has_arg1(R_0071_0007__SAID,Z_0071_5002__UTTERANCE)
      & z_0071_5002__utterance(Z_0071_5002__UTTERANCE)
      & has_part1(Z_0071_5002__UTTERANCE,Z_0071_5007)
      & z_0071_5007(Z_0071_5007)
      & has_arg0(Z_0071_5007,Z_0071_5004)
      & has_qual(Z_0071_5007,R_0071_0003__WELL)
      & r_0071_0003__well(R_0071_0003__WELL)
      & has_qual(R_0071_0003__WELL,R_0071_0002__VERY)
      & has_nim(R_0071_0007__SAID,R_0071_0008__COOLLY)
      & has_arg0(R_0071_0007__SAID,R_0071_0006__SHE) ) ).