TSPC 29_a_beeton

29_a_beeton_1861
Supposing eggs (the cheapest) to be used, — Draw a gallon or so of the wine, and mix one quart of it with the whites of four eggs, by stirring it with a whisk; afterwards, when thoroughly mixed, pour it back into the cask through the bunghole, and stir up the whole cask, in a rotatory direction, with a clean split stick inserted through the bunghole.

( (IP-IMP (ILYR (ILYR (PP-SCON (IP-PPL (VAG;__ Supposing;{suppose})
                                       (NP-OB2 (NS eggs;{egg})
                                               (PULB -LRB-)
                                               (PRN (NP (D the;{the})
                                                        (ADJP (ADJS cheapest;{cheap}))))
                                               (PURB -RRB-))
                                       (IP-INF-OB1 (TO to;{to})
                                                   (BE;_cat_VePASS_ be;{be})
                                                   (IP-PPL-CAT (NP-LGS *)
                                                               (VVN;__ used;{use})))))
                      (PUNC ,)
                      (PUNC <mdash>)
                      (ILYR (ILYR (VB;__ Draw;{draw})
                                  (NP-OB1 (D a;{a})
                                          (N gallon;{gallon})
                                          (ADVP (ADV or_so;{or_so}))
                                          (PP (P-ROLE of;{of})
                                              (NP;{WINE} (D the;{the})
                                                         (N wine;{wine})))))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (ILYR (VB;__ mix;{mix})
                                         (NP-OB1 (NUM one;{one})
                                                 (N quart;{quart})
                                                 (PP (P-ROLE of;{of})
                                                     (NP;{WINE} (PRO it;{it}))))
                                         (PP-NIM (P-ROLE with;{with})
                                                 (NP (D the;{the})
                                                     (NS whites;{white})
                                                     (PP (P-ROLE of;{of})
                                                         (NP (NUM four;{four})
                                                             (NS eggs;{egg})))))
                                         (PUNC ,)
                                         (PP-SCON (P-CONN by;{by})
                                                  (IP-PPL2 (VAG;__ stirring;{stir})
                                                           (NP-OB1;{WINE} (PRO it;{it}))
                                                           (PP-NIM (P-ROLE with;{with})
                                                                   (NP (D a;{a})
                                                                       (N whisk;{whisk})))))))))
                (PUNC ;)
                (CONJP (ILYR (ADVP-NIM (ADV afterwards;{afterwards}))
                             (PUNC ,)
                             (PP-SCON (P-CONN when;{when})
                                      (IP-PPL (NP-LGS *)
                                              (ADVP-NIM (ADV thoroughly;{thoroughly}))
                                              (VVN;__ mixed;{mix})))
                             (PUNC ,)
                             (ILYR (ILYR (VB;_Tn.p_ pour;{pour[back]})
                                         (NP-OB1;{WINE} (PRO it;{it}))
                                         (ADVP-CLR (RP back;{back}))
                                         (PP-NIM (P-ROLE into;{into})
                                                 (NP (D the;{the})
                                                     (N cask;{cask})))
                                         (PP-NIM (P-ROLE through;{through})
                                                 (NP (D the;{the})
                                                     (N bunghole;{bunghole}))))
                                   (PUNC ,)
                                   (CONJP (CONJ and;{and})
                                          (ILYR (VB;__ stir;{stir})
                                                (RP up;{up})
                                                (NP-OB1 (D the;{the})
                                                        (ADJP (ADJ whole;{whole}))
                                                        (N cask;{cask}))
                                                (PUNC ,)
                                                (PP-NIM (P-ROLE in;{in})
                                                        (NP (D a;{a})
                                                            (ADJP (ADJ rotatory;{rotatory}))
                                                            (N direction;{direction})))
                                                (PUNC ,)
                                                (PP-NIM (P-ROLE with;{with})
                                                        (NP (D a;{a})
                                                            (ADJP (ADJ clean;{clean}))
                                                            (N split;{split})
                                                            (N stick;{stick})
                                                            (IP-PPL (NP-LGS *)
                                                                    (VVN;__ inserted;{insert})
                                                                    (PP-NIM (P-ROLE through;{through})
                                                                            (NP (D the;{the})
                                                                                (N bunghole;{bunghole}))))))))))))
          (PUNC .))
  (ID 29_a_beeton_1861;2166-6))

arc(r_0029_0001__Supposing,r_0029_0002__eggs,arg2).
arc(r_0029_0001__Supposing,r_0029_0008__be,arg1).
arc(r_0029_0001__Supposing,z_0029_5002,arg0).
arc(r_0029_0004__the,r_0029_0005__cheapest,attrib).
arc(r_0029_0008__be,r_0029_0009__used,scope).
arc(r_0029_0009__used,r_0029_0002__eggs,arg1).
arc(r_0029_0009__used,z_0029_5013___star_,arg0).
arc(r_0029_0012__Draw,r_0029_0013__a_r_0029_0014__gallon,arg1).
arc(r_0029_0012__Draw,z_0029_5002,arg0).
arc(r_0029_0013__a_r_0029_0014__gallon,r_0029_0015__or_so,qual).
arc(r_0029_0013__a_r_0029_0014__gallon,r_0029_0017__the_r_0029_0018__wine,r_0029_0016__of).
arc(r_0029_0020__and,r_0029_0012__Draw,conj1).
arc(r_0029_0020__and,r_0029_0033__by,conj2).
arc(r_0029_0021__mix,r_0029_0022__one_r_0029_0023__quart,arg1).
arc(r_0029_0021__mix,r_0029_0027__the_r_0029_0028__whites,r_0029_0026__with__nim).
arc(r_0029_0021__mix,z_0029_5002,arg0).
arc(r_0029_0022__one_r_0029_0023__quart,r_0029_0017__the_r_0029_0018__wine,r_0029_0024__of).
arc(r_0029_0027__the_r_0029_0028__whites,r_0029_0030__four_r_0029_0031__eggs,r_0029_0029__of).
arc(r_0029_0033__by,r_0029_0021__mix,scope).
arc(r_0029_0033__by,r_0029_0034__stirring,restriction).
arc(r_0029_0034__stirring,r_0029_0017__the_r_0029_0018__wine,arg1).
arc(r_0029_0034__stirring,r_0029_0037__a_r_0029_0038__whisk,r_0029_0036__with__nim).
arc(r_0029_0034__stirring,z_0029_5002,arg0).
arc(r_0029_0042__when,r_0029_0044__mixed,restriction).
arc(r_0029_0042__when,r_0029_0056__and,scope).
arc(r_0029_0044__mixed,r_0029_0043__thoroughly,nim).
arc(r_0029_0044__mixed,z_0029_5002,arg1).
arc(r_0029_0044__mixed,z_0029_5033___star_,arg0).
arc(r_0029_0046__pour_r_0029_0048__back,r_0029_0017__the_r_0029_0018__wine,arg1).
arc(r_0029_0046__pour_r_0029_0048__back,r_0029_0040__afterwards,nim).
arc(r_0029_0046__pour_r_0029_0048__back,r_0029_0050__the_r_0029_0051__cask,r_0029_0049__into__nim).
arc(r_0029_0046__pour_r_0029_0048__back,r_0029_0053__the_r_0029_0054__bunghole,r_0029_0052__through__nim).
arc(r_0029_0046__pour_r_0029_0048__back,z_0029_5002,arg0).
arc(r_0029_0056__and,r_0029_0046__pour_r_0029_0048__back,conj1).
arc(r_0029_0056__and,r_0029_0057__stir_r_0029_0058__up,conj2).
arc(r_0029_0057__stir_r_0029_0058__up,r_0029_0040__afterwards,nim).
arc(r_0029_0057__stir_r_0029_0058__up,r_0029_0059__the_r_0029_0061__cask,arg1).
arc(r_0029_0057__stir_r_0029_0058__up,r_0029_0064__a_r_0029_0066__direction,r_0029_0063__in__nim).
arc(r_0029_0057__stir_r_0029_0058__up,r_0029_0069__a_r_0029_0071__split_r_0029_0072__stick,r_0029_0068__with__nim).
arc(r_0029_0057__stir_r_0029_0058__up,z_0029_5002,arg0).
arc(r_0029_0059__the_r_0029_0061__cask,r_0029_0060__whole,attrib).
arc(r_0029_0064__a_r_0029_0066__direction,r_0029_0065__rotatory,attrib).
arc(r_0029_0069__a_r_0029_0071__split_r_0029_0072__stick,r_0029_0070__clean,attrib).
arc(r_0029_0073__inserted,r_0029_0069__a_r_0029_0071__split_r_0029_0072__stick,inv_arg1).
arc(r_0029_0073__inserted,r_0029_0075__the_r_0029_0076__bunghole,r_0029_0074__through__nim).
arc(r_0029_0073__inserted,z_0029_5045___star_,arg0).
arc(z_0029_5003,r_0029_0042__when,conj2).
arc(z_0029_5003,z_0029_5004,conj1).
arc(z_0029_5004,r_0029_0001__Supposing,restriction).
arc(z_0029_5004,r_0029_0020__and,scope).
arc(z_0029_5009,r_0029_0002__eggs,arg0).
arc(z_0029_5009,r_0029_0004__the,prd).

fof(formula,axiom,
    ? [R_0029_0002__EGGS,Z_0029_5013___STAR_,R_0029_0008__BE_R_0029_0009__USED,Z_0029_5002,R_0029_0001__SUPPOSING,R_0029_0015__OR_SO,R_0029_0017__THE_R_0029_0018__WINE,R_0029_0013__A_R_0029_0014__GALLON,R_0029_0012__DRAW,R_0029_0022__ONE_R_0029_0023__QUART,R_0029_0030__FOUR_R_0029_0031__EGGS,R_0029_0027__THE_R_0029_0028__WHITES,R_0029_0021__MIX,R_0029_0037__A_R_0029_0038__WHISK,R_0029_0034__STIRRING,R_0029_0033__BY,R_0029_0020__AND,Z_0029_5004,Z_0029_5003,R_0029_0005__CHEAPEST,R_0029_0004__THE,Z_0029_5009] :
      ( r_0029_0002__eggs(R_0029_0002__EGGS)
      & r_0029_0005__cheapest(R_0029_0005__CHEAPEST)
      & r_0029_0015__or_so(R_0029_0015__OR_SO)
      & r_0029_0017__the_r_0029_0018__wine(R_0029_0017__THE_R_0029_0018__WINE)
      & r_0029_0030__four_r_0029_0031__eggs(R_0029_0030__FOUR_R_0029_0031__EGGS)
      & r_0029_0037__a_r_0029_0038__whisk(R_0029_0037__A_R_0029_0038__WHISK)
      & z_0029_5002(Z_0029_5002)
      & z_0029_5013___star_(Z_0029_5013___STAR_)
      & z_0029_5009(Z_0029_5009)
      & has_prd(Z_0029_5009,R_0029_0004__THE)
      & r_0029_0004__the(R_0029_0004__THE)
      & has_attrib(R_0029_0004__THE,R_0029_0005__CHEAPEST)
      & has_arg0(Z_0029_5009,R_0029_0002__EGGS)
      & z_0029_5003(Z_0029_5003)
      & has_conj1(Z_0029_5003,Z_0029_5004)
      & z_0029_5004(Z_0029_5004)
      & has_conj2(Z_0029_5004,R_0029_0020__AND)
      & r_0029_0020__and(R_0029_0020__AND)
      & has_conj2(R_0029_0020__AND,R_0029_0033__BY)
      & r_0029_0033__by(R_0029_0033__BY)
      & has_conj1(R_0029_0033__BY,R_0029_0034__STIRRING)
      & r_0029_0034__stirring(R_0029_0034__STIRRING)
      & has_arg0(R_0029_0034__STIRRING,Z_0029_5002)
      & has_r_0029_0036__with__nim(R_0029_0034__STIRRING,R_0029_0037__A_R_0029_0038__WHISK)
      & has_arg1(R_0029_0034__STIRRING,R_0029_0017__THE_R_0029_0018__WINE)
      & has_conj2(R_0029_0033__BY,R_0029_0021__MIX)
      & r_0029_0021__mix(R_0029_0021__MIX)
      & has_arg0(R_0029_0021__MIX,Z_0029_5002)
      & has_r_0029_0026__with__nim(R_0029_0021__MIX,R_0029_0027__THE_R_0029_0028__WHITES)
      & r_0029_0027__the_r_0029_0028__whites(R_0029_0027__THE_R_0029_0028__WHITES)
      & has_r_0029_0029__of(R_0029_0027__THE_R_0029_0028__WHITES,R_0029_0030__FOUR_R_0029_0031__EGGS)
      & has_arg1(R_0029_0021__MIX,R_0029_0022__ONE_R_0029_0023__QUART)
      & r_0029_0022__one_r_0029_0023__quart(R_0029_0022__ONE_R_0029_0023__QUART)
      & has_r_0029_0024__of(R_0029_0022__ONE_R_0029_0023__QUART,R_0029_0017__THE_R_0029_0018__WINE)
      & has_conj1(R_0029_0020__AND,R_0029_0012__DRAW)
      & r_0029_0012__Draw(R_0029_0012__DRAW)
      & has_arg0(R_0029_0012__DRAW,Z_0029_5002)
      & has_arg1(R_0029_0012__DRAW,R_0029_0013__A_R_0029_0014__GALLON)
      & r_0029_0013__a_r_0029_0014__gallon(R_0029_0013__A_R_0029_0014__GALLON)
      & has_r_0029_0016__of(R_0029_0013__A_R_0029_0014__GALLON,R_0029_0017__THE_R_0029_0018__WINE)
      & has_qual(R_0029_0013__A_R_0029_0014__GALLON,R_0029_0015__OR_SO)
      & has_conj1(Z_0029_5004,R_0029_0001__SUPPOSING)
      & r_0029_0001__Supposing(R_0029_0001__SUPPOSING)
      & has_arg0(R_0029_0001__SUPPOSING,Z_0029_5002)
      & has_arg1(R_0029_0001__SUPPOSING,R_0029_0008__BE_R_0029_0009__USED)
      & r_0029_0008__be_r_0029_0009__used(R_0029_0008__BE_R_0029_0009__USED)
      & has_arg0(R_0029_0008__BE_R_0029_0009__USED,Z_0029_5013___STAR_)
      & has_arg1(R_0029_0008__BE_R_0029_0009__USED,R_0029_0002__EGGS)
      & has_arg2(R_0029_0001__SUPPOSING,R_0029_0002__EGGS)
      & ! [R_0029_0044__MIXED,R_0029_0043__THOROUGHLY,Z_0029_5033___STAR_] :
          ( ( r_0029_0043__thoroughly(R_0029_0043__THOROUGHLY)
            & z_0029_5033___star_(Z_0029_5033___STAR_)
            & r_0029_0044__mixed(R_0029_0044__MIXED)
            & has_arg0(R_0029_0044__MIXED,Z_0029_5033___STAR_)
            & has_arg1(R_0029_0044__MIXED,Z_0029_5002)
            & has_nim(R_0029_0044__MIXED,R_0029_0043__THOROUGHLY) )
         => ? [R_0029_0040__AFTERWARDS,R_0029_0050__THE_R_0029_0051__CASK,R_0029_0053__THE_R_0029_0054__BUNGHOLE,R_0029_0046__POUR_R_0029_0048__BACK,R_0029_0060__WHOLE,R_0029_0059__THE_R_0029_0061__CASK,R_0029_0065__ROTATORY,R_0029_0064__A_R_0029_0066__DIRECTION,R_0029_0070__CLEAN,R_0029_0075__THE_R_0029_0076__BUNGHOLE,Z_0029_5045___STAR_,R_0029_0073__INSERTED,R_0029_0069__A_R_0029_0071__SPLIT_R_0029_0072__STICK,R_0029_0057__STIR_R_0029_0058__UP,R_0029_0056__AND] :
              ( r_0029_0040__afterwards(R_0029_0040__AFTERWARDS)
              & r_0029_0050__the_r_0029_0051__cask(R_0029_0050__THE_R_0029_0051__CASK)
              & r_0029_0053__the_r_0029_0054__bunghole(R_0029_0053__THE_R_0029_0054__BUNGHOLE)
              & r_0029_0060__whole(R_0029_0060__WHOLE)
              & r_0029_0065__rotatory(R_0029_0065__ROTATORY)
              & r_0029_0070__clean(R_0029_0070__CLEAN)
              & r_0029_0075__the_r_0029_0076__bunghole(R_0029_0075__THE_R_0029_0076__BUNGHOLE)
              & z_0029_5045___star_(Z_0029_5045___STAR_)
              & r_0029_0056__and(R_0029_0056__AND)
              & has_conj2(R_0029_0056__AND,R_0029_0057__STIR_R_0029_0058__UP)
              & r_0029_0057__stir_r_0029_0058__up(R_0029_0057__STIR_R_0029_0058__UP)
              & has_arg0(R_0029_0057__STIR_R_0029_0058__UP,Z_0029_5002)
              & has_r_0029_0068__with__nim(R_0029_0057__STIR_R_0029_0058__UP,R_0029_0069__A_R_0029_0071__SPLIT_R_0029_0072__STICK)
              & r_0029_0069__a_r_0029_0071__split_r_0029_0072__stick(R_0029_0069__A_R_0029_0071__SPLIT_R_0029_0072__STICK)
              & has_inv_arg1(R_0029_0069__A_R_0029_0071__SPLIT_R_0029_0072__STICK,R_0029_0073__INSERTED)
              & r_0029_0073__inserted(R_0029_0073__INSERTED)
              & has_arg0(R_0029_0073__INSERTED,Z_0029_5045___STAR_)
              & has_r_0029_0074__through__nim(R_0029_0073__INSERTED,R_0029_0075__THE_R_0029_0076__BUNGHOLE)
              & has_attrib(R_0029_0069__A_R_0029_0071__SPLIT_R_0029_0072__STICK,R_0029_0070__CLEAN)
              & has_r_0029_0063__in__nim(R_0029_0057__STIR_R_0029_0058__UP,R_0029_0064__A_R_0029_0066__DIRECTION)
              & r_0029_0064__a_r_0029_0066__direction(R_0029_0064__A_R_0029_0066__DIRECTION)
              & has_attrib(R_0029_0064__A_R_0029_0066__DIRECTION,R_0029_0065__ROTATORY)
              & has_arg1(R_0029_0057__STIR_R_0029_0058__UP,R_0029_0059__THE_R_0029_0061__CASK)
              & r_0029_0059__the_r_0029_0061__cask(R_0029_0059__THE_R_0029_0061__CASK)
              & has_attrib(R_0029_0059__THE_R_0029_0061__CASK,R_0029_0060__WHOLE)
              & has_nim(R_0029_0057__STIR_R_0029_0058__UP,R_0029_0040__AFTERWARDS)
              & has_conj1(R_0029_0056__AND,R_0029_0046__POUR_R_0029_0048__BACK)
              & r_0029_0046__pour_r_0029_0048__back(R_0029_0046__POUR_R_0029_0048__BACK)
              & has_arg0(R_0029_0046__POUR_R_0029_0048__BACK,Z_0029_5002)
              & has_r_0029_0052__through__nim(R_0029_0046__POUR_R_0029_0048__BACK,R_0029_0053__THE_R_0029_0054__BUNGHOLE)
              & has_r_0029_0049__into__nim(R_0029_0046__POUR_R_0029_0048__BACK,R_0029_0050__THE_R_0029_0051__CASK)
              & has_nim(R_0029_0046__POUR_R_0029_0048__BACK,R_0029_0040__AFTERWARDS)
              & has_arg1(R_0029_0046__POUR_R_0029_0048__BACK,R_0029_0017__THE_R_0029_0018__WINE) ) ) ) ).