arc(utterance_17_a_joyce_1914_4, r_0017_0003__have, part1).
arc(r_0017_0003__have, r_0017_0006__theory, arg1).
arc(r_0017_0003__have, r_0017_0011__he, arg0).
arc(r_0017_0006__theory, z_000_17_a_joyce_1914_12, gen).
arc(r_0017_0006__theory, z_000_17_a_joyce_1914_12, r_0017_0007__about).
arc(r_0017_0012__said, utterance_17_a_joyce_1914_4, arg1).
arc(r_0017_0012__said, r_0017_0011__he, arg0).
arc(z_000_17_a_joyce_1914_12, r_0017_0004__my, gen).
arc(z_000_17_a_joyce_1914_12, r_0017_0005__own, attrib16).

fof(formula,axiom,
    ? [R_17_12_SAID,UTTERANCE_17_A_JOYCE_1914_4,R_17_3_HAVE,R_17_11_HE,R_17_6_THEORY,Z_17_A_JOYCE_1914_12,R_17_5_OWN,R_17_4_MY] :
      ( he(R_17_11_HE)
      & own(R_17_5_OWN)
      & my(R_17_4_MY)
      & said(R_17_12_SAID,R_17_11_HE,UTTERANCE_17_A_JOYCE_1914_4)
      & utterance_17_a_joyce_1914_4(UTTERANCE_17_A_JOYCE_1914_4)
      & part1(UTTERANCE_17_A_JOYCE_1914_4,R_17_3_HAVE)
      & have(R_17_3_HAVE,R_17_11_HE,R_17_6_THEORY)
      & theory(R_17_6_THEORY)
      & gen(R_17_6_THEORY,Z_17_A_JOYCE_1914_12)
      & z_17_a_joyce_1914_12(Z_17_A_JOYCE_1914_12)
      & attrib16(Z_17_A_JOYCE_1914_12,R_17_5_OWN)
      & gen(Z_17_A_JOYCE_1914_12,R_17_4_MY)
      & about(R_17_6_THEORY,Z_17_A_JOYCE_1914_12) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ;{COTTER} (PRO I;{I}))
                                 (HVP;_Tn_ have;{have})
                                 (NP-OB1 (NP-GEN (NP-GEN (PRO;_genm_ my;{my}))
                                                 (ADJP (ADJ own;{own})))
                                         (N theory;{theory})
                                         (PP (P-ROLE about;{about})
                                             (NP (PRO it;{it}))))))
          (PUNC ,)
          (PURQ <rdquo>)
          (NP-SBJ;{COTTER} (PRO he;{he}))
          (VBD;_Tr_ said;{say})
          (PUNC .))
  (ID 17_a_joyce_1914))