arc(r_0131_0003___apos_s, r_0131_0002__That, arg0).
arc(r_0131_0003___apos_s, z_000_131_a_joyce_1914_9, prd).
arc(r_0131_0008__had_r_0131_0009__in, r_0131_0005__the_r_0131_0006__woman, arg1).
arc(r_0131_0008__had_r_0131_0009__in, r_0131_0007__we, arg0).
arc(r_0131_0010__to_r_0131_0011__wash, r_0131_0007__we, arg0).
arc(r_0131_0010__to_r_0131_0011__wash, r_0131_0012__him, arg1).
arc(r_0131_0013__said, r_0131_0005__the_r_0131_0006__woman, arg0).
arc(r_0131_0013__said, z_000_131_a_joyce_1914_9, arg1).
arc(z_000_131_a_joyce_1914_29, r_0131_0008__had_r_0131_0009__in, scope).
arc(z_000_131_a_joyce_1914_29, r_0131_0010__to_r_0131_0011__wash, restriction).

fof(formula,axiom,
    ? [R_131_3__APOS_S,R_131_2_THAT,R_131_13_SAID,Z_131_A_JOYCE_1914_9,Z_131_A_JOYCE_1914_29,R_131_10_TO_WASH,R_131_12_HIM,R_131_8_HAD_IN,R_131_7_WE,R_131_5_THE_WOMAN] :
      ( that(R_131_2_THAT)
      & him(R_131_12_HIM)
      & we(R_131_7_WE)
      & the_woman(R_131_5_THE_WOMAN)
      & _apos_s(R_131_3__APOS_S,R_131_2_THAT,Z_131_A_JOYCE_1914_9)
      & said(R_131_13_SAID,R_131_5_THE_WOMAN,Z_131_A_JOYCE_1914_9)
      & z_131_a_joyce_1914_29(Z_131_A_JOYCE_1914_29)
      & conj1(Z_131_A_JOYCE_1914_29,R_131_10_TO_WASH)
      & to_wash(R_131_10_TO_WASH,R_131_7_WE,R_131_12_HIM)
      & conj2(Z_131_A_JOYCE_1914_29,R_131_8_HAD_IN)
      & had_in(R_131_8_HAD_IN,R_131_7_WE,R_131_5_THE_WOMAN) ) ).

( (IP-MAT (PULQ <ldquo>)
          (NP-SBJ (D;_nphd_ That;{that}))
          (BEP;_Ln_ <apos>s;{be})
          (NP-PRD (IP-REL (NP-OB1 (RPRO what;{what}))
                          (NP-SBJ;{WOMAN} (D the;{the})
                                          (N woman;{woman})
                                          (IP-REL (NP-OB1 *T*)
                                                  (NP-SBJ;{SISTERS} (PRO we;{we}))
                                                  (HVD;_phr_Vp_ had;{have[in]})
                                                  (RP in;{in})
                                                  (PP-SCON (IP-INF (TO to;{to})
                                                                   (VB;_Tn_ wash;{wash})
                                                                   (NP-OB1;{PRIEST} (PRO him;{he}))))))
                          (VBD;_Tn_ said;{say})))
          (PUNC .))
  (ID 131_a_joyce_1914))