( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (CP-QUE-MAT (IP-SUB (ADVP-NIM (WADV Where;{where}))
                                             (DOD did;{do})
                                             (NP-SBJ;{TANCE} (PRO he;{he}))
                                             (VB;_I_ go;{go}))
                                     (PUNC ?)))
          (PURQ <rdquo>)
          (NP-SBJ;{NASHA} (NPR Nasha;{Nasha}))
          (VBD;_Tr_ said;{say})
          (ADVP-NIM (ADV irritably;{irritably}))
          (PUNC .))
  (ID 391_a_dick_1952))

arc(r_0391_0003__did_r_0391_0005__go,r_0391_0002__Where,nim).
arc(r_0391_0003__did_r_0391_0005__go,r_0391_0004__he,arg0).
arc(r_0391_0009__said,r_0391_0008__Nasha,arg0).
arc(r_0391_0009__said,r_0391_0010__irritably,nim).
arc(r_0391_0009__said,z_0391_5002__utterance,arg1).
arc(z_0391_5002__utterance,r_0391_0003__did_r_0391_0005__go,part1).

fof(formula,axiom,
    ? [R_0391_0008__NASHA,R_0391_0010__IRRITABLY,R_0391_0002__WHERE,R_0391_0004__HE,R_0391_0003__DID_R_0391_0005__GO,Z_0391_5002__UTTERANCE,R_0391_0009__SAID] :
      ( r_0391_0002__Where(R_0391_0002__WHERE)
      & r_0391_0004__he(R_0391_0004__HE)
      & r_0391_0008__Nasha(R_0391_0008__NASHA)
      & r_0391_0010__irritably(R_0391_0010__IRRITABLY)
      & r_0391_0009__said(R_0391_0009__SAID)
      & has_arg1(R_0391_0009__SAID,Z_0391_5002__UTTERANCE)
      & z_0391_5002__utterance(Z_0391_5002__UTTERANCE)
      & has_part1(Z_0391_5002__UTTERANCE,R_0391_0003__DID_R_0391_0005__GO)
      & r_0391_0003__did_r_0391_0005__go(R_0391_0003__DID_R_0391_0005__GO)
      & has_arg0(R_0391_0003__DID_R_0391_0005__GO,R_0391_0004__HE)
      & has_nim(R_0391_0003__DID_R_0391_0005__GO,R_0391_0002__WHERE)
      & has_nim(R_0391_0009__SAID,R_0391_0010__IRRITABLY)
      & has_arg0(R_0391_0009__SAID,R_0391_0008__NASHA) ) ).