TSPC 32_a_hardy

32_a_hardy_1883
Enjoyment was pretty general, and so much the more prevailed in being unhampered by conventional restrictions.

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

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,qual).
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,qual).
arc(r_0032_0009__the,r_0032_0008__much,attrib).
arc(r_0032_0009__the,r_0032_0010__more,attrib).
arc(r_0032_0011__prevailed,r_0032_0009__the,arg0).
arc(r_0032_0011__prevailed,r_0032_0013__being,r_0032_0012__in__nim).
arc(r_0032_0013__being,r_0032_0014__unhampered,scope).
arc(r_0032_0014__unhampered,r_0032_0009__the,arg1).
arc(r_0032_0014__unhampered,r_0032_0017__restrictions,r_0032_0015__by_arg0).
arc(r_0032_0017__restrictions,r_0032_0016__conventional,attrib).

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,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)
      & 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__nim(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_r_0032_0015__by_arg0(R_0032_0013__BEING_R_0032_0014__UNHAMPERED,R_0032_0017__RESTRICTIONS)
      & r_0032_0017__restrictions(R_0032_0017__RESTRICTIONS)
      & has_attrib(R_0032_0017__RESTRICTIONS,R_0032_0016__CONVENTIONAL)
      & has_arg1(R_0032_0013__BEING_R_0032_0014__UNHAMPERED,R_0032_0009__THE)
      & r_0032_0009__the(R_0032_0009__THE)
      & has_attrib(R_0032_0009__THE,R_0032_0010__MORE)
      & has_attrib(R_0032_0009__THE,R_0032_0008__MUCH)
      & r_0032_0008__much(R_0032_0008__MUCH)
      & has_qual(R_0032_0008__MUCH,R_0032_0007__SO)
      & has_arg0(R_0032_0011__PREVAILED,R_0032_0009__THE)
      & 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_qual(R_0032_0004__GENERAL,R_0032_0003__PRETTY)
      & has_arg0(R_0032_0002__WAS,R_0032_0001__ENJOYMENT) ) ).