( (IP-MAT (NP-TPC-OB1 (Q;_nphd_ All;{all})
                      (NLYR (D the;{the})
                            (N work;{work})))
          (NP-SBJ (PRO we;{we})
                  (PRN *ICH*-130))
          (HVD;_Tn_ had;{have})
          (PUNC ,)
          (PRN-EPD-130 (NP;{SISTERS} (NLYR (NLYR;{NANNIE} (PRO she;{she}))
                                           (CONJP (CONJ and;{and})
                                                  (NLYR;{ELIZA} (PRO me;{I}))))))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (ILYR (ILYR (VAG;_Cn.t_ getting;{get})
                                        (RP in;{in})
                                        (NP-OB1;{WOMAN} (D the;{the})
                                                        (N woman;{woman}))
                                        (IP-INF-PRD (TO to;{to})
                                                    (VB;_Tn_ wash;{wash})
                                                    (NP-OB1;{PRIEST} (PRO him;{he}))))
                                  (CONJP (CONJ and;{and})
                                         (ILYR (ADVP-NIM (ADV then;{then}))
                                               (VAG;_phr_Vn<=>p_ laying;{lay})
                                               (NP-OB1;{PRIEST} (PRO him;{he}))
                                               (RP out;{out})))
                                  (CONJP (CONJ and;{and})
                                         (ILYR (ADVP-NIM (ADV then;{then}))
                                               (NP-OB1 (D the;{the})
                                                       (N coffin;{coffin}))))
                                  (CONJP (CONJ and;{and})
                                         (ILYR (ADVP-NIM (ADV then;{then}))
                                               (VAG;_Ipr_ arranging;{arrange[about]})
                                               (PP-CLR (P-ROLE about;{about})
                                                       (NP (D the;{the})
                                                           (N Mass;{mass})
                                                           (PP (P-ROLE in;{in})
                                                               (NP (D the;{the})
                                                                   (N chapel;{chapel}))))))))))
          (PUNC .))
  (ID 142_a_joyce_1914))

arc(r_0142_0001__All__quant,z_0142_5004,restriction).
arc(r_0142_0001__All__quant,z_0142_5008,scope).
arc(r_0142_0005__had,r_0142_0004__we,arg0).
arc(r_0142_0005__had,z_0142_5004,arg1).
arc(r_0142_0008__and,r_0142_0007__she,conj1).
arc(r_0142_0008__and,r_0142_0009__me,conj2).
arc(r_0142_0011__getting_r_0142_0012__in,r_0142_0004__we,arg0).
arc(r_0142_0011__getting_r_0142_0012__in,r_0142_0013__the_r_0142_0014__woman,arg1).
arc(r_0142_0011__getting_r_0142_0012__in,r_0142_0016__wash,prd).
arc(r_0142_0016__wash,r_0142_0017__him,arg1).
arc(r_0142_0016__wash,z_0142_5013,arg0).
arc(r_0142_0018__and_r_0142_0023__and_r_0142_0027__and,r_0142_0011__getting_r_0142_0012__in,conj1).
arc(r_0142_0018__and_r_0142_0023__and_r_0142_0027__and,r_0142_0020__laying_r_0142_0022__out,conj2).
arc(r_0142_0018__and_r_0142_0023__and_r_0142_0027__and,r_0142_0029__arranging_r_0142_0030__about,conj4).
arc(r_0142_0018__and_r_0142_0023__and_r_0142_0027__and,z_0142_5021,conj3).
arc(r_0142_0020__laying_r_0142_0022__out,r_0142_0004__we,arg0).
arc(r_0142_0020__laying_r_0142_0022__out,r_0142_0017__him,arg1).
arc(r_0142_0020__laying_r_0142_0022__out,r_0142_0019__then,nim).
arc(r_0142_0029__arranging_r_0142_0030__about,r_0142_0004__we,arg0).
arc(r_0142_0029__arranging_r_0142_0030__about,r_0142_0028__then,nim).
arc(r_0142_0029__arranging_r_0142_0030__about,r_0142_0031__the_r_0142_0032__Mass,arg1).
arc(r_0142_0031__the_r_0142_0032__Mass,r_0142_0034__the_r_0142_0035__chapel,r_0142_0033__in).
arc(z_0142_5004,r_0142_0002__the_r_0142_0003__work,nim).
arc(z_0142_5006,r_0142_0004__we,arg0).
arc(z_0142_5006,r_0142_0008__and,prd).
arc(z_0142_5008,r_0142_0005__had,scope).
arc(z_0142_5008,r_0142_0018__and_r_0142_0023__and_r_0142_0027__and,restriction).
arc(z_0142_5021,r_0142_0004__we,arg0).
arc(z_0142_5021,r_0142_0024__then,nim).
arc(z_0142_5021,r_0142_0025__the_r_0142_0026__coffin,arg1).

fof(formula,axiom,
    ? [R_0142_0004__WE,R_0142_0007__SHE,R_0142_0009__ME,R_0142_0008__AND,Z_0142_5006] :
      ( r_0142_0004__we(R_0142_0004__WE)
      & r_0142_0007__she(R_0142_0007__SHE)
      & r_0142_0009__me(R_0142_0009__ME)
      & z_0142_5006(Z_0142_5006)
      & has_prd(Z_0142_5006,R_0142_0008__AND)
      & r_0142_0008__and(R_0142_0008__AND)
      & has_conj2(R_0142_0008__AND,R_0142_0009__ME)
      & has_conj1(R_0142_0008__AND,R_0142_0007__SHE)
      & has_arg0(Z_0142_5006,R_0142_0004__WE)
      & ! [Z_0142_5004,R_0142_0002__THE_R_0142_0003__WORK] :
          ( ( r_0142_0002__the_r_0142_0003__work(R_0142_0002__THE_R_0142_0003__WORK)
            & z_0142_5004(Z_0142_5004)
            & has_nim(Z_0142_5004,R_0142_0002__THE_R_0142_0003__WORK) )
         => ? [R_0142_0005__HAD,R_0142_0013__THE_R_0142_0014__WOMAN,R_0142_0017__HIM,Z_0142_5013,R_0142_0016__WASH,R_0142_0011__GETTING_R_0142_0012__IN,R_0142_0019__THEN,R_0142_0020__LAYING_R_0142_0022__OUT,R_0142_0028__THEN,R_0142_0034__THE_R_0142_0035__CHAPEL,R_0142_0031__THE_R_0142_0032__MASS,R_0142_0029__ARRANGING_R_0142_0030__ABOUT,R_0142_0024__THEN,R_0142_0025__THE_R_0142_0026__COFFIN,Z_0142_5021,R_0142_0018__AND_R_0142_0023__AND_R_0142_0027__AND,Z_0142_5008] :
              ( r_0142_0013__the_r_0142_0014__woman(R_0142_0013__THE_R_0142_0014__WOMAN)
              & r_0142_0017__him(R_0142_0017__HIM)
              & r_0142_0019__then(R_0142_0019__THEN)
              & r_0142_0024__then(R_0142_0024__THEN)
              & r_0142_0025__the_r_0142_0026__coffin(R_0142_0025__THE_R_0142_0026__COFFIN)
              & r_0142_0028__then(R_0142_0028__THEN)
              & r_0142_0034__the_r_0142_0035__chapel(R_0142_0034__THE_R_0142_0035__CHAPEL)
              & z_0142_5013(Z_0142_5013)
              & z_0142_5008(Z_0142_5008)
              & has_conj1(Z_0142_5008,R_0142_0018__AND_R_0142_0023__AND_R_0142_0027__AND)
              & r_0142_0018__and_r_0142_0023__and_r_0142_0027__and(R_0142_0018__AND_R_0142_0023__AND_R_0142_0027__AND)
              & has_conj3(R_0142_0018__AND_R_0142_0023__AND_R_0142_0027__AND,Z_0142_5021)
              & z_0142_5021(Z_0142_5021)
              & has_arg1(Z_0142_5021,R_0142_0025__THE_R_0142_0026__COFFIN)
              & has_nim(Z_0142_5021,R_0142_0024__THEN)
              & has_arg0(Z_0142_5021,R_0142_0004__WE)
              & has_conj4(R_0142_0018__AND_R_0142_0023__AND_R_0142_0027__AND,R_0142_0029__ARRANGING_R_0142_0030__ABOUT)
              & r_0142_0029__arranging_r_0142_0030__about(R_0142_0029__ARRANGING_R_0142_0030__ABOUT)
              & has_arg1(R_0142_0029__ARRANGING_R_0142_0030__ABOUT,R_0142_0031__THE_R_0142_0032__MASS)
              & r_0142_0031__the_r_0142_0032__Mass(R_0142_0031__THE_R_0142_0032__MASS)
              & has_r_0142_0033__in(R_0142_0031__THE_R_0142_0032__MASS,R_0142_0034__THE_R_0142_0035__CHAPEL)
              & has_nim(R_0142_0029__ARRANGING_R_0142_0030__ABOUT,R_0142_0028__THEN)
              & has_arg0(R_0142_0029__ARRANGING_R_0142_0030__ABOUT,R_0142_0004__WE)
              & has_conj2(R_0142_0018__AND_R_0142_0023__AND_R_0142_0027__AND,R_0142_0020__LAYING_R_0142_0022__OUT)
              & r_0142_0020__laying_r_0142_0022__out(R_0142_0020__LAYING_R_0142_0022__OUT)
              & has_nim(R_0142_0020__LAYING_R_0142_0022__OUT,R_0142_0019__THEN)
              & has_arg1(R_0142_0020__LAYING_R_0142_0022__OUT,R_0142_0017__HIM)
              & has_arg0(R_0142_0020__LAYING_R_0142_0022__OUT,R_0142_0004__WE)
              & has_conj1(R_0142_0018__AND_R_0142_0023__AND_R_0142_0027__AND,R_0142_0011__GETTING_R_0142_0012__IN)
              & r_0142_0011__getting_r_0142_0012__in(R_0142_0011__GETTING_R_0142_0012__IN)
              & has_prd(R_0142_0011__GETTING_R_0142_0012__IN,R_0142_0016__WASH)
              & r_0142_0016__wash(R_0142_0016__WASH)
              & has_arg0(R_0142_0016__WASH,Z_0142_5013)
              & has_arg1(R_0142_0016__WASH,R_0142_0017__HIM)
              & has_arg1(R_0142_0011__GETTING_R_0142_0012__IN,R_0142_0013__THE_R_0142_0014__WOMAN)
              & has_arg0(R_0142_0011__GETTING_R_0142_0012__IN,R_0142_0004__WE)
              & has_conj2(Z_0142_5008,R_0142_0005__HAD)
              & r_0142_0005__had(R_0142_0005__HAD)
              & has_arg1(R_0142_0005__HAD,Z_0142_5004)
              & has_arg0(R_0142_0005__HAD,R_0142_0004__WE) ) ) ) ).