TSPC 64_a_hardy

64_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.

arc(r_0064_0001__For_r_0064_0016__was, r_0064_0003__Higher_r_0064_0004__Crowstairs, r_0064_0002__at_nim9).
arc(r_0064_0001__For_r_0064_0016__was, r_0064_0009__domiciles, r_0064_0006__as_at_nim19).
arc(r_0064_0001__For_r_0064_0016__was, r_0064_0011__the_r_0064_0013__difficulty, arg0).
arc(r_0064_0001__For_r_0064_0016__was, r_0064_0017__an_r_0064_0018__insufficiency, prd).
arc(r_0064_0007__all_such_quant, r_0064_0001__For_r_0064_0016__was, scope).
arc(r_0064_0007__all_such_quant, r_0064_0009__domiciles, restriction).
arc(r_0064_0009__domiciles, r_0064_0008__elevated, attrib22).
arc(r_0064_0011__the_r_0064_0013__difficulty, r_0064_0012__grand, attrib32).
arc(r_0064_0011__the_r_0064_0013__difficulty, r_0064_0015__housekeeping, r_0064_0014__of).
arc(r_0064_0017__an_r_0064_0018__insufficiency, r_0064_0020__water, r_0064_0019__of).
arc(r_0064_0022__and, r_0064_0007__all_such_quant, conj1).
arc(r_0064_0022__and, r_0064_0026__was, conj2).
arc(r_0064_0023__a_r_0064_0025__rainfall, r_0064_0024__casual, attrib65).
arc(r_0064_0026__was, r_0064_0027__utilized, scope).
arc(r_0064_0027__utilized, r_0064_0023__a_r_0064_0025__rainfall, arg0).
arc(r_0064_0027__utilized, r_0064_0035__every_quant, r_0064_0028__by_nim78).
arc(r_0064_0029__turning_r_0064_0030__out, r_0064_0033__catchers, r_0064_0032__as_nim88).
arc(r_0064_0029__turning_r_0064_0030__out, r_0064_0036__utensil, arg1).
arc(r_0064_0029__turning_r_0064_0030__out, z_000_64_a_hardy_1883_78, arg0).
arc(r_0064_0035__every_quant, r_0064_0029__turning_r_0064_0030__out, scope).
arc(r_0064_0035__every_quant, r_0064_0036__utensil, restriction).
arc(r_0064_0037__that_r_0064_0040__contained, r_0064_0036__utensil, arg1).
arc(r_0064_0037__that_r_0064_0040__contained, r_0064_0038__the_r_0064_0039__house, arg0).

fof(formula,axiom,
    ? [R_0064_0024__CASUAL,R_0064_0023__A_R_0064_0025__RAINFALL,R_0064_0026__WAS_R_0064_0027__UTILIZED,R_0064_0022__AND] :
      ( r_0064_0024__casual(R_0064_0024__CASUAL)
      & r_0064_0022__and(R_0064_0022__AND)
      & has_conj2(R_0064_0022__AND,R_0064_0026__WAS_R_0064_0027__UTILIZED)
      & r_0064_0026__was_r_0064_0027__utilized(R_0064_0026__WAS_R_0064_0027__UTILIZED)
      & ! [R_0064_0036__UTENSIL,R_0064_0038__THE_R_0064_0039__HOUSE,R_0064_0037__THAT_R_0064_0040__CONTAINED] :
          ( ( r_0064_0036__utensil(R_0064_0036__UTENSIL)
            & r_0064_0038__the_r_0064_0039__house(R_0064_0038__THE_R_0064_0039__HOUSE)
            & r_0064_0037__that_r_0064_0040__contained(R_0064_0037__THAT_R_0064_0040__CONTAINED)
            & has_arg0(R_0064_0037__THAT_R_0064_0040__CONTAINED,R_0064_0038__THE_R_0064_0039__HOUSE)
            & has_arg1(R_0064_0037__THAT_R_0064_0040__CONTAINED,R_0064_0036__UTENSIL) )
         => ? [R_0064_0033__CATCHERS,Z_000_64_A_HARDY_1883_78,R_0064_0029__TURNING_R_0064_0030__OUT] :
              ( r_0064_0033__catchers(R_0064_0033__CATCHERS)
              & z_000_64_a_hardy_1883_78(Z_000_64_A_HARDY_1883_78)
              & r_0064_0029__turning_r_0064_0030__out(R_0064_0029__TURNING_R_0064_0030__OUT)
              & has_arg0(R_0064_0029__TURNING_R_0064_0030__OUT,Z_000_64_A_HARDY_1883_78)
              & has_arg1(R_0064_0029__TURNING_R_0064_0030__OUT,R_0064_0036__UTENSIL)
              & has_r_0064_0032__as_nim88(R_0064_0029__TURNING_R_0064_0030__OUT,R_0064_0033__CATCHERS) ) )
      & has_arg0(R_0064_0026__WAS_R_0064_0027__UTILIZED,R_0064_0023__A_R_0064_0025__RAINFALL)
      & r_0064_0023__a_r_0064_0025__rainfall(R_0064_0023__A_R_0064_0025__RAINFALL)
      & has_attrib65(R_0064_0023__A_R_0064_0025__RAINFALL,R_0064_0024__CASUAL)
      & ! [R_0064_0009__DOMICILES,R_0064_0008__ELEVATED] :
          ( ( r_0064_0008__elevated(R_0064_0008__ELEVATED)
            & r_0064_0009__domiciles(R_0064_0009__DOMICILES)
            & has_attrib22(R_0064_0009__DOMICILES,R_0064_0008__ELEVATED) )
         => ? [R_0064_0003__HIGHER_R_0064_0004__CROWSTAIRS,R_0064_0012__GRAND,R_0064_0015__HOUSEKEEPING,R_0064_0011__THE_R_0064_0013__DIFFICULTY,R_0064_0020__WATER,R_0064_0017__AN_R_0064_0018__INSUFFICIENCY,R_0064_0001__FOR_R_0064_0016__WAS] :
              ( r_0064_0003__Higher_r_0064_0004__Crowstairs(R_0064_0003__HIGHER_R_0064_0004__CROWSTAIRS)
              & r_0064_0012__grand(R_0064_0012__GRAND)
              & r_0064_0015__housekeeping(R_0064_0015__HOUSEKEEPING)
              & r_0064_0020__water(R_0064_0020__WATER)
              & r_0064_0001__For_r_0064_0016__was(R_0064_0001__FOR_R_0064_0016__WAS)
              & has_prd(R_0064_0001__FOR_R_0064_0016__WAS,R_0064_0017__AN_R_0064_0018__INSUFFICIENCY)
              & r_0064_0017__an_r_0064_0018__insufficiency(R_0064_0017__AN_R_0064_0018__INSUFFICIENCY)
              & has_r_0064_0019__of(R_0064_0017__AN_R_0064_0018__INSUFFICIENCY,R_0064_0020__WATER)
              & has_arg0(R_0064_0001__FOR_R_0064_0016__WAS,R_0064_0011__THE_R_0064_0013__DIFFICULTY)
              & r_0064_0011__the_r_0064_0013__difficulty(R_0064_0011__THE_R_0064_0013__DIFFICULTY)
              & has_r_0064_0014__of(R_0064_0011__THE_R_0064_0013__DIFFICULTY,R_0064_0015__HOUSEKEEPING)
              & has_attrib32(R_0064_0011__THE_R_0064_0013__DIFFICULTY,R_0064_0012__GRAND)
              & has_r_0064_0006__as_at_nim19(R_0064_0001__FOR_R_0064_0016__WAS,R_0064_0009__DOMICILES)
              & has_r_0064_0002__at_nim9(R_0064_0001__FOR_R_0064_0016__WAS,R_0064_0003__HIGHER_R_0064_0004__CROWSTAIRS) ) ) ) ).

( (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 64_a_hardy_1883))