TSPC 77_a_joyce

77_a_joyce_1914
It may have been these constant showers of snuff which gave his ancient priestly garments their green faded look for the red handkerchief, blackened, as it always was, with the snuff-stains of a week, with which he tried to brush away the fallen grains, was quite inefficacious.

( (IP-MAT (NP-SBJ (PRO;_provisional_ It;{it}))
          (MD;_cat_Vi_ may;{may})
          (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                      (IP-PPL-CAT (BEN;_cleft_Vn_ been;{be})
                                  (NP-FOC (D these;{these})
                                          (ADJP (ADJ constant;{constant}))
                                          (NS showers;{shower})
                                          (PP (P-ROLE of;{of})
                                              (NP (N snuff;{snuff}))))
                                  (IP-CLF (NP-SBJ (RPRO which;{which}))
                                          (VBD;_Dn.n_ gave;{give})
                                          (NP-OB2 (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
                                                  (ADJP (ADJ ancient;{ancient}))
                                                  (ADJP (ADJ priestly;{priestly}))
                                                  (NS garments;{garment}))
                                          (NP-OB1 (NP-GEN;{PRIEST} (PRO;_genm_ their;{their}))
                                                  (ADJP (ADJ green;{green}))
                                                  (IP-PPL (NP-LGS *)
                                                          (VVN;_Tn_ faded;{fade}))
                                                  (N look;{look})))))
          (PP-SCON (P-CONN for;{for})
                   (IP-ADV (NP-SBJ;{HANDKERCHIEF} (D the;{the})
                                                  (ADJP (ADJ red;{red}))
                                                  (N handkerchief;{handkerchief})
                                                  (PUNC ,)
                                                  (IP-PPL (NP-LGS *)
                                                          (VVN;_Tn_ blackened;{blacken})
                                                          (PUNC ,)
                                                          (PP-NIM (P-ROLE as;{as})
                                                                  (NP (IP-REL (NP-PRD *T*)
                                                                              (NP-SBJ;{HANDKERCHIEF} (PRO it;{it}))
                                                                              (ADVP-NIM (ADV always;{always}))
                                                                              (BED;_Ln_ was;{be}))))
                                                          (PUNC ,)
                                                          (PP-NIM (P-ROLE with;{with})
                                                                  (NP (D the;{the})
                                                                      (NS snuff_<hyphen>_stains;{snuff_stains})
                                                                      (PP (P-ROLE of;{of})
                                                                          (NP (D a;{a})
                                                                              (N week;{week}))))))
                                                  (PUNC ,)
                                                  (IP-REL (PP-162 (P-ROLE with;{with})
                                                                  (NP (RPRO which;{which})))
                                                          (NP-SBJ;{PRIEST} (PRO he;{he}))
                                                          (VBD;_It_ tried;{try})
                                                          (IP-INF-CLR (PP-NIM *ICH*-162)
                                                                      (TO to;{to})
                                                                      (VB;_Tn.p_ brush;{brush[away]})
                                                                      (ADVP-CLR (RP away;{away}))
                                                                      (NP-OB1 (D the;{the})
                                                                              (ADJP (ADJ fallen;{fallen}))
                                                                              (NS grains;{grain})))))
                           (PUNC ,)
                           (BED;_La_ was;{be})
                           (ADJP-PRD (ADVP (ADV quite;{quite}))
                                     (ADJ inefficacious;{inefficacious}))))
          (PUNC .))
  (ID 77_a_joyce_1914))

arc(r_0077_0002__may,r_0077_0003__have,scope).
arc(r_0077_0003__have,r_0077_0004__been,scope).
arc(r_0077_0004__been,r_0077_0005__these_r_0077_0007__showers,arg0).
arc(r_0077_0004__been,z_0077_5035,prd).
arc(r_0077_0005__these_r_0077_0007__showers,r_0077_0006__constant,attrib).
arc(r_0077_0005__these_r_0077_0007__showers,r_0077_0009__snuff,r_0077_0008__of).
arc(r_0077_0011__gave,r_0077_0015__garments,arg2).
arc(r_0077_0011__gave,r_0077_0019__look,arg1).
arc(r_0077_0011__gave,z_0077_5035,arg0).
arc(r_0077_0015__garments,r_0077_0012__his,gen).
arc(r_0077_0015__garments,r_0077_0013__ancient,attrib).
arc(r_0077_0015__garments,r_0077_0014__priestly,attrib).
arc(r_0077_0018__faded,r_0077_0019__look,inv_arg1).
arc(r_0077_0018__faded,z_0077_5032___star_,arg0).
arc(r_0077_0019__look,r_0077_0012__his,gen).
arc(r_0077_0019__look,r_0077_0017__green,attrib).
arc(r_0077_0020__for,r_0077_0002__may,scope).
arc(r_0077_0020__for,r_0077_0050__was,restriction).
arc(r_0077_0021__the_r_0077_0023__handkerchief,r_0077_0022__red,attrib).
arc(r_0077_0025__blackened,r_0077_0021__the_r_0077_0023__handkerchief,inv_arg1).
arc(r_0077_0025__blackened,r_0077_0033__the_r_0077_0034__snuff__hyphen__stains,r_0077_0032__with__nim).
arc(r_0077_0025__blackened,z_0077_5011,r_0077_0027__as__nim).
arc(r_0077_0025__blackened,z_0077_5012___star_,arg0).
arc(r_0077_0030__was,r_0077_0021__the_r_0077_0023__handkerchief,arg0).
arc(r_0077_0030__was,r_0077_0029__always,nim).
arc(r_0077_0030__was,z_0077_5011,prd).
arc(r_0077_0033__the_r_0077_0034__snuff__hyphen__stains,r_0077_0036__a_r_0077_0037__week,r_0077_0035__of).
arc(r_0077_0042__tried,r_0077_0012__his,arg0).
arc(r_0077_0042__tried,r_0077_0044__brush_r_0077_0045__away,clr).
arc(r_0077_0044__brush_r_0077_0045__away,r_0077_0012__his,arg0).
arc(r_0077_0044__brush_r_0077_0045__away,r_0077_0021__the_r_0077_0023__handkerchief,r_0077_0039__with__nim).
arc(r_0077_0044__brush_r_0077_0045__away,r_0077_0046__the_r_0077_0048__grains,arg1).
arc(r_0077_0046__the_r_0077_0048__grains,r_0077_0047__fallen,attrib).
arc(r_0077_0050__was,r_0077_0021__the_r_0077_0023__handkerchief,arg0).
arc(r_0077_0050__was,r_0077_0052__inefficacious,prd).
arc(r_0077_0052__inefficacious,r_0077_0051__quite,qual).

fof(formula,axiom,
    ? [R_0077_0012__HIS,R_0077_0013__ANCIENT,R_0077_0014__PRIESTLY,R_0077_0015__GARMENTS,Z_0077_5032___STAR_,R_0077_0018__FADED,R_0077_0017__GREEN,R_0077_0019__LOOK,Z_0077_5035,R_0077_0011__GAVE,R_0077_0006__CONSTANT,R_0077_0009__SNUFF,R_0077_0005__THESE_R_0077_0007__SHOWERS,R_0077_0002__MAY_R_0077_0003__HAVE_R_0077_0004__BEEN,R_0077_0022__RED,R_0077_0036__A_R_0077_0037__WEEK,R_0077_0033__THE_R_0077_0034__SNUFF__HYPHEN__STAINS,Z_0077_5011,Z_0077_5012___STAR_,R_0077_0025__BLACKENED,R_0077_0021__THE_R_0077_0023__HANDKERCHIEF,R_0077_0051__QUITE,R_0077_0052__INEFFICACIOUS,R_0077_0050__WAS,R_0077_0020__FOR,R_0077_0029__ALWAYS,R_0077_0030__WAS,R_0077_0047__FALLEN,R_0077_0046__THE_R_0077_0048__GRAINS,R_0077_0044__BRUSH_R_0077_0045__AWAY,R_0077_0042__TRIED] :
      ( r_0077_0006__constant(R_0077_0006__CONSTANT)
      & r_0077_0009__snuff(R_0077_0009__SNUFF)
      & r_0077_0012__his(R_0077_0012__HIS)
      & r_0077_0013__ancient(R_0077_0013__ANCIENT)
      & r_0077_0014__priestly(R_0077_0014__PRIESTLY)
      & r_0077_0017__green(R_0077_0017__GREEN)
      & r_0077_0022__red(R_0077_0022__RED)
      & r_0077_0029__always(R_0077_0029__ALWAYS)
      & r_0077_0036__a_r_0077_0037__week(R_0077_0036__A_R_0077_0037__WEEK)
      & r_0077_0047__fallen(R_0077_0047__FALLEN)
      & r_0077_0051__quite(R_0077_0051__QUITE)
      & z_0077_5011(Z_0077_5011)
      & z_0077_5012___star_(Z_0077_5012___STAR_)
      & z_0077_5032___star_(Z_0077_5032___STAR_)
      & z_0077_5035(Z_0077_5035)
      & r_0077_0042__tried(R_0077_0042__TRIED)
      & has_clr(R_0077_0042__TRIED,R_0077_0044__BRUSH_R_0077_0045__AWAY)
      & r_0077_0044__brush_r_0077_0045__away(R_0077_0044__BRUSH_R_0077_0045__AWAY)
      & has_arg1(R_0077_0044__BRUSH_R_0077_0045__AWAY,R_0077_0046__THE_R_0077_0048__GRAINS)
      & r_0077_0046__the_r_0077_0048__grains(R_0077_0046__THE_R_0077_0048__GRAINS)
      & has_attrib(R_0077_0046__THE_R_0077_0048__GRAINS,R_0077_0047__FALLEN)
      & has_r_0077_0039__with__nim(R_0077_0044__BRUSH_R_0077_0045__AWAY,R_0077_0021__THE_R_0077_0023__HANDKERCHIEF)
      & r_0077_0021__the_r_0077_0023__handkerchief(R_0077_0021__THE_R_0077_0023__HANDKERCHIEF)
      & has_inv_arg1(R_0077_0021__THE_R_0077_0023__HANDKERCHIEF,R_0077_0025__BLACKENED)
      & r_0077_0025__blackened(R_0077_0025__BLACKENED)
      & has_arg0(R_0077_0025__BLACKENED,Z_0077_5012___STAR_)
      & has_r_0077_0027__as__nim(R_0077_0025__BLACKENED,Z_0077_5011)
      & has_r_0077_0032__with__nim(R_0077_0025__BLACKENED,R_0077_0033__THE_R_0077_0034__SNUFF__HYPHEN__STAINS)
      & r_0077_0033__the_r_0077_0034__snuff__hyphen__stains(R_0077_0033__THE_R_0077_0034__SNUFF__HYPHEN__STAINS)
      & has_r_0077_0035__of(R_0077_0033__THE_R_0077_0034__SNUFF__HYPHEN__STAINS,R_0077_0036__A_R_0077_0037__WEEK)
      & has_attrib(R_0077_0021__THE_R_0077_0023__HANDKERCHIEF,R_0077_0022__RED)
      & has_arg0(R_0077_0044__BRUSH_R_0077_0045__AWAY,R_0077_0012__HIS)
      & has_arg0(R_0077_0042__TRIED,R_0077_0012__HIS)
      & r_0077_0030__was(R_0077_0030__WAS)
      & has_prd(R_0077_0030__WAS,Z_0077_5011)
      & has_nim(R_0077_0030__WAS,R_0077_0029__ALWAYS)
      & has_arg0(R_0077_0030__WAS,R_0077_0021__THE_R_0077_0023__HANDKERCHIEF)
      & r_0077_0020__for(R_0077_0020__FOR)
      & has_conj1(R_0077_0020__FOR,R_0077_0050__WAS)
      & r_0077_0050__was(R_0077_0050__WAS)
      & has_prd(R_0077_0050__WAS,R_0077_0052__INEFFICACIOUS)
      & r_0077_0052__inefficacious(R_0077_0052__INEFFICACIOUS)
      & has_qual(R_0077_0052__INEFFICACIOUS,R_0077_0051__QUITE)
      & has_arg0(R_0077_0050__WAS,R_0077_0021__THE_R_0077_0023__HANDKERCHIEF)
      & has_conj2(R_0077_0020__FOR,R_0077_0002__MAY_R_0077_0003__HAVE_R_0077_0004__BEEN)
      & r_0077_0002__may_r_0077_0003__have_r_0077_0004__been(R_0077_0002__MAY_R_0077_0003__HAVE_R_0077_0004__BEEN)
      & has_prd(R_0077_0002__MAY_R_0077_0003__HAVE_R_0077_0004__BEEN,Z_0077_5035)
      & has_arg0(R_0077_0002__MAY_R_0077_0003__HAVE_R_0077_0004__BEEN,R_0077_0005__THESE_R_0077_0007__SHOWERS)
      & r_0077_0005__these_r_0077_0007__showers(R_0077_0005__THESE_R_0077_0007__SHOWERS)
      & has_r_0077_0008__of(R_0077_0005__THESE_R_0077_0007__SHOWERS,R_0077_0009__SNUFF)
      & has_attrib(R_0077_0005__THESE_R_0077_0007__SHOWERS,R_0077_0006__CONSTANT)
      & r_0077_0011__gave(R_0077_0011__GAVE)
      & has_arg0(R_0077_0011__GAVE,Z_0077_5035)
      & has_arg1(R_0077_0011__GAVE,R_0077_0019__LOOK)
      & r_0077_0019__look(R_0077_0019__LOOK)
      & has_attrib(R_0077_0019__LOOK,R_0077_0017__GREEN)
      & has_gen(R_0077_0019__LOOK,R_0077_0012__HIS)
      & has_inv_arg1(R_0077_0019__LOOK,R_0077_0018__FADED)
      & r_0077_0018__faded(R_0077_0018__FADED)
      & has_arg0(R_0077_0018__FADED,Z_0077_5032___STAR_)
      & has_arg2(R_0077_0011__GAVE,R_0077_0015__GARMENTS)
      & r_0077_0015__garments(R_0077_0015__GARMENTS)
      & has_attrib(R_0077_0015__GARMENTS,R_0077_0014__PRIESTLY)
      & has_attrib(R_0077_0015__GARMENTS,R_0077_0013__ANCIENT)
      & has_gen(R_0077_0015__GARMENTS,R_0077_0012__HIS) ) ).