TSPC 188_a_joyce

188_a_joyce_1914
I too listened; but there was no sound in the house: and I knew that the old priest was lying still in his coffin as we had seen him, solemn and truculent in death, an idle chalice on his breast.

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO I;{I}))
                      (ADVP-NIM (ADV too;{too}))
                      (VBD;_I_ listened;{listen}))
                (PUNC ;)
                (CONJP (CONJ but;{but})
                       (ILYR (ILYR (ILYR (EX there;{there})
                                         (BED;_ex_Vpr_ was;{be})
                                         (NP-ESBJ (Q no;{no})
                                                  (N sound;{sound}))
                                         (PP-CLR (P-ROLE in;{in})
                                                 (NP (D the;{the})
                                                     (N house;{house}))))
                                   (PUNC :)
                                   (CONJP (CONJ and;{and})
                                          (ILYR (NP-SBJ (PRO I;{I}))
                                                (VBD;_Tf_ knew;{know})
                                                (CP-THT-OB1 (IP-SUB (C that;{that})
                                                                    (NP-SBJ;{PRIEST} (D the;{the})
                                                                                     (ADJP (ADJ old;{old}))
                                                                                     (N priest;{priest}))
                                                                    (BED;_cat_Vg_ was;{be})
                                                                    (IP-PPL-CAT (VAG;_I_ lying;{lie})
                                                                                (ADVP-NIM (ADV still;{still}))
                                                                                (PP-NIM (P-ROLE in;{in})
                                                                                        (NP (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
                                                                                            (N coffin;{coffin}))))))
                                                (PP-SCON (P-CONN as;{as})
                                                         (IP-ADV (NP-SBJ;{SPEAKER+AUNT} (PRO we;{we}))
                                                                 (HVD;_cat_Ve_ had;{have})
                                                                 (IP-PPL-CAT (VVN;_Tn_ seen;{see})
                                                                             (NP-OB1;{PRIEST} (PRO him;{he}))
                                                                             (PUNC ,)
                                                                             (ADJP-PRD (AJLYR (AJLYR (ADJ solemn;{solemn}))
                                                                                              (CONJP (CONJ and;{and})
                                                                                                     (AJLYR (ADJ truculent;{truculent}))))
                                                                                       (PP (P-ROLE in;{in})
                                                                                           (NP (N death;{death}))))
                                                                             (PUNC ,)
                                                                             (NP-NIM (D an;{an})
                                                                                     (ADJP (ADJ idle;{idle}))
                                                                                     (N chalice;{chalice})
                                                                                     (PP (P-ROLE on;{on})
                                                                                         (NP (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
                                                                                             (N breast;{breast})))))))))))))
          (PUNC .))
  (ID 188_a_joyce_1914))

arc(r_0188_0003__listened,r_0188_0001__I,arg0).
arc(r_0188_0003__listened,r_0188_0002__too,nim).
arc(r_0188_0005__but,r_0188_0003__listened,conj1).
arc(r_0188_0005__but,r_0188_0014__and,conj2).
arc(r_0188_0007__was_r_0188_0010__in,r_0188_0009__sound,arg0).
arc(r_0188_0007__was_r_0188_0010__in,r_0188_0011__the_r_0188_0012__house,arg1).
arc(r_0188_0008__no__quant,r_0188_0007__was_r_0188_0010__in,scope).
arc(r_0188_0008__no__quant,r_0188_0009__sound,restriction).
arc(r_0188_0014__and,r_0188_0008__no__quant,conj1).
arc(r_0188_0014__and,r_0188_0027__as,conj2).
arc(r_0188_0016__knew,r_0188_0001__I,arg0).
arc(r_0188_0016__knew,r_0188_0021__was,arg1).
arc(r_0188_0018__the_r_0188_0020__priest,r_0188_0019__old,attrib).
arc(r_0188_0021__was,r_0188_0022__lying,scope).
arc(r_0188_0022__lying,r_0188_0018__the_r_0188_0020__priest,arg0).
arc(r_0188_0022__lying,r_0188_0023__still,nim).
arc(r_0188_0022__lying,r_0188_0026__coffin,r_0188_0024__in__nim).
arc(r_0188_0026__coffin,r_0188_0018__the_r_0188_0020__priest,gen).
arc(r_0188_0027__as,r_0188_0016__knew,scope).
arc(r_0188_0027__as,r_0188_0029__had,restriction).
arc(r_0188_0029__had,r_0188_0030__seen,scope).
arc(r_0188_0030__seen,r_0188_0018__the_r_0188_0020__priest,arg1).
arc(r_0188_0030__seen,r_0188_0028__we,arg0).
arc(r_0188_0030__seen,r_0188_0034__and,prd).
arc(r_0188_0030__seen,r_0188_0039__an_r_0188_0041__chalice,nim).
arc(r_0188_0034__and,r_0188_0033__solemn,conj1).
arc(r_0188_0034__and,r_0188_0035__truculent,conj2).
arc(r_0188_0034__and,r_0188_0037__death,r_0188_0036__in).
arc(r_0188_0039__an_r_0188_0041__chalice,r_0188_0040__idle,attrib).
arc(r_0188_0039__an_r_0188_0041__chalice,r_0188_0044__breast,r_0188_0042__on).
arc(r_0188_0044__breast,r_0188_0018__the_r_0188_0020__priest,gen).

fof(formula,axiom,
    ? [R_0188_0001__I,R_0188_0002__TOO,R_0188_0003__LISTENED,R_0188_0019__OLD,R_0188_0018__THE_R_0188_0020__PRIEST,R_0188_0023__STILL,R_0188_0026__COFFIN,R_0188_0021__WAS_R_0188_0022__LYING,R_0188_0016__KNEW,R_0188_0028__WE,R_0188_0033__SOLEMN,R_0188_0035__TRUCULENT,R_0188_0037__DEATH,R_0188_0034__AND,R_0188_0040__IDLE,R_0188_0044__BREAST,R_0188_0039__AN_R_0188_0041__CHALICE,R_0188_0029__HAD_R_0188_0030__SEEN,R_0188_0027__AS,R_0188_0014__AND,R_0188_0005__BUT] :
      ( r_0188_0001__I(R_0188_0001__I)
      & r_0188_0002__too(R_0188_0002__TOO)
      & r_0188_0019__old(R_0188_0019__OLD)
      & r_0188_0023__still(R_0188_0023__STILL)
      & r_0188_0028__we(R_0188_0028__WE)
      & r_0188_0033__solemn(R_0188_0033__SOLEMN)
      & r_0188_0035__truculent(R_0188_0035__TRUCULENT)
      & r_0188_0037__death(R_0188_0037__DEATH)
      & r_0188_0040__idle(R_0188_0040__IDLE)
      & r_0188_0005__but(R_0188_0005__BUT)
      & has_conj2(R_0188_0005__BUT,R_0188_0014__AND)
      & r_0188_0014__and(R_0188_0014__AND)
      & has_conj2(R_0188_0014__AND,R_0188_0027__AS)
      & r_0188_0027__as(R_0188_0027__AS)
      & has_conj1(R_0188_0027__AS,R_0188_0029__HAD_R_0188_0030__SEEN)
      & r_0188_0029__had_r_0188_0030__seen(R_0188_0029__HAD_R_0188_0030__SEEN)
      & has_nim(R_0188_0029__HAD_R_0188_0030__SEEN,R_0188_0039__AN_R_0188_0041__CHALICE)
      & r_0188_0039__an_r_0188_0041__chalice(R_0188_0039__AN_R_0188_0041__CHALICE)
      & has_r_0188_0042__on(R_0188_0039__AN_R_0188_0041__CHALICE,R_0188_0044__BREAST)
      & r_0188_0044__breast(R_0188_0044__BREAST)
      & has_gen(R_0188_0044__BREAST,R_0188_0018__THE_R_0188_0020__PRIEST)
      & r_0188_0018__the_r_0188_0020__priest(R_0188_0018__THE_R_0188_0020__PRIEST)
      & has_attrib(R_0188_0018__THE_R_0188_0020__PRIEST,R_0188_0019__OLD)
      & has_attrib(R_0188_0039__AN_R_0188_0041__CHALICE,R_0188_0040__IDLE)
      & has_prd(R_0188_0029__HAD_R_0188_0030__SEEN,R_0188_0034__AND)
      & r_0188_0034__and(R_0188_0034__AND)
      & has_r_0188_0036__in(R_0188_0034__AND,R_0188_0037__DEATH)
      & has_conj2(R_0188_0034__AND,R_0188_0035__TRUCULENT)
      & has_conj1(R_0188_0034__AND,R_0188_0033__SOLEMN)
      & has_arg0(R_0188_0029__HAD_R_0188_0030__SEEN,R_0188_0028__WE)
      & has_arg1(R_0188_0029__HAD_R_0188_0030__SEEN,R_0188_0018__THE_R_0188_0020__PRIEST)
      & has_conj2(R_0188_0027__AS,R_0188_0016__KNEW)
      & r_0188_0016__knew(R_0188_0016__KNEW)
      & has_arg1(R_0188_0016__KNEW,R_0188_0021__WAS_R_0188_0022__LYING)
      & r_0188_0021__was_r_0188_0022__lying(R_0188_0021__WAS_R_0188_0022__LYING)
      & has_r_0188_0024__in__nim(R_0188_0021__WAS_R_0188_0022__LYING,R_0188_0026__COFFIN)
      & r_0188_0026__coffin(R_0188_0026__COFFIN)
      & has_gen(R_0188_0026__COFFIN,R_0188_0018__THE_R_0188_0020__PRIEST)
      & has_nim(R_0188_0021__WAS_R_0188_0022__LYING,R_0188_0023__STILL)
      & has_arg0(R_0188_0021__WAS_R_0188_0022__LYING,R_0188_0018__THE_R_0188_0020__PRIEST)
      & has_arg0(R_0188_0016__KNEW,R_0188_0001__I)
      & ! [R_0188_0009__SOUND] :
          ( r_0188_0009__sound(R_0188_0009__SOUND)
         => ? [R_0188_0011__THE_R_0188_0012__HOUSE,R_0188_0007__WAS_R_0188_0010__IN] :
              ( r_0188_0011__the_r_0188_0012__house(R_0188_0011__THE_R_0188_0012__HOUSE)
              & r_0188_0007__was_r_0188_0010__in(R_0188_0007__WAS_R_0188_0010__IN)
              & has_arg1(R_0188_0007__WAS_R_0188_0010__IN,R_0188_0011__THE_R_0188_0012__HOUSE)
              & has_arg0(R_0188_0007__WAS_R_0188_0010__IN,R_0188_0009__SOUND) ) )
      & has_conj1(R_0188_0005__BUT,R_0188_0003__LISTENED)
      & r_0188_0003__listened(R_0188_0003__LISTENED)
      & has_nim(R_0188_0003__LISTENED,R_0188_0002__TOO)
      & has_arg0(R_0188_0003__LISTENED,R_0188_0001__I) ) ).