TSPC 37_a_hardy

37_a_hardy_1883
A dancing-party was the alternative; but this, while avoiding the foregoing objection on the score of good drink, had a counterbalancing disadvantage in the matter of good victuals, the ravenous appetites engendered by the exercise causing immense havoc in the buttery.

( (IP-MAT (ILYR (ILYR (NP-SBJ (D A;{a})
                              (N dancing_<hyphen>_party;{dancing_party}))
                      (BED;_Ln_ was;{be})
                      (NP-PRD (D the;{the})
                              (N alternative;{alternative})))
                (PUNC ;)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (D;_nphd_ this;{this}))
                             (PUNC ,)
                             (PP-SCON (P-CONN while;{while})
                                      (IP-PPL (VAG;__ avoiding;{avoid})
                                              (NP-OB1 (D the;{the})
                                                      (IP-PPL (VAG;__ foregoing;{forego}))
                                                      (N objection;{objection})
                                                      (PP (P-ROLE on;{on})
                                                          (NP (D the;{the})
                                                              (N score;{score})
                                                              (PP (P-ROLE of;{of})
                                                                  (NP (ADJP (ADJ good;{good}))
                                                                      (N drink;{drink}))))))))
                             (PUNC ,)
                             (HVD;_Tn_ had;{have})
                             (NP-OB1 (D a;{a})
                                     (IP-PPL (VAG;__ counterbalancing;{counterbalance}))
                                     (N disadvantage;{disadvantage}))
                             (PP-NIM (P-ROLE in;{in})
                                     (NP (D the;{the})
                                         (N matter;{matter})
                                         (PP (P-ROLE of;{of})
                                             (NP (ADJP (ADJ good;{good}))
                                                 (NS victuals;{victual})))))
                             (PUNC ,)
                             (PP-SCON (IP-PPL3 (NP-SBJ (D the;{the})
                                                       (ADJP (ADJ ravenous;{ravenous}))
                                                       (NS appetites;{appetite})
                                                       (IP-PPL (VVN;__ engendered;{engender})
                                                               (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                       (NP (D the;{the})
                                                                           (N exercise;{exercise})))))
                                               (VAG;__ causing;{cause})
                                               (NP-OB1 (ADJP (ADJ immense;{immense}))
                                                       (N havoc;{havoc})
                                                       (PP (P-ROLE in;{in})
                                                           (NP (D the;{the})
                                                               (N buttery;{buttery})))))))))
          (PUNC .))
  (ID 37_a_hardy_1883))

arc(r_0037_0003__was,r_0037_0001__A_r_0037_0002__dancing__hyphen__party,arg0).
arc(r_0037_0003__was,r_0037_0004__the_r_0037_0005__alternative,prd).
arc(r_0037_0007__but,r_0037_0003__was,conj1).
arc(r_0037_0007__but,z_0037_5006,conj2).
arc(r_0037_0010__while,r_0037_0011__avoiding,restriction).
arc(r_0037_0010__while,r_0037_0022__had,scope).
arc(r_0037_0011__avoiding,r_0037_0012__the_r_0037_0014__objection,arg1).
arc(r_0037_0011__avoiding,r_0037_0023__a_r_0037_0025__disadvantage,arg0).
arc(r_0037_0012__the_r_0037_0014__objection,r_0037_0016__the_r_0037_0017__score,r_0037_0015__on).
arc(r_0037_0013__foregoing,r_0037_0012__the_r_0037_0014__objection,inv_arg0).
arc(r_0037_0016__the_r_0037_0017__score,r_0037_0020__drink,r_0037_0018__of).
arc(r_0037_0020__drink,r_0037_0019__good,attrib).
arc(r_0037_0022__had,r_0037_0008__this,arg0).
arc(r_0037_0022__had,r_0037_0023__a_r_0037_0025__disadvantage,arg1).
arc(r_0037_0022__had,r_0037_0027__the_r_0037_0028__matter,r_0037_0026__in__nim).
arc(r_0037_0024__counterbalancing,r_0037_0023__a_r_0037_0025__disadvantage,inv_arg0).
arc(r_0037_0027__the_r_0037_0028__matter,r_0037_0031__victuals,r_0037_0029__of).
arc(r_0037_0031__victuals,r_0037_0030__good,attrib).
arc(r_0037_0033__the_r_0037_0035__appetites,r_0037_0034__ravenous,attrib).
arc(r_0037_0036__engendered,r_0037_0033__the_r_0037_0035__appetites,inv_arg1).
arc(r_0037_0036__engendered,r_0037_0038__the_r_0037_0039__exercise,r_0037_0037__by_arg0).
arc(r_0037_0040__causing,r_0037_0033__the_r_0037_0035__appetites,arg0).
arc(r_0037_0040__causing,r_0037_0042__havoc,arg1).
arc(r_0037_0042__havoc,r_0037_0041__immense,attrib).
arc(r_0037_0042__havoc,r_0037_0044__the_r_0037_0045__buttery,r_0037_0043__in).
arc(z_0037_5006,r_0037_0010__while,scope).
arc(z_0037_5006,r_0037_0040__causing,restriction).

fof(formula,axiom,
    ? [R_0037_0001__A_R_0037_0002__DANCING__HYPHEN__PARTY,R_0037_0004__THE_R_0037_0005__ALTERNATIVE,R_0037_0003__WAS,R_0037_0019__GOOD,R_0037_0020__DRINK,R_0037_0016__THE_R_0037_0017__SCORE,R_0037_0013__FOREGOING,R_0037_0012__THE_R_0037_0014__OBJECTION,R_0037_0024__COUNTERBALANCING,R_0037_0023__A_R_0037_0025__DISADVANTAGE,R_0037_0011__AVOIDING,R_0037_0008__THIS,R_0037_0030__GOOD,R_0037_0031__VICTUALS,R_0037_0027__THE_R_0037_0028__MATTER,R_0037_0022__HAD,R_0037_0010__WHILE,R_0037_0034__RAVENOUS,R_0037_0038__THE_R_0037_0039__EXERCISE,R_0037_0036__ENGENDERED,R_0037_0033__THE_R_0037_0035__APPETITES,R_0037_0041__IMMENSE,R_0037_0044__THE_R_0037_0045__BUTTERY,R_0037_0042__HAVOC,R_0037_0040__CAUSING,Z_0037_5006,R_0037_0007__BUT] :
      ( r_0037_0001__A_r_0037_0002__dancing__hyphen__party(R_0037_0001__A_R_0037_0002__DANCING__HYPHEN__PARTY)
      & r_0037_0004__the_r_0037_0005__alternative(R_0037_0004__THE_R_0037_0005__ALTERNATIVE)
      & r_0037_0008__this(R_0037_0008__THIS)
      & r_0037_0013__foregoing(R_0037_0013__FOREGOING)
      & r_0037_0019__good(R_0037_0019__GOOD)
      & r_0037_0024__counterbalancing(R_0037_0024__COUNTERBALANCING)
      & r_0037_0030__good(R_0037_0030__GOOD)
      & r_0037_0034__ravenous(R_0037_0034__RAVENOUS)
      & r_0037_0038__the_r_0037_0039__exercise(R_0037_0038__THE_R_0037_0039__EXERCISE)
      & r_0037_0041__immense(R_0037_0041__IMMENSE)
      & r_0037_0044__the_r_0037_0045__buttery(R_0037_0044__THE_R_0037_0045__BUTTERY)
      & r_0037_0007__but(R_0037_0007__BUT)
      & has_conj2(R_0037_0007__BUT,Z_0037_5006)
      & z_0037_5006(Z_0037_5006)
      & has_conj1(Z_0037_5006,R_0037_0040__CAUSING)
      & r_0037_0040__causing(R_0037_0040__CAUSING)
      & has_arg1(R_0037_0040__CAUSING,R_0037_0042__HAVOC)
      & r_0037_0042__havoc(R_0037_0042__HAVOC)
      & has_r_0037_0043__in(R_0037_0042__HAVOC,R_0037_0044__THE_R_0037_0045__BUTTERY)
      & has_attrib(R_0037_0042__HAVOC,R_0037_0041__IMMENSE)
      & has_arg0(R_0037_0040__CAUSING,R_0037_0033__THE_R_0037_0035__APPETITES)
      & r_0037_0033__the_r_0037_0035__appetites(R_0037_0033__THE_R_0037_0035__APPETITES)
      & has_inv_arg1(R_0037_0033__THE_R_0037_0035__APPETITES,R_0037_0036__ENGENDERED)
      & r_0037_0036__engendered(R_0037_0036__ENGENDERED)
      & has_r_0037_0037__by_arg0(R_0037_0036__ENGENDERED,R_0037_0038__THE_R_0037_0039__EXERCISE)
      & has_attrib(R_0037_0033__THE_R_0037_0035__APPETITES,R_0037_0034__RAVENOUS)
      & has_conj2(Z_0037_5006,R_0037_0010__WHILE)
      & r_0037_0010__while(R_0037_0010__WHILE)
      & has_conj2(R_0037_0010__WHILE,R_0037_0022__HAD)
      & r_0037_0022__had(R_0037_0022__HAD)
      & has_r_0037_0026__in__nim(R_0037_0022__HAD,R_0037_0027__THE_R_0037_0028__MATTER)
      & r_0037_0027__the_r_0037_0028__matter(R_0037_0027__THE_R_0037_0028__MATTER)
      & has_r_0037_0029__of(R_0037_0027__THE_R_0037_0028__MATTER,R_0037_0031__VICTUALS)
      & r_0037_0031__victuals(R_0037_0031__VICTUALS)
      & has_attrib(R_0037_0031__VICTUALS,R_0037_0030__GOOD)
      & has_arg1(R_0037_0022__HAD,R_0037_0023__A_R_0037_0025__DISADVANTAGE)
      & r_0037_0023__a_r_0037_0025__disadvantage(R_0037_0023__A_R_0037_0025__DISADVANTAGE)
      & has_inv_arg0(R_0037_0023__A_R_0037_0025__DISADVANTAGE,R_0037_0024__COUNTERBALANCING)
      & has_arg0(R_0037_0022__HAD,R_0037_0008__THIS)
      & has_conj1(R_0037_0010__WHILE,R_0037_0011__AVOIDING)
      & r_0037_0011__avoiding(R_0037_0011__AVOIDING)
      & has_arg0(R_0037_0011__AVOIDING,R_0037_0023__A_R_0037_0025__DISADVANTAGE)
      & has_arg1(R_0037_0011__AVOIDING,R_0037_0012__THE_R_0037_0014__OBJECTION)
      & r_0037_0012__the_r_0037_0014__objection(R_0037_0012__THE_R_0037_0014__OBJECTION)
      & has_inv_arg0(R_0037_0012__THE_R_0037_0014__OBJECTION,R_0037_0013__FOREGOING)
      & has_r_0037_0015__on(R_0037_0012__THE_R_0037_0014__OBJECTION,R_0037_0016__THE_R_0037_0017__SCORE)
      & r_0037_0016__the_r_0037_0017__score(R_0037_0016__THE_R_0037_0017__SCORE)
      & has_r_0037_0018__of(R_0037_0016__THE_R_0037_0017__SCORE,R_0037_0020__DRINK)
      & r_0037_0020__drink(R_0037_0020__DRINK)
      & has_attrib(R_0037_0020__DRINK,R_0037_0019__GOOD)
      & has_conj1(R_0037_0007__BUT,R_0037_0003__WAS)
      & r_0037_0003__was(R_0037_0003__WAS)
      & has_prd(R_0037_0003__WAS,R_0037_0004__THE_R_0037_0005__ALTERNATIVE)
      & has_arg0(R_0037_0003__WAS,R_0037_0001__A_R_0037_0002__DANCING__HYPHEN__PARTY) ) ).