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_0032_0001__ENJOYMENT,R_0032_0003__PRETTY,R_0032_0004__GENERAL,R_0032_0002__WAS,R_0032_0007__SO,R_0032_0008__MUCH,R_0032_0010__MORE,R_0032_0009__THE,R_0032_0016__CONVENTIONAL,R_0032_0017__RESTRICTIONS,Z_000_32_A_HARDY_1883_38,R_0032_0013__BEING_R_0032_0014__UNHAMPERED,R_0032_0011__PREVAILED,R_0032_0006__AND] :
      ( r_0032_0001__Enjoyment(R_0032_0001__ENJOYMENT)
      & r_0032_0003__pretty(R_0032_0003__PRETTY)
      & r_0032_0007__so(R_0032_0007__SO)
      & r_0032_0010__more(R_0032_0010__MORE)
      & r_0032_0016__conventional(R_0032_0016__CONVENTIONAL)
      & z_000_32_a_hardy_1883_38(Z_000_32_A_HARDY_1883_38)
      & r_0032_0006__and(R_0032_0006__AND)
      & has_conj2(R_0032_0006__AND,R_0032_0011__PREVAILED)
      & r_0032_0011__prevailed(R_0032_0011__PREVAILED)
      & has_r_0032_0012__in_nim38(R_0032_0011__PREVAILED,R_0032_0013__BEING_R_0032_0014__UNHAMPERED)
      & r_0032_0013__being_r_0032_0014__unhampered(R_0032_0013__BEING_R_0032_0014__UNHAMPERED)
      & has_arg1(R_0032_0013__BEING_R_0032_0014__UNHAMPERED,Z_000_32_A_HARDY_1883_38)
      & has_arg0(R_0032_0013__BEING_R_0032_0014__UNHAMPERED,R_0032_0017__RESTRICTIONS)
      & r_0032_0017__restrictions(R_0032_0017__RESTRICTIONS)
      & has_attrib48(R_0032_0017__RESTRICTIONS,R_0032_0016__CONVENTIONAL)
      & has_arg0(R_0032_0011__PREVAILED,R_0032_0009__THE)
      & r_0032_0009__the(R_0032_0009__THE)
      & has_attrib30(R_0032_0009__THE,R_0032_0010__MORE)
      & has_attrib22(R_0032_0009__THE,R_0032_0008__MUCH)
      & r_0032_0008__much(R_0032_0008__MUCH)
      & has_qual23(R_0032_0008__MUCH,R_0032_0007__SO)
      & has_conj1(R_0032_0006__AND,R_0032_0002__WAS)
      & r_0032_0002__was(R_0032_0002__WAS)
      & has_prd(R_0032_0002__WAS,R_0032_0004__GENERAL)
      & r_0032_0004__general(R_0032_0004__GENERAL)
      & has_qual10(R_0032_0004__GENERAL,R_0032_0003__PRETTY)
      & has_arg0(R_0032_0002__WAS,R_0032_0001__ENJOYMENT) ) ).

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