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

arc(r_0150_0005__James,r_0150_0004__poor,attrib).
arc(r_0150_0008__said,r_0150_0009__Eliza,arg0).
arc(r_0150_0008__said,z_0150_5003__utterance,arg1).
arc(z_0150_5003__utterance,z_0150_5009,part1).
arc(z_0150_5009,r_0150_0005__James,z_0150_5007).
arc(z_0150_5009,z_0150_5006,arg0).

fof(formula,axiom,
    ? [R_0150_0009__ELIZA,R_0150_0004__POOR,R_0150_0005__JAMES,Z_0150_5006,Z_0150_5009,Z_0150_5003__UTTERANCE,R_0150_0008__SAID] :
      ( r_0150_0004__poor(R_0150_0004__POOR)
      & r_0150_0009__Eliza(R_0150_0009__ELIZA)
      & z_0150_5006(Z_0150_5006)
      & r_0150_0008__said(R_0150_0008__SAID)
      & has_arg1(R_0150_0008__SAID,Z_0150_5003__UTTERANCE)
      & z_0150_5003__utterance(Z_0150_5003__UTTERANCE)
      & has_part1(Z_0150_5003__UTTERANCE,Z_0150_5009)
      & z_0150_5009(Z_0150_5009)
      & has_arg0(Z_0150_5009,Z_0150_5006)
      & has_z_0150_5007(Z_0150_5009,R_0150_0005__JAMES)
      & r_0150_0005__James(R_0150_0005__JAMES)
      & has_attrib(R_0150_0005__JAMES,R_0150_0004__POOR)
      & has_arg0(R_0150_0008__SAID,R_0150_0009__ELIZA) ) ).