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

arc(r_0122_0002__Did,r_0122_0003__he,arg0).
arc(r_0122_0002__Did,r_0122_0006__peacefully,nim).
arc(r_0122_0010__asked,r_0122_0009__she,arg0).
arc(r_0122_0010__asked,z_0122_5002__utterance,arg1).
arc(z_0122_5002__utterance,r_0122_0002__Did,part1).

fof(formula,axiom,
    ? [R_0122_0009__SHE,R_0122_0003__HE,R_0122_0006__PEACEFULLY,R_0122_0002__DID,Z_0122_5002__UTTERANCE,R_0122_0010__ASKED] :
      ( r_0122_0003__he(R_0122_0003__HE)
      & r_0122_0006__peacefully(R_0122_0006__PEACEFULLY)
      & r_0122_0009__she(R_0122_0009__SHE)
      & r_0122_0010__asked(R_0122_0010__ASKED)
      & has_arg1(R_0122_0010__ASKED,Z_0122_5002__UTTERANCE)
      & z_0122_5002__utterance(Z_0122_5002__UTTERANCE)
      & has_part1(Z_0122_5002__UTTERANCE,R_0122_0002__DID)
      & r_0122_0002__Did(R_0122_0002__DID)
      & has_nim(R_0122_0002__DID,R_0122_0006__PEACEFULLY)
      & has_arg0(R_0122_0002__DID,R_0122_0003__HE)
      & has_arg0(R_0122_0010__ASKED,R_0122_0009__SHE) ) ).