TSPC 4_a_joyce

4_a_joyce_1914
Night after night I had passed the house (it was vacation time) and studied the lighted square of window: and night after night I had found it lighted in the same way, faintly and evenly.

( (IP-MAT (ILYR (ILYR (NP-NIM (N Night;{night})
                              (PP (P-ROLE after;{after})
                                  (NP (N night;{night}))))
                      (NP-SBJ (PRO I;{I}))
                      (HVD;_cat_Ve_ had;{have})
                      (IP-PPL-CAT (ILYR (ILYR (VVN;_Tn_ passed;{pass})
                                              (NP-OB1 (D the;{the})
                                                      (N house;{house}))
                                              (PULB -LRB-)
                                              (PRN (IP-MAT (NP-SBJ (PRO;_expletive_ it;{it}))
                                                           (BED;_Ln_ was;{be})
                                                           (NP-PRD (N vacation;{vacation})
                                                                   (N time;{time}))))
                                              (PURB -RRB-))
                                        (CONJP (CONJ and;{and})
                                               (ILYR (VVN;_Tn_ studied;{study})
                                                     (NP-OB1;{SQUARE} (D the;{the})
                                                                      (IP-PPL (NP-LGS *)
                                                                              (VVN;_Tn_ lighted;{light}))
                                                                      (N square;{square})
                                                                      (PP (P-ROLE of;{of})
                                                                          (NP (N window;{window})))))))))
                (PUNC :)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-NIM (N night;{night})
                                     (PP (P-ROLE after;{after})
                                         (NP (N night;{night}))))
                             (NP-SBJ (PRO I;{I}))
                             (HVD;_cat_Ve_ had;{have})
                             (IP-PPL-CAT (VVN;_VP24A_ found;{find})
                                         (NP-OB1;{SQUARE} (PRO it;{it}))
                                         (IP-PPL-PRD (NP-LGS *)
                                                     (VVN;_Tn_ lighted;{light})
                                                     (PP-NIM (P-ROLE in;{in})
                                                             (NP (D the;{the})
                                                                 (ADJP (ADJ same;{same}))
                                                                 (N way;{way})))
                                                     (PUNC ,)
                                                     (ADVP-NIM (AVLYR (AVLYR (ADV faintly;{faintly}))
                                                                      (CONJP (CONJ and;{and})
                                                                             (AVLYR (ADV evenly;{evenly}))))))))))
          (PUNC .))
  (ID 4_a_joyce_1914))

arc(r_0004_0001__Night,r_0004_0003__night,r_0004_0002__after).
arc(r_0004_0005__had,r_0004_0001__Night,nim).
arc(r_0004_0005__had,r_0004_0015__and,scope).
arc(r_0004_0006__passed,r_0004_0004__I,arg0).
arc(r_0004_0006__passed,r_0004_0007__the_r_0004_0008__house,arg1).
arc(r_0004_0006__passed,r_0004_0011__was,prn).
arc(r_0004_0011__was,r_0004_0012__vacation_r_0004_0013__time,prd).
arc(r_0004_0015__and,r_0004_0006__passed,conj1).
arc(r_0004_0015__and,r_0004_0016__studied,conj2).
arc(r_0004_0016__studied,r_0004_0004__I,arg0).
arc(r_0004_0016__studied,r_0004_0017__the_r_0004_0019__square,arg1).
arc(r_0004_0017__the_r_0004_0019__square,r_0004_0021__window,r_0004_0020__of).
arc(r_0004_0018__lighted,r_0004_0017__the_r_0004_0019__square,inv_arg1).
arc(r_0004_0018__lighted,z_0004_5011___star_,arg0).
arc(r_0004_0023__and,r_0004_0005__had,conj1).
arc(r_0004_0023__and,r_0004_0028__had,conj2).
arc(r_0004_0024__night,r_0004_0026__night,r_0004_0025__after).
arc(r_0004_0028__had,r_0004_0024__night,nim).
arc(r_0004_0028__had,r_0004_0029__found,scope).
arc(r_0004_0029__found,r_0004_0004__I,arg0).
arc(r_0004_0029__found,r_0004_0017__the_r_0004_0019__square,arg1).
arc(r_0004_0029__found,r_0004_0031__lighted,prd).
arc(r_0004_0031__lighted,r_0004_0033__the_r_0004_0035__way,r_0004_0032__in__nim).
arc(r_0004_0031__lighted,r_0004_0038__and,nim).
arc(r_0004_0031__lighted,z_0004_5024,arg1).
arc(r_0004_0031__lighted,z_0004_5030___star_,arg0).
arc(r_0004_0033__the_r_0004_0035__way,r_0004_0034__same,attrib).
arc(r_0004_0038__and,r_0004_0037__faintly,conj1).
arc(r_0004_0038__and,r_0004_0039__evenly,conj2).

fof(formula,axiom,
    ? [R_0004_0003__NIGHT,R_0004_0001__NIGHT,R_0004_0004__I,R_0004_0007__THE_R_0004_0008__HOUSE,R_0004_0012__VACATION_R_0004_0013__TIME,R_0004_0011__WAS,R_0004_0006__PASSED,R_0004_0021__WINDOW,Z_0004_5011___STAR_,R_0004_0018__LIGHTED,R_0004_0017__THE_R_0004_0019__SQUARE,R_0004_0016__STUDIED,R_0004_0015__AND,R_0004_0005__HAD,R_0004_0026__NIGHT,R_0004_0024__NIGHT,R_0004_0034__SAME,R_0004_0033__THE_R_0004_0035__WAY,R_0004_0037__FAINTLY,R_0004_0039__EVENLY,R_0004_0038__AND,Z_0004_5024,Z_0004_5030___STAR_,R_0004_0031__LIGHTED,R_0004_0028__HAD_R_0004_0029__FOUND,R_0004_0023__AND] :
      ( r_0004_0003__night(R_0004_0003__NIGHT)
      & r_0004_0004__I(R_0004_0004__I)
      & r_0004_0007__the_r_0004_0008__house(R_0004_0007__THE_R_0004_0008__HOUSE)
      & r_0004_0012__vacation_r_0004_0013__time(R_0004_0012__VACATION_R_0004_0013__TIME)
      & r_0004_0021__window(R_0004_0021__WINDOW)
      & r_0004_0026__night(R_0004_0026__NIGHT)
      & r_0004_0034__same(R_0004_0034__SAME)
      & r_0004_0037__faintly(R_0004_0037__FAINTLY)
      & r_0004_0039__evenly(R_0004_0039__EVENLY)
      & z_0004_5011___star_(Z_0004_5011___STAR_)
      & z_0004_5024(Z_0004_5024)
      & z_0004_5030___star_(Z_0004_5030___STAR_)
      & r_0004_0023__and(R_0004_0023__AND)
      & has_conj2(R_0004_0023__AND,R_0004_0028__HAD_R_0004_0029__FOUND)
      & r_0004_0028__had_r_0004_0029__found(R_0004_0028__HAD_R_0004_0029__FOUND)
      & has_prd(R_0004_0028__HAD_R_0004_0029__FOUND,R_0004_0031__LIGHTED)
      & r_0004_0031__lighted(R_0004_0031__LIGHTED)
      & has_arg0(R_0004_0031__LIGHTED,Z_0004_5030___STAR_)
      & has_arg1(R_0004_0031__LIGHTED,Z_0004_5024)
      & has_nim(R_0004_0031__LIGHTED,R_0004_0038__AND)
      & r_0004_0038__and(R_0004_0038__AND)
      & has_conj2(R_0004_0038__AND,R_0004_0039__EVENLY)
      & has_conj1(R_0004_0038__AND,R_0004_0037__FAINTLY)
      & has_r_0004_0032__in__nim(R_0004_0031__LIGHTED,R_0004_0033__THE_R_0004_0035__WAY)
      & r_0004_0033__the_r_0004_0035__way(R_0004_0033__THE_R_0004_0035__WAY)
      & has_attrib(R_0004_0033__THE_R_0004_0035__WAY,R_0004_0034__SAME)
      & has_arg1(R_0004_0028__HAD_R_0004_0029__FOUND,R_0004_0017__THE_R_0004_0019__SQUARE)
      & r_0004_0017__the_r_0004_0019__square(R_0004_0017__THE_R_0004_0019__SQUARE)
      & has_inv_arg1(R_0004_0017__THE_R_0004_0019__SQUARE,R_0004_0018__LIGHTED)
      & r_0004_0018__lighted(R_0004_0018__LIGHTED)
      & has_arg0(R_0004_0018__LIGHTED,Z_0004_5011___STAR_)
      & has_r_0004_0020__of(R_0004_0017__THE_R_0004_0019__SQUARE,R_0004_0021__WINDOW)
      & has_arg0(R_0004_0028__HAD_R_0004_0029__FOUND,R_0004_0004__I)
      & has_nim(R_0004_0028__HAD_R_0004_0029__FOUND,R_0004_0024__NIGHT)
      & r_0004_0024__night(R_0004_0024__NIGHT)
      & has_r_0004_0025__after(R_0004_0024__NIGHT,R_0004_0026__NIGHT)
      & has_conj1(R_0004_0023__AND,R_0004_0005__HAD)
      & r_0004_0005__had(R_0004_0005__HAD)
      & has_keep_scope(R_0004_0005__HAD,R_0004_0015__AND)
      & r_0004_0015__and(R_0004_0015__AND)
      & has_conj2(R_0004_0015__AND,R_0004_0016__STUDIED)
      & r_0004_0016__studied(R_0004_0016__STUDIED)
      & has_arg1(R_0004_0016__STUDIED,R_0004_0017__THE_R_0004_0019__SQUARE)
      & has_arg0(R_0004_0016__STUDIED,R_0004_0004__I)
      & has_conj1(R_0004_0015__AND,R_0004_0006__PASSED)
      & r_0004_0006__passed(R_0004_0006__PASSED)
      & has_prn(R_0004_0006__PASSED,R_0004_0011__WAS)
      & r_0004_0011__was(R_0004_0011__WAS)
      & has_prd(R_0004_0011__WAS,R_0004_0012__VACATION_R_0004_0013__TIME)
      & has_arg1(R_0004_0006__PASSED,R_0004_0007__THE_R_0004_0008__HOUSE)
      & has_arg0(R_0004_0006__PASSED,R_0004_0004__I)
      & has_nim(R_0004_0005__HAD,R_0004_0001__NIGHT)
      & r_0004_0001__Night(R_0004_0001__NIGHT)
      & has_r_0004_0002__after(R_0004_0001__NIGHT,R_0004_0003__NIGHT) ) ).