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_38_4_WHILE,R_38_5_AVOIDING,Z_38_A_HARDY_1883_71,R_38_34_CAUSING,R_38_36_HAVOC,R_38_35_IMMENSE,R_38_38_THE_BUTTERY,R_38_1_BUT_HAD,R_38_2_THIS,R_38_17_A_DISADVANTAGE,R_38_18_COUNTERBALANCING,R_38_21_THE_MATTER,R_38_25_VICTUALS,R_38_24_GOOD,R_38_7_FOREGOING,R_38_6_THE_OBJECTION,R_38_10_THE_SCORE,R_38_14_DRINK,R_38_13_GOOD,R_38_30_ENGENDERED,R_38_32_THE_EXERCISE,R_38_27_THE_APPETITES,R_38_28_RAVENOUS] :
      ( immense(R_38_35_IMMENSE)
      & the_buttery(R_38_38_THE_BUTTERY)
      & this(R_38_2_THIS)
      & counterbalancing(R_38_18_COUNTERBALANCING)
      & good(R_38_24_GOOD)
      & good(R_38_13_GOOD)
      & the_exercise(R_38_32_THE_EXERCISE)
      & ravenous(R_38_28_RAVENOUS)
      & while(R_38_4_WHILE)
      & conj1(R_38_4_WHILE,R_38_5_AVOIDING)
      & avoiding(R_38_5_AVOIDING,R_38_2_THIS,R_38_6_THE_OBJECTION)
      & the_objection(R_38_6_THE_OBJECTION)
      & on(R_38_6_THE_OBJECTION,R_38_10_THE_SCORE)
      & the_score(R_38_10_THE_SCORE)
      & of(R_38_10_THE_SCORE,R_38_14_DRINK)
      & drink(R_38_14_DRINK)
      & attrib35(R_38_14_DRINK,R_38_13_GOOD)
      & conj2(R_38_4_WHILE,Z_38_A_HARDY_1883_71)
      & z_38_a_hardy_1883_71(Z_38_A_HARDY_1883_71)
      & conj1(Z_38_A_HARDY_1883_71,R_38_34_CAUSING)
      & causing(R_38_34_CAUSING,R_38_27_THE_APPETITES,R_38_36_HAVOC)
      & the_appetites(R_38_27_THE_APPETITES)
      & attrib76(R_38_27_THE_APPETITES,R_38_28_RAVENOUS)
      & havoc(R_38_36_HAVOC)
      & attrib95(R_38_36_HAVOC,R_38_35_IMMENSE)
      & in(R_38_36_HAVOC,R_38_38_THE_BUTTERY)
      & conj2(Z_38_A_HARDY_1883_71,R_38_1_BUT_HAD)
      & but_had(R_38_1_BUT_HAD,R_38_2_THIS,R_38_17_A_DISADVANTAGE)
      & a_disadvantage(R_38_17_A_DISADVANTAGE)
      & attrib47(R_38_17_A_DISADVANTAGE,R_38_18_COUNTERBALANCING)
      & in_nim55(R_38_1_BUT_HAD,R_38_21_THE_MATTER)
      & the_matter(R_38_21_THE_MATTER)
      & of(R_38_21_THE_MATTER,R_38_25_VICTUALS)
      & victuals(R_38_25_VICTUALS)
      & attrib64(R_38_25_VICTUALS,R_38_24_GOOD)
      & foregoing(R_38_7_FOREGOING,R_38_6_THE_OBJECTION)
      & engendered(R_38_30_ENGENDERED,R_38_32_THE_EXERCISE,R_38_27_THE_APPETITES) ) ).

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