arc(utterance_40_a_joyce_1914_4, r_0040_0003___apos_s, part1).
arc(r_0040_0003___apos_s, r_0040_0002__That, arg0).
arc(r_0040_0003___apos_s, r_0040_0005__principle, prd).
arc(r_0040_0003___apos_s, r_0040_0007__too, nim19).
arc(r_0040_0005__principle, r_0040_0012__uncle, gen).
arc(r_0040_0010__said, utterance_40_a_joyce_1914_4, arg1).
arc(r_0040_0010__said, r_0040_0012__uncle, arg0).
arc(r_0040_0012__uncle, r_0040_0011__my, gen).

fof(formula,axiom,
    ? [R_40_10_SAID,UTTERANCE_40_A_JOYCE_1914_4,R_40_3__APOS_S,R_40_2_THAT,R_40_7_TOO,R_40_5_PRINCIPLE,R_40_12_UNCLE,R_40_11_MY] :
      ( that(R_40_2_THAT)
      & too(R_40_7_TOO)
      & my(R_40_11_MY)
      & said(R_40_10_SAID,R_40_12_UNCLE,UTTERANCE_40_A_JOYCE_1914_4)
      & uncle(R_40_12_UNCLE)
      & gen(R_40_12_UNCLE,R_40_11_MY)
      & utterance_40_a_joyce_1914_4(UTTERANCE_40_A_JOYCE_1914_4)
      & part1(UTTERANCE_40_A_JOYCE_1914_4,R_40_3__APOS_S)
      & _apos_s(R_40_3__APOS_S,R_40_2_THAT,R_40_5_PRINCIPLE)
      & principle(R_40_5_PRINCIPLE)
      & gen(R_40_5_PRINCIPLE,R_40_12_UNCLE)
      & nim19(R_40_3__APOS_S,R_40_7_TOO) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ (D;_nphd_ That;{that}))
                                 (BEP;_Ln_ <apos>s;{be})
                                 (NP-PRD (NP-GEN;{UNCLE} (PRO;_genm_ my;{my}))
                                         (N principle;{principle}))
                                 (PUNC ,)
                                 (ADVP-NIM (ADV too;{too}))))
          (PUNC ,)
          (PURQ <rdquo>)
          (VBD;_Tr_ said;{say})
          (NP-SBJ;{UNCLE} (NP-GEN (PRO;_genm_ my;{my}))
                          (N uncle;{uncle}))
          (PUNC .))
  (ID 40_a_joyce_1914))