( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (FRAG (INTJ Ah)
                               (PUNC ,)
                               (NP;{PRIEST} (ADJP (ADJ poor;{poor}))
                                            (NPR James;{James}))
                               (PUNC !)))
          (PURQ <rdquo>)
          (NP-SBJ;{ELIZA} (PRO she;{she}))
          (VBD;_Tr_ said;{say})
          (PUNC .))
  (ID 137_a_joyce_1914))

arc(r_0137_0005__James,r_0137_0004__poor,attrib).
arc(r_0137_0009__said,r_0137_0008__she,arg0).
arc(r_0137_0009__said,z_0137_5003__utterance,arg1).
arc(z_0137_5003__utterance,z_0137_5009,part1).
arc(z_0137_5009,r_0137_0005__James,z_0137_5007).
arc(z_0137_5009,z_0137_5006,arg0).

fof(formula,axiom,
    ? [R_0137_0008__SHE,R_0137_0004__POOR,R_0137_0005__JAMES,Z_0137_5006,Z_0137_5009,Z_0137_5003__UTTERANCE,R_0137_0009__SAID] :
      ( r_0137_0004__poor(R_0137_0004__POOR)
      & r_0137_0008__she(R_0137_0008__SHE)
      & z_0137_5006(Z_0137_5006)
      & r_0137_0009__said(R_0137_0009__SAID)
      & has_arg1(R_0137_0009__SAID,Z_0137_5003__UTTERANCE)
      & z_0137_5003__utterance(Z_0137_5003__UTTERANCE)
      & has_part1(Z_0137_5003__UTTERANCE,Z_0137_5009)
      & z_0137_5009(Z_0137_5009)
      & has_arg0(Z_0137_5009,Z_0137_5006)
      & has_z_0137_5007(Z_0137_5009,R_0137_0005__JAMES)
      & r_0137_0005__James(R_0137_0005__JAMES)
      & has_attrib(R_0137_0005__JAMES,R_0137_0004__POOR)
      & has_arg0(R_0137_0009__SAID,R_0137_0008__SHE) ) ).