TSPC 106_a_joyce

106_a_joyce_1914
The fancy came to me that the old priest was smiling as he lay there in his coffin.

( (IP-MAT (NP-SBJ (D The;{the})
                  (N fancy;{fancy})
                  (CP-THT *ICH*-126))
          (VBD;_I_ came;{come})
          (PP-NIM (P-ROLE to;{to})
                  (NP (PRO me;{I})))
          (CP-THT-EPD-126 (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_ smiling;{smile}))
                                  (PP-SCON (P-CONN as;{as})
                                           (IP-ADV (NP-SBJ;{PRIEST} (PRO he;{he}))
                                                   (VBD;_Ip_ lay;{lie[there]})
                                                   (ADVP-CLR (RP there;{there}))
                                                   (PP-NIM (P-ROLE in;{in})
                                                           (NP (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
                                                               (N coffin;{coffin})))))))
          (PUNC .))
  (ID 106_a_joyce_1914))

arc(r_0106_0001__The_r_0106_0002__fancy,r_0106_0012__as,emb).
arc(r_0106_0003__came,r_0106_0001__The_r_0106_0002__fancy,arg0).
arc(r_0106_0003__came,r_0106_0005__me,r_0106_0004__to__nim).
arc(r_0106_0007__the_r_0106_0009__priest,r_0106_0008__old,attrib).
arc(r_0106_0010__was,r_0106_0011__smiling,scope).
arc(r_0106_0011__smiling,r_0106_0007__the_r_0106_0009__priest,arg0).
arc(r_0106_0012__as,r_0106_0010__was,scope).
arc(r_0106_0012__as,r_0106_0014__lay_r_0106_0015__there,restriction).
arc(r_0106_0014__lay_r_0106_0015__there,r_0106_0007__the_r_0106_0009__priest,arg0).
arc(r_0106_0014__lay_r_0106_0015__there,r_0106_0018__coffin,r_0106_0016__in__nim).
arc(r_0106_0018__coffin,r_0106_0007__the_r_0106_0009__priest,gen).

fof(formula,axiom,
    ? [R_0106_0008__OLD,R_0106_0007__THE_R_0106_0009__PRIEST,R_0106_0010__WAS_R_0106_0011__SMILING,R_0106_0018__COFFIN,R_0106_0014__LAY_R_0106_0015__THERE,R_0106_0012__AS,R_0106_0001__THE_R_0106_0002__FANCY,R_0106_0005__ME,R_0106_0003__CAME] :
      ( r_0106_0005__me(R_0106_0005__ME)
      & r_0106_0008__old(R_0106_0008__OLD)
      & r_0106_0003__came(R_0106_0003__CAME)
      & has_r_0106_0004__to__nim(R_0106_0003__CAME,R_0106_0005__ME)
      & has_arg0(R_0106_0003__CAME,R_0106_0001__THE_R_0106_0002__FANCY)
      & r_0106_0001__The_r_0106_0002__fancy(R_0106_0001__THE_R_0106_0002__FANCY)
      & has_emb(R_0106_0001__THE_R_0106_0002__FANCY,R_0106_0012__AS)
      & r_0106_0012__as(R_0106_0012__AS)
      & has_conj1(R_0106_0012__AS,R_0106_0014__LAY_R_0106_0015__THERE)
      & r_0106_0014__lay_r_0106_0015__there(R_0106_0014__LAY_R_0106_0015__THERE)
      & has_r_0106_0016__in__nim(R_0106_0014__LAY_R_0106_0015__THERE,R_0106_0018__COFFIN)
      & r_0106_0018__coffin(R_0106_0018__COFFIN)
      & has_gen(R_0106_0018__COFFIN,R_0106_0007__THE_R_0106_0009__PRIEST)
      & r_0106_0007__the_r_0106_0009__priest(R_0106_0007__THE_R_0106_0009__PRIEST)
      & has_attrib(R_0106_0007__THE_R_0106_0009__PRIEST,R_0106_0008__OLD)
      & has_arg0(R_0106_0014__LAY_R_0106_0015__THERE,R_0106_0007__THE_R_0106_0009__PRIEST)
      & has_conj2(R_0106_0012__AS,R_0106_0010__WAS_R_0106_0011__SMILING)
      & r_0106_0010__was_r_0106_0011__smiling(R_0106_0010__WAS_R_0106_0011__SMILING)
      & has_arg0(R_0106_0010__WAS_R_0106_0011__SMILING,R_0106_0007__THE_R_0106_0009__PRIEST) ) ).