TSPC 65_a_hardy

65_a_hardy_1883
But at this season there were no such exigencies; a mere acceptance of what the skies bestowed was sufficient for an abundant store.

( (IP-MAT (CONJ;_cl_ But;{but})
          (PP-NIM (P-ROLE at;{at})
                  (NP (D this;{this})
                      (N season;{season})))
          (EX there;{there})
          (BED;_ex_V_ were;{be})
          (NP-ESBJ (Q no_such;{no_such})
                   (NS exigencies;{exigency}))
          (PUNC ;)
          (PRN (IP-MAT (NP-SBJ (D a;{a})
                               (ADJP (ADJ mere;{mere}))
                               (N acceptance;{acceptance})
                               (PP (P-ROLE of;{of})
                                   (NP (IP-REL (NP-OB1 (RPRO what;{what}))
                                               (NP-SBJ (D the;{the})
                                                       (NS skies;{sky}))
                                               (VBD;__ bestowed;{bestow})))))
                       (BED;_La_ was;{be})
                       (ADJP-PRD (ADJ sufficient;{sufficient})
                                 (PP (P-ROLE for;{for})
                                     (NP (D an;{an})
                                         (ADJP (ADJ abundant;{abundant}))
                                         (N store;{store}))))))
          (PUNC .))
  (ID 65_a_hardy_1883))

arc(r_0065_0006__were,r_0065_0003__this_r_0065_0004__season,r_0065_0002__at__nim).
arc(r_0065_0006__were,r_0065_0008__exigencies,arg0).
arc(r_0065_0006__were,r_0065_0018__was,prn).
arc(r_0065_0007__no_such__quant,r_0065_0006__were,scope).
arc(r_0065_0007__no_such__quant,r_0065_0008__exigencies,restriction).
arc(r_0065_0010__a_r_0065_0012__acceptance,r_0065_0011__mere,attrib).
arc(r_0065_0010__a_r_0065_0012__acceptance,r_0065_0014__what,r_0065_0013__of).
arc(r_0065_0017__bestowed,r_0065_0014__what,arg1).
arc(r_0065_0017__bestowed,r_0065_0015__the_r_0065_0016__skies,arg0).
arc(r_0065_0018__was,r_0065_0010__a_r_0065_0012__acceptance,arg0).
arc(r_0065_0018__was,r_0065_0019__sufficient,prd).
arc(r_0065_0019__sufficient,r_0065_0021__an_r_0065_0023__store,r_0065_0020__for).
arc(r_0065_0021__an_r_0065_0023__store,r_0065_0022__abundant,attrib).

fof(formula,axiom,
    ? [R_0065_0014__WHAT,R_0065_0015__THE_R_0065_0016__SKIES,R_0065_0017__BESTOWED] :
      ( r_0065_0014__what(R_0065_0014__WHAT)
      & r_0065_0015__the_r_0065_0016__skies(R_0065_0015__THE_R_0065_0016__SKIES)
      & r_0065_0017__bestowed(R_0065_0017__BESTOWED)
      & has_arg0(R_0065_0017__BESTOWED,R_0065_0015__THE_R_0065_0016__SKIES)
      & has_arg1(R_0065_0017__BESTOWED,R_0065_0014__WHAT)
      & ! [R_0065_0008__EXIGENCIES] :
          ( r_0065_0008__exigencies(R_0065_0008__EXIGENCIES)
         => ? [R_0065_0003__THIS_R_0065_0004__SEASON,R_0065_0011__MERE,R_0065_0010__A_R_0065_0012__ACCEPTANCE,R_0065_0022__ABUNDANT,R_0065_0021__AN_R_0065_0023__STORE,R_0065_0019__SUFFICIENT,R_0065_0018__WAS,R_0065_0006__WERE] :
              ( r_0065_0003__this_r_0065_0004__season(R_0065_0003__THIS_R_0065_0004__SEASON)
              & r_0065_0011__mere(R_0065_0011__MERE)
              & r_0065_0022__abundant(R_0065_0022__ABUNDANT)
              & r_0065_0006__were(R_0065_0006__WERE)
              & has_prn(R_0065_0006__WERE,R_0065_0018__WAS)
              & r_0065_0018__was(R_0065_0018__WAS)
              & has_prd(R_0065_0018__WAS,R_0065_0019__SUFFICIENT)
              & r_0065_0019__sufficient(R_0065_0019__SUFFICIENT)
              & has_r_0065_0020__for(R_0065_0019__SUFFICIENT,R_0065_0021__AN_R_0065_0023__STORE)
              & r_0065_0021__an_r_0065_0023__store(R_0065_0021__AN_R_0065_0023__STORE)
              & has_attrib(R_0065_0021__AN_R_0065_0023__STORE,R_0065_0022__ABUNDANT)
              & has_arg0(R_0065_0018__WAS,R_0065_0010__A_R_0065_0012__ACCEPTANCE)
              & r_0065_0010__a_r_0065_0012__acceptance(R_0065_0010__A_R_0065_0012__ACCEPTANCE)
              & has_r_0065_0013__of(R_0065_0010__A_R_0065_0012__ACCEPTANCE,R_0065_0014__WHAT)
              & has_attrib(R_0065_0010__A_R_0065_0012__ACCEPTANCE,R_0065_0011__MERE)
              & has_arg0(R_0065_0006__WERE,R_0065_0008__EXIGENCIES)
              & has_r_0065_0002__at__nim(R_0065_0006__WERE,R_0065_0003__THIS_R_0065_0004__SEASON) ) ) ) ).