arc(utterance_156_a_joyce_1914_4, r_0156_0003__know, part1).
arc(r_0156_0003__know, r_0156_0004__that, arg1).
arc(r_0156_0003__know, r_0156_0008__Eliza, arg0).
arc(r_0156_0007__said, utterance_156_a_joyce_1914_4, arg1).
arc(r_0156_0007__said, r_0156_0008__Eliza, arg0).

fof(formula,axiom,
    ? [R_156_7_SAID,UTTERANCE_156_A_JOYCE_1914_4,R_156_3_KNOW,R_156_8_ELIZA,R_156_4_THAT] :
      ( eliza(R_156_8_ELIZA)
      & that(R_156_4_THAT)
      & said(R_156_7_SAID,R_156_8_ELIZA,UTTERANCE_156_A_JOYCE_1914_4)
      & utterance_156_a_joyce_1914_4(UTTERANCE_156_A_JOYCE_1914_4)
      & part1(UTTERANCE_156_A_JOYCE_1914_4,R_156_3_KNOW)
      & know(R_156_3_KNOW,R_156_8_ELIZA,R_156_4_THAT) ) ).

( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ;{ELIZA} (PRO I;{I}))
                                 (VBP;_Tn_ know;{know})
                                 (NP-OB1 (D;_nphd_ that;{that}))))
          (PUNC ,)
          (PURQ <rdquo>)
          (VBD;_Tr_ said;{say})
          (NP-SBJ;{ELIZA} (NPR Eliza;{Eliza}))
          (PUNC .))
  (ID 156_a_joyce_1914))