arc(utterance_123_a_joyce_1914_4, r_0123_0002__Did_r_0123_1001____star__, part1).
arc(r_0123_0002__Did_r_0123_1001____star__, r_0123_0003__he, arg0).
arc(r_0123_0002__Did_r_0123_1001____star__, r_0123_0006__peacefully, nim18).
arc(r_0123_0010__asked, utterance_123_a_joyce_1914_4, arg1).
arc(r_0123_0010__asked, r_0123_0009__she, arg0).

fof(formula,axiom,
    ? [R_123_10_ASKED,R_123_9_SHE,UTTERANCE_123_A_JOYCE_1914_4,R_123_2_DID__STAR_,R_123_3_HE,R_123_6_PEACEFULLY] :
      ( she(R_123_9_SHE)
      & he(R_123_3_HE)
      & peacefully(R_123_6_PEACEFULLY)
      & asked(R_123_10_ASKED,R_123_9_SHE,UTTERANCE_123_A_JOYCE_1914_4)
      & utterance_123_a_joyce_1914_4(UTTERANCE_123_A_JOYCE_1914_4)
      & part1(UTTERANCE_123_A_JOYCE_1914_4,R_123_2_DID__STAR_)
      & did__star_(R_123_2_DID__STAR_,R_123_3_HE)
      & nim18(R_123_2_DID__STAR_,R_123_6_PEACEFULLY) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (CP-QUE-MAT (IP-SUB (DOD Did;{do})
                                             (NP-SBJ;{PRIEST} (PRO he;{he}))
                                             (VB _*_)
                                             (PUNC ..)
                                             (PUNC .)
                                             (ADVP-NIM (ADV peacefully;{peacefully})))
                                     (PUNC ?)))
          (PURQ <rdquo>)
          (NP-SBJ;{AUNT} (PRO she;{she}))
          (VBD;_Tr_ asked;{ask})
          (PUNC .))
  (ID 123_a_joyce_1914))