arc(r_0036_0006__said, r_0036_0005__she, arg0).
arc(r_0036_0006__said, r_0036_0007__softly, nim17).
arc(r_0036_0006__said, utterance_36_a_loosechange_4, arg1).
arc(utterance_36_a_loosechange_4, r_0036_0002__Yes, part1).

fof(formula,axiom,
    ? [R_36_6_SAID,R_36_5_SHE,UTTERANCE_36_A_LOOSECHANGE_4,R_36_2_YES,R_36_7_SOFTLY] :
      ( she(R_36_5_SHE)
      & yes(R_36_2_YES)
      & softly(R_36_7_SOFTLY)
      & said(R_36_6_SAID,R_36_5_SHE,UTTERANCE_36_A_LOOSECHANGE_4)
      & utterance_36_a_loosechange_4(UTTERANCE_36_A_LOOSECHANGE_4)
      & part1(UTTERANCE_36_A_LOOSECHANGE_4,R_36_2_YES)
      & nim17(R_36_6_SAID,R_36_7_SOFTLY) ) ).

( (IP-MAT (PULQ <lquo>)
          (utterance-OB1 (FRAG (REACT Yes)))
          (PUNC ,)
          (PURQ <rquo>)
          (NP-SBJ;{LAYLOR} (PRO she;{she}))
          (VBD;_Tr_ said;{say})
          (ADVP-NIM (ADV softly;{softly}))
          (PUNC .))
  (ID 36_a_loosechange))