TSPC 63_a_hardy

63_a_hardy_1883
For at Higher Crowstairs, as at all such elevated domiciles, the grand difficulty of housekeeping was an insufficiency of water; and a casual rainfall was utilized by turning out, as catchers, every utensil that the house contained.

( (IP-MAT (ILYR (ILYR (CONJ;_cl_ For;{for})
                      (PP-NIM (P-ROLE at;{at})
                              (NP (NPR Higher;{high})
                                  (NPR Crowstairs;{Crowstairs})))
                      (PUNC ,)
                      (PP-NIM (P-ROLE as_at;{as_at})
                              (NP (Q all_such;{all_such})
                                  (ADJP (ADJ elevated;{elevated}))
                                  (NS domiciles;{domicile})))
                      (PUNC ,)
                      (NP-SBJ (D the;{the})
                              (ADJP (ADJ grand;{grand}))
                              (N difficulty;{difficulty})
                              (PP (P-ROLE of;{of})
                                  (NP (N housekeeping;{housekeeping}))))
                      (BED;_Ln_ was;{be})
                      (NP-PRD (D an;{an})
                              (N insufficiency;{insufficiency})
                              (PP (P-ROLE of;{of})
                                  (NP (N water;{water})))))
                (PUNC ;)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D a;{a})
                                     (ADJP (ADJ casual;{casual}))
                                     (N rainfall;{rainfall}))
                             (BED;_cat_VePASS_ was;{be})
                             (IP-PPL-CAT (VVN;__ utilized;{utilize})
                                         (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                 (IP-PPL (VAG;__ turning;{turn})
                                                         (RP out;{out})
                                                         (PUNC ,)
                                                         (PP-NIM (P-ROLE as;{as})
                                                                 (NP (NS catchers;{catcher})))
                                                         (PUNC ,)
                                                         (NP-OB1 (Q every;{every})
                                                                 (N utensil;{utensil})
                                                                 (IP-REL (C that;{that})
                                                                         (NP-OB1 *T*)
                                                                         (NP-SBJ (D the;{the})
                                                                                 (N house;{house}))
                                                                         (VBD;__ contained;{contain})))))))))
          (PUNC .))
  (ID 63_a_hardy_1883))

arc(r_0063_0007__all_such__quant,r_0063_0009__domiciles,restriction).
arc(r_0063_0007__all_such__quant,r_0063_0016__was,scope).
arc(r_0063_0009__domiciles,r_0063_0008__elevated,attrib).
arc(r_0063_0011__the_r_0063_0013__difficulty,r_0063_0012__grand,attrib).
arc(r_0063_0011__the_r_0063_0013__difficulty,r_0063_0015__housekeeping,r_0063_0014__of).
arc(r_0063_0016__was,r_0063_0003__Higher_r_0063_0004__Crowstairs,r_0063_0002__at__nim).
arc(r_0063_0016__was,r_0063_0009__domiciles,r_0063_0006__as_at__nim).
arc(r_0063_0016__was,r_0063_0011__the_r_0063_0013__difficulty,arg0).
arc(r_0063_0016__was,r_0063_0017__an_r_0063_0018__insufficiency,prd).
arc(r_0063_0017__an_r_0063_0018__insufficiency,r_0063_0020__water,r_0063_0019__of).
arc(r_0063_0022__and,r_0063_0007__all_such__quant,conj1).
arc(r_0063_0022__and,r_0063_0035__every__quant,conj2).
arc(r_0063_0023__a_r_0063_0025__rainfall,r_0063_0024__casual,attrib).
arc(r_0063_0026__was,r_0063_0027__utilized,scope).
arc(r_0063_0027__utilized,r_0063_0023__a_r_0063_0025__rainfall,arg1).
arc(r_0063_0027__utilized,r_0063_0029__turning_r_0063_0030__out,r_0063_0028__by_arg0).
arc(r_0063_0029__turning_r_0063_0030__out,r_0063_0023__a_r_0063_0025__rainfall,arg0).
arc(r_0063_0029__turning_r_0063_0030__out,r_0063_0033__catchers,r_0063_0032__as__nim).
arc(r_0063_0029__turning_r_0063_0030__out,r_0063_0036__utensil,arg1).
arc(r_0063_0035__every__quant,r_0063_0026__was,scope).
arc(r_0063_0035__every__quant,r_0063_0036__utensil,restriction).
arc(r_0063_0040__contained,r_0063_0036__utensil,arg1).
arc(r_0063_0040__contained,r_0063_0038__the_r_0063_0039__house,arg0).

fof(formula,axiom,
    ? [R_0063_0022__AND] :
      ( r_0063_0022__and(R_0063_0022__AND)
      & ! [R_0063_0036__UTENSIL,R_0063_0038__THE_R_0063_0039__HOUSE,R_0063_0040__CONTAINED] :
          ( ( r_0063_0036__utensil(R_0063_0036__UTENSIL)
            & r_0063_0038__the_r_0063_0039__house(R_0063_0038__THE_R_0063_0039__HOUSE)
            & r_0063_0040__contained(R_0063_0040__CONTAINED)
            & has_arg0(R_0063_0040__CONTAINED,R_0063_0038__THE_R_0063_0039__HOUSE)
            & has_arg1(R_0063_0040__CONTAINED,R_0063_0036__UTENSIL) )
         => ? [R_0063_0024__CASUAL,R_0063_0023__A_R_0063_0025__RAINFALL,R_0063_0033__CATCHERS,R_0063_0029__TURNING_R_0063_0030__OUT,R_0063_0026__WAS_R_0063_0027__UTILIZED] :
              ( r_0063_0024__casual(R_0063_0024__CASUAL)
              & r_0063_0033__catchers(R_0063_0033__CATCHERS)
              & r_0063_0026__was_r_0063_0027__utilized(R_0063_0026__WAS_R_0063_0027__UTILIZED)
              & has_r_0063_0028__by_arg0(R_0063_0026__WAS_R_0063_0027__UTILIZED,R_0063_0029__TURNING_R_0063_0030__OUT)
              & r_0063_0029__turning_r_0063_0030__out(R_0063_0029__TURNING_R_0063_0030__OUT)
              & has_arg1(R_0063_0029__TURNING_R_0063_0030__OUT,R_0063_0036__UTENSIL)
              & has_r_0063_0032__as__nim(R_0063_0029__TURNING_R_0063_0030__OUT,R_0063_0033__CATCHERS)
              & has_arg0(R_0063_0029__TURNING_R_0063_0030__OUT,R_0063_0023__A_R_0063_0025__RAINFALL)
              & r_0063_0023__a_r_0063_0025__rainfall(R_0063_0023__A_R_0063_0025__RAINFALL)
              & has_attrib(R_0063_0023__A_R_0063_0025__RAINFALL,R_0063_0024__CASUAL)
              & has_arg1(R_0063_0026__WAS_R_0063_0027__UTILIZED,R_0063_0023__A_R_0063_0025__RAINFALL) ) )
      & ! [R_0063_0009__DOMICILES,R_0063_0008__ELEVATED] :
          ( ( r_0063_0008__elevated(R_0063_0008__ELEVATED)
            & r_0063_0009__domiciles(R_0063_0009__DOMICILES)
            & has_attrib(R_0063_0009__DOMICILES,R_0063_0008__ELEVATED) )
         => ? [R_0063_0003__HIGHER_R_0063_0004__CROWSTAIRS,R_0063_0012__GRAND,R_0063_0015__HOUSEKEEPING,R_0063_0011__THE_R_0063_0013__DIFFICULTY,R_0063_0020__WATER,R_0063_0017__AN_R_0063_0018__INSUFFICIENCY,R_0063_0016__WAS] :
              ( r_0063_0003__Higher_r_0063_0004__Crowstairs(R_0063_0003__HIGHER_R_0063_0004__CROWSTAIRS)
              & r_0063_0012__grand(R_0063_0012__GRAND)
              & r_0063_0015__housekeeping(R_0063_0015__HOUSEKEEPING)
              & r_0063_0020__water(R_0063_0020__WATER)
              & r_0063_0016__was(R_0063_0016__WAS)
              & has_prd(R_0063_0016__WAS,R_0063_0017__AN_R_0063_0018__INSUFFICIENCY)
              & r_0063_0017__an_r_0063_0018__insufficiency(R_0063_0017__AN_R_0063_0018__INSUFFICIENCY)
              & has_r_0063_0019__of(R_0063_0017__AN_R_0063_0018__INSUFFICIENCY,R_0063_0020__WATER)
              & has_arg0(R_0063_0016__WAS,R_0063_0011__THE_R_0063_0013__DIFFICULTY)
              & r_0063_0011__the_r_0063_0013__difficulty(R_0063_0011__THE_R_0063_0013__DIFFICULTY)
              & has_r_0063_0014__of(R_0063_0011__THE_R_0063_0013__DIFFICULTY,R_0063_0015__HOUSEKEEPING)
              & has_attrib(R_0063_0011__THE_R_0063_0013__DIFFICULTY,R_0063_0012__GRAND)
              & has_r_0063_0006__as_at__nim(R_0063_0016__WAS,R_0063_0009__DOMICILES)
              & has_r_0063_0002__at__nim(R_0063_0016__WAS,R_0063_0003__HIGHER_R_0063_0004__CROWSTAIRS) ) ) ) ).