TSPC 8_a_joyce

8_a_joyce_1914
Every night as I gazed up at the window I said softly to myself the word paralysis.

( (IP-MAT (NP-NIM (Q Every;{every})
                  (N night;{night}))
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (VBD;_phr_Vp.pr_ gazed;{gaze[up,at]})
                           (RP up;{up})
                           (PP-CLR (P-ROLE at;{at})
                                   (NP (D the;{the})
                                       (N window;{window})))))
          (NP-SBJ (PRO I;{I}))
          (VBD;_Dn.pr_ said;{say[to]})
          (ADVP-NIM (ADV softly;{softly}))
          (PP-OB2 (P-ROLE to;{to})
                  (NP (PNX myself;{myself})))
          (NP-OB1;{WORD} (D the;{the})
                         (N word;{word})
                         (PRN (NP (N paralysis;{paralysis}))))
          (PUNC .))
  (ID 8_a_joyce_1914))

arc(r_0008_0001__Every__quant,r_0008_0002__night,restriction).
arc(r_0008_0001__Every__quant,r_0008_0003__as,scope).
arc(r_0008_0003__as,r_0008_0005__gazed_r_0008_0006__up,restriction).
arc(r_0008_0003__as,r_0008_0011__said_r_0008_0013__to,scope).
arc(r_0008_0005__gazed_r_0008_0006__up,r_0008_0004__I,arg0).
arc(r_0008_0005__gazed_r_0008_0006__up,r_0008_0008__the_r_0008_0009__window,r_0008_0007__at__clr).
arc(r_0008_0011__said_r_0008_0013__to,r_0008_0002__night,nim).
arc(r_0008_0011__said_r_0008_0013__to,r_0008_0004__I,arg0).
arc(r_0008_0011__said_r_0008_0013__to,r_0008_0004__I,arg2).
arc(r_0008_0011__said_r_0008_0013__to,r_0008_0012__softly,nim).
arc(r_0008_0011__said_r_0008_0013__to,r_0008_0015__the_r_0008_0016__word,arg1).
arc(z_0008_5010,r_0008_0015__the_r_0008_0016__word,arg0).
arc(z_0008_5010,r_0008_0017__paralysis,prd).

fof(formula,axiom,
    ? [R_0008_0015__THE_R_0008_0016__WORD,R_0008_0017__PARALYSIS,Z_0008_5010] :
      ( r_0008_0015__the_r_0008_0016__word(R_0008_0015__THE_R_0008_0016__WORD)
      & r_0008_0017__paralysis(R_0008_0017__PARALYSIS)
      & z_0008_5010(Z_0008_5010)
      & has_prd(Z_0008_5010,R_0008_0017__PARALYSIS)
      & has_arg0(Z_0008_5010,R_0008_0015__THE_R_0008_0016__WORD)
      & ! [R_0008_0002__NIGHT] :
          ( r_0008_0002__night(R_0008_0002__NIGHT)
         => ? [R_0008_0004__I,R_0008_0008__THE_R_0008_0009__WINDOW,R_0008_0005__GAZED_R_0008_0006__UP,R_0008_0012__SOFTLY,R_0008_0011__SAID_R_0008_0013__TO,R_0008_0003__AS] :
              ( r_0008_0004__I(R_0008_0004__I)
              & r_0008_0008__the_r_0008_0009__window(R_0008_0008__THE_R_0008_0009__WINDOW)
              & r_0008_0012__softly(R_0008_0012__SOFTLY)
              & r_0008_0003__as(R_0008_0003__AS)
              & has_conj2(R_0008_0003__AS,R_0008_0011__SAID_R_0008_0013__TO)
              & r_0008_0011__said_r_0008_0013__to(R_0008_0011__SAID_R_0008_0013__TO)
              & has_arg1(R_0008_0011__SAID_R_0008_0013__TO,R_0008_0015__THE_R_0008_0016__WORD)
              & has_nim(R_0008_0011__SAID_R_0008_0013__TO,R_0008_0012__SOFTLY)
              & has_arg2(R_0008_0011__SAID_R_0008_0013__TO,R_0008_0004__I)
              & has_arg0(R_0008_0011__SAID_R_0008_0013__TO,R_0008_0004__I)
              & has_nim(R_0008_0011__SAID_R_0008_0013__TO,R_0008_0002__NIGHT)
              & has_conj1(R_0008_0003__AS,R_0008_0005__GAZED_R_0008_0006__UP)
              & r_0008_0005__gazed_r_0008_0006__up(R_0008_0005__GAZED_R_0008_0006__UP)
              & has_r_0008_0007__at__clr(R_0008_0005__GAZED_R_0008_0006__UP,R_0008_0008__THE_R_0008_0009__WINDOW)
              & has_arg0(R_0008_0005__GAZED_R_0008_0006__UP,R_0008_0004__I) ) ) ) ).