TSPC 38_a_hardy

38_a_hardy_1883
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.

arc(r_0038_0001__but_r_0038_0016__had, r_0038_0002__this, arg0).
arc(r_0038_0001__but_r_0038_0016__had, r_0038_0017__a_r_0038_0019__disadvantage, arg1).
arc(r_0038_0001__but_r_0038_0016__had, r_0038_0021__the_r_0038_0022__matter, r_0038_0020__in_nim55).
arc(r_0038_0004__while, r_0038_0005__avoiding, restriction).
arc(r_0038_0004__while, z_000_38_a_hardy_1883_71, scope).
arc(r_0038_0005__avoiding, r_0038_0002__this, arg0).
arc(r_0038_0005__avoiding, r_0038_0006__the_r_0038_0008__objection, arg1).
arc(r_0038_0006__the_r_0038_0008__objection, r_0038_0010__the_r_0038_0011__score, r_0038_0009__on).
arc(r_0038_0007__foregoing, r_0038_0006__the_r_0038_0008__objection, arg0).
arc(r_0038_0010__the_r_0038_0011__score, r_0038_0014__drink, r_0038_0012__of).
arc(r_0038_0014__drink, r_0038_0013__good, attrib35).
arc(r_0038_0017__a_r_0038_0019__disadvantage, r_0038_0018__counterbalancing, attrib47).
arc(r_0038_0021__the_r_0038_0022__matter, r_0038_0025__victuals, r_0038_0023__of).
arc(r_0038_0025__victuals, r_0038_0024__good, attrib64).
arc(r_0038_0027__the_r_0038_0029__appetites, r_0038_0028__ravenous, attrib76).
arc(r_0038_0030__engendered, r_0038_0027__the_r_0038_0029__appetites, arg1).
arc(r_0038_0030__engendered, r_0038_0032__the_r_0038_0033__exercise, arg0).
arc(r_0038_0034__causing, r_0038_0027__the_r_0038_0029__appetites, arg0).
arc(r_0038_0034__causing, r_0038_0036__havoc, arg1).
arc(r_0038_0036__havoc, r_0038_0035__immense, attrib95).
arc(r_0038_0036__havoc, r_0038_0038__the_r_0038_0039__buttery, r_0038_0037__in).
arc(z_000_38_a_hardy_1883_71, r_0038_0001__but_r_0038_0016__had, scope).
arc(z_000_38_a_hardy_1883_71, r_0038_0034__causing, restriction).

fof(formula,axiom,
    ? [R_0038_0002__THIS,R_0038_0013__GOOD,R_0038_0014__DRINK,R_0038_0010__THE_R_0038_0011__SCORE,R_0038_0006__THE_R_0038_0008__OBJECTION,R_0038_0005__AVOIDING,R_0038_0018__COUNTERBALANCING,R_0038_0017__A_R_0038_0019__DISADVANTAGE,R_0038_0024__GOOD,R_0038_0025__VICTUALS,R_0038_0021__THE_R_0038_0022__MATTER,R_0038_0001__BUT_R_0038_0016__HAD,R_0038_0028__RAVENOUS,R_0038_0027__THE_R_0038_0029__APPETITES,R_0038_0035__IMMENSE,R_0038_0038__THE_R_0038_0039__BUTTERY,R_0038_0036__HAVOC,R_0038_0034__CAUSING,Z_000_38_A_HARDY_1883_71,R_0038_0004__WHILE,R_0038_0007__FOREGOING,R_0038_0032__THE_R_0038_0033__EXERCISE,R_0038_0030__ENGENDERED] :
      ( r_0038_0002__this(R_0038_0002__THIS)
      & r_0038_0013__good(R_0038_0013__GOOD)
      & r_0038_0018__counterbalancing(R_0038_0018__COUNTERBALANCING)
      & r_0038_0024__good(R_0038_0024__GOOD)
      & r_0038_0028__ravenous(R_0038_0028__RAVENOUS)
      & r_0038_0032__the_r_0038_0033__exercise(R_0038_0032__THE_R_0038_0033__EXERCISE)
      & r_0038_0035__immense(R_0038_0035__IMMENSE)
      & r_0038_0038__the_r_0038_0039__buttery(R_0038_0038__THE_R_0038_0039__BUTTERY)
      & r_0038_0030__engendered(R_0038_0030__ENGENDERED)
      & has_arg0(R_0038_0030__ENGENDERED,R_0038_0032__THE_R_0038_0033__EXERCISE)
      & has_arg1(R_0038_0030__ENGENDERED,R_0038_0027__THE_R_0038_0029__APPETITES)
      & r_0038_0027__the_r_0038_0029__appetites(R_0038_0027__THE_R_0038_0029__APPETITES)
      & has_attrib76(R_0038_0027__THE_R_0038_0029__APPETITES,R_0038_0028__RAVENOUS)
      & r_0038_0007__foregoing(R_0038_0007__FOREGOING)
      & has_arg0(R_0038_0007__FOREGOING,R_0038_0006__THE_R_0038_0008__OBJECTION)
      & r_0038_0006__the_r_0038_0008__objection(R_0038_0006__THE_R_0038_0008__OBJECTION)
      & has_r_0038_0009__on(R_0038_0006__THE_R_0038_0008__OBJECTION,R_0038_0010__THE_R_0038_0011__SCORE)
      & r_0038_0010__the_r_0038_0011__score(R_0038_0010__THE_R_0038_0011__SCORE)
      & has_r_0038_0012__of(R_0038_0010__THE_R_0038_0011__SCORE,R_0038_0014__DRINK)
      & r_0038_0014__drink(R_0038_0014__DRINK)
      & has_attrib35(R_0038_0014__DRINK,R_0038_0013__GOOD)
      & r_0038_0004__while(R_0038_0004__WHILE)
      & has_conj2(R_0038_0004__WHILE,Z_000_38_A_HARDY_1883_71)
      & z_000_38_a_hardy_1883_71(Z_000_38_A_HARDY_1883_71)
      & has_conj1(Z_000_38_A_HARDY_1883_71,R_0038_0034__CAUSING)
      & r_0038_0034__causing(R_0038_0034__CAUSING)
      & has_arg1(R_0038_0034__CAUSING,R_0038_0036__HAVOC)
      & r_0038_0036__havoc(R_0038_0036__HAVOC)
      & has_r_0038_0037__in(R_0038_0036__HAVOC,R_0038_0038__THE_R_0038_0039__BUTTERY)
      & has_attrib95(R_0038_0036__HAVOC,R_0038_0035__IMMENSE)
      & has_arg0(R_0038_0034__CAUSING,R_0038_0027__THE_R_0038_0029__APPETITES)
      & has_conj2(Z_000_38_A_HARDY_1883_71,R_0038_0001__BUT_R_0038_0016__HAD)
      & r_0038_0001__but_r_0038_0016__had(R_0038_0001__BUT_R_0038_0016__HAD)
      & has_r_0038_0020__in_nim55(R_0038_0001__BUT_R_0038_0016__HAD,R_0038_0021__THE_R_0038_0022__MATTER)
      & r_0038_0021__the_r_0038_0022__matter(R_0038_0021__THE_R_0038_0022__MATTER)
      & has_r_0038_0023__of(R_0038_0021__THE_R_0038_0022__MATTER,R_0038_0025__VICTUALS)
      & r_0038_0025__victuals(R_0038_0025__VICTUALS)
      & has_attrib64(R_0038_0025__VICTUALS,R_0038_0024__GOOD)
      & has_arg1(R_0038_0001__BUT_R_0038_0016__HAD,R_0038_0017__A_R_0038_0019__DISADVANTAGE)
      & r_0038_0017__a_r_0038_0019__disadvantage(R_0038_0017__A_R_0038_0019__DISADVANTAGE)
      & has_attrib47(R_0038_0017__A_R_0038_0019__DISADVANTAGE,R_0038_0018__COUNTERBALANCING)
      & has_arg0(R_0038_0001__BUT_R_0038_0016__HAD,R_0038_0002__THIS)
      & has_conj1(R_0038_0004__WHILE,R_0038_0005__AVOIDING)
      & r_0038_0005__avoiding(R_0038_0005__AVOIDING)
      & has_arg1(R_0038_0005__AVOIDING,R_0038_0006__THE_R_0038_0008__OBJECTION)
      & has_arg0(R_0038_0005__AVOIDING,R_0038_0002__THIS) ) ).

( (IP-MAT (CONJ;_cl_ but;{but})
          (NP-SBJ (D;_nphd_ this;{this}))
          (PUNC ,)
          (PP-SCON (P-CONN while;{while})
                   (IP-PPL2 (VAG;_Tn_ 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})
                  (ADJP (ADJ counterbalancing;{counterbalancing}))
                  (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;_Tn_ engendered;{engender})
                                            (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                    (NP (D the;{the})
                                                        (N exercise;{exercise})))))
                            (VAG;_Tn_ 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 38_a_hardy_1883))