32_a_hardy_1883
Enjoyment was pretty general, and so much the more prevailed in being unhampered by conventional restrictions.
arc(r_0032_0002__was, r_0032_0001__Enjoyment, arg0).
arc(r_0032_0002__was, r_0032_0004__general, prd).
arc(r_0032_0004__general, r_0032_0003__pretty, qual10).
arc(r_0032_0006__and, r_0032_0002__was, conj1).
arc(r_0032_0006__and, r_0032_0011__prevailed, conj2).
arc(r_0032_0008__much, r_0032_0007__so, qual23).
arc(r_0032_0009__the, r_0032_0008__much, attrib22).
arc(r_0032_0009__the, r_0032_0010__more, attrib30).
arc(r_0032_0011__prevailed, r_0032_0009__the, arg0).
arc(r_0032_0011__prevailed, r_0032_0013__being, r_0032_0012__in_nim38).
arc(r_0032_0013__being, r_0032_0014__unhampered, scope).
arc(r_0032_0014__unhampered, r_0032_0017__restrictions, arg0).
arc(r_0032_0014__unhampered, z_000_32_a_hardy_1883_38, arg1).
arc(r_0032_0017__restrictions, r_0032_0016__conventional, attrib48).
fof(formula,axiom,
? [R_32_6_AND,R_32_2_WAS,R_32_1_ENJOYMENT,R_32_4_GENERAL,R_32_3_PRETTY,R_32_11_PREVAILED,R_32_9_THE,R_32_8_MUCH,R_32_7_SO,R_32_10_MORE,R_32_13_BEING_UNHAMPERED,R_32_17_RESTRICTIONS,R_32_16_CONVENTIONAL,Z_32_A_HARDY_1883_38] :
( enjoyment(R_32_1_ENJOYMENT)
& pretty(R_32_3_PRETTY)
& so(R_32_7_SO)
& more(R_32_10_MORE)
& conventional(R_32_16_CONVENTIONAL)
& and(R_32_6_AND)
& conj1(R_32_6_AND,R_32_2_WAS)
& was(R_32_2_WAS,R_32_1_ENJOYMENT,R_32_4_GENERAL)
& general(R_32_4_GENERAL)
& qual10(R_32_4_GENERAL,R_32_3_PRETTY)
& conj2(R_32_6_AND,R_32_11_PREVAILED)
& prevailed(R_32_11_PREVAILED,R_32_9_THE)
& the(R_32_9_THE)
& attrib22(R_32_9_THE,R_32_8_MUCH)
& much(R_32_8_MUCH)
& qual23(R_32_8_MUCH,R_32_7_SO)
& attrib30(R_32_9_THE,R_32_10_MORE)
& in_nim38(R_32_11_PREVAILED,R_32_13_BEING_UNHAMPERED)
& being_unhampered(R_32_13_BEING_UNHAMPERED,R_32_17_RESTRICTIONS,Z_32_A_HARDY_1883_38)
& restrictions(R_32_17_RESTRICTIONS)
& attrib48(R_32_17_RESTRICTIONS,R_32_16_CONVENTIONAL) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ (N Enjoyment;{enjoyment}))
(BED;_La_ was;{be})
(ADJP-PRD (ADVP (ADV pretty;{pretty}))
(ADJ general;{general})))
(PUNC ,)
(CONJP (CONJ and;{and})
(ILYR (NP-SBJ (ADJP (ADVP (ADV so;{so}))
(ADJ much;{much}))
(D the;{the})
(ADJP (ADJR more;{more})))
(VBD;_I_ prevailed;{prevail})
(PP-NIM (P-ROLE in;{in})
(IP-PPL (BAG;_cat_VePASS_ being;{be})
(IP-PPL-CAT (VVN;_Tn_ unhampered;{un_hamper})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (ADJP (ADJ conventional;{conventional}))
(NS restrictions;{restriction})))))))))
(PUNC .))
(ID 32_a_hardy_1883))