( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (FRAG (REACT No_,_no)
                               (PUNC ,)
                               (NEG not;{not})
                               (PP-NIM (P-ROLE for;{for})
                                       (NP;{COTTER} (PRO me;{I})))))
          (PUNC ,)
          (PURQ <rdquo>)
          (VBD;_Tr_ said;{say})
          (NP-SBJ;{COTTER} (ADJP (ADJ old;{old}))
                           (NPR Cotter;{Cotter}))
          (PUNC .))
  (ID 47_a_joyce_1914))

arc(r_0047_0004__not,z_0047_5006,keep_scope).
arc(r_0047_0009__said,r_0047_0011__Cotter,arg0).
arc(r_0047_0009__said,z_0047_5002__utterance,arg1).
arc(r_0047_0011__Cotter,r_0047_0010__old,attrib).
arc(z_0047_5002__utterance,r_0047_0004__not,part1).
arc(z_0047_5006,r_0047_0006__me,r_0047_0005__for__nim).
arc(z_0047_5006,z_0047_5004,arg0).

fof(formula,axiom,
    ? [R_0047_0010__OLD,R_0047_0011__COTTER,Z_0047_5002__UTTERANCE,R_0047_0009__SAID] :
      ( r_0047_0010__old(R_0047_0010__OLD)
      & r_0047_0009__said(R_0047_0009__SAID)
      & has_arg1(R_0047_0009__SAID,Z_0047_5002__UTTERANCE)
      & z_0047_5002__utterance(Z_0047_5002__UTTERANCE)
      & has_part1(Z_0047_5002__UTTERANCE,R_0047_0004__NOT)
      & ~ ? [R_0047_0006__ME,Z_0047_5004,Z_0047_5006] :
            ( r_0047_0006__me(R_0047_0006__ME)
            & z_0047_5004(Z_0047_5004)
            & z_0047_5006(Z_0047_5006)
            & has_arg0(Z_0047_5006,Z_0047_5004)
            & has_r_0047_0005__for__nim(Z_0047_5006,R_0047_0006__ME) )
      & has_arg0(R_0047_0009__SAID,R_0047_0011__COTTER)
      & r_0047_0011__Cotter(R_0047_0011__COTTER)
      & has_attrib(R_0047_0011__COTTER,R_0047_0010__OLD) ) ).