66_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.
arc(r_0066_0001__But_r_0066_0005__there_r_0066_0006__were, r_0066_0003__this_r_0066_0004__season, r_0066_0002__at_nim7).
arc(r_0066_0001__But_r_0066_0005__there_r_0066_0006__were, r_0066_0008__exigencies, arg0).
arc(r_0066_0007__no_such_quant, r_0066_0001__But_r_0066_0005__there_r_0066_0006__were, scope).
arc(r_0066_0007__no_such_quant, r_0066_0008__exigencies, restriction).
fof(formula,axiom,
! [R_0066_0008__EXIGENCIES] :
( r_0066_0008__exigencies(R_0066_0008__EXIGENCIES)
=> ? [R_0066_0003__THIS_R_0066_0004__SEASON,R_0066_0001__BUT_R_0066_0005__THERE_R_0066_0006__WERE] :
( r_0066_0003__this_r_0066_0004__season(R_0066_0003__THIS_R_0066_0004__SEASON)
& r_0066_0001__But_r_0066_0005__there_r_0066_0006__were(R_0066_0001__BUT_R_0066_0005__THERE_R_0066_0006__WERE)
& has_arg0(R_0066_0001__BUT_R_0066_0005__THERE_R_0066_0006__WERE,R_0066_0008__EXIGENCIES)
& has_r_0066_0002__at_nim7(R_0066_0001__BUT_R_0066_0005__THERE_R_0066_0006__WERE,R_0066_0003__THIS_R_0066_0004__SEASON) ) ) ).
( (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 66_a_hardy_1883))