arc(utterance_71_a_lob_n02_4, z_000_71_a_lob_n02_5, part1).
arc(r_0071_0003__well, r_0071_0002__Very, qual7).
arc(r_0071_0007__said, utterance_71_a_lob_n02_4, arg1).
arc(r_0071_0007__said, r_0071_0006__she, arg0).
arc(r_0071_0007__said, r_0071_0008__coolly, nim21).
arc(z_000_71_a_lob_n02_5, r_0071_0003__well, qual6).

fof(formula,axiom,
    ? [R_71_7_SAID,R_71_6_SHE,UTTERANCE_71_A_LOB_N02_4,Z_71_A_LOB_N02_5,R_71_3_WELL,R_71_2_VERY,R_71_8_COOLLY] :
      ( she(R_71_6_SHE)
      & very(R_71_2_VERY)
      & coolly(R_71_8_COOLLY)
      & said(R_71_7_SAID,R_71_6_SHE,UTTERANCE_71_A_LOB_N02_4)
      & utterance_71_a_lob_n02_4(UTTERANCE_71_A_LOB_N02_4)
      & part1(UTTERANCE_71_A_LOB_N02_4,Z_71_A_LOB_N02_5)
      & z_71_a_lob_n02_5(Z_71_A_LOB_N02_5)
      & qual6(Z_71_A_LOB_N02_5,R_71_3_WELL)
      & well(R_71_3_WELL)
      & qual7(R_71_3_WELL,R_71_2_VERY)
      & nim21(R_71_7_SAID,R_71_8_COOLLY) ) ).

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