30_a_beeton_1861
Having stirred it sufficiently, pour in the remainder of the wine drawn off, until the cask is full; then stir again, skimming off the bubbles that rise to the surface.

n30_a_beeton_1861 n30_a_beeton_1861__1_1_1_1_1_1_1 Having n30_a_beeton_1861__1_1_1_1_1_2_1_1 stirred n30_a_beeton_1861__1_1_1_1_1_2_2_1_1 it n30_a_beeton_1861__1_1_1_1_1_2_3_1_1 sufficiently n30_a_beeton_1861__1_1_1_2_1 , n30_a_beeton_1861__1_1_1_3_1 pour n30_a_beeton_1861__1_1_1_4_1_1 in n30_a_beeton_1861__1_1_1_4_2_1_1 the n30_a_beeton_1861__1_1_1_4_2_2_1 remainder n30_a_beeton_1861__1_1_1_4_2_3_1_1 of n30_a_beeton_1861__1_1_1_4_2_3_2_1_1 the n30_a_beeton_1861__1_1_1_4_2_3_2_2_1 wine n30_a_beeton_1861__1_1_1_4_2_3_2_3_1_1 * n30_a_beeton_1861__1_1_1_4_2_3_2_3_2_1 drawn n30_a_beeton_1861__1_1_1_4_2_3_2_3_3_1 off n30_a_beeton_1861__1_1_1_5_1 , n30_a_beeton_1861__1_1_1_6_1_1 until n30_a_beeton_1861__1_1_1_6_2_1_1_1 the n30_a_beeton_1861__1_1_1_6_2_1_2_1 cask n30_a_beeton_1861__1_1_1_6_2_2_1 is n30_a_beeton_1861__1_1_1_6_2_3_1_1 full n30_a_beeton_1861__1_1_2_1 ; n30_a_beeton_1861__1_1_3_1_1_1_1 then n30_a_beeton_1861__1_1_3_1_2_1 stir n30_a_beeton_1861__1_1_3_1_3_1_1 again n30_a_beeton_1861__1_1_3_1_4_1 , n30_a_beeton_1861__1_1_3_1_5_1_1_1 skimming n30_a_beeton_1861__1_1_3_1_5_1_2_1 off n30_a_beeton_1861__1_1_3_1_5_1_3_1_1 the n30_a_beeton_1861__1_1_3_1_5_1_3_2_1 bubbles n30_a_beeton_1861__1_1_3_1_5_1_3_3_1_1 that n30_a_beeton_1861__1_1_3_1_5_1_3_3_2_1 *T* n30_a_beeton_1861__1_1_3_1_5_1_3_3_3_1 rise n30_a_beeton_1861__1_1_3_1_5_1_3_3_4_1_1 to n30_a_beeton_1861__1_1_3_1_5_1_3_3_4_2_1_1 the n30_a_beeton_1861__1_1_3_1_5_1_3_3_4_2_2_1 surface n30_a_beeton_1861__1_2_1 . n30_a_beeton_1861__1 IP-IMP n30_a_beeton_1861__1_1 ILYR n30_a_beeton_1861__1->n30_a_beeton_1861__1_1 n30_a_beeton_1861__1_2 PUNC n30_a_beeton_1861__1->n30_a_beeton_1861__1_2 n30_a_beeton_1861__1_1_1 ILYR n30_a_beeton_1861__1_1->n30_a_beeton_1861__1_1_1 n30_a_beeton_1861__1_1_2 PUNC n30_a_beeton_1861__1_1->n30_a_beeton_1861__1_1_2 n30_a_beeton_1861__1_1_3 CONJP n30_a_beeton_1861__1_1->n30_a_beeton_1861__1_1_3 n30_a_beeton_1861__1_1_1_1 PP-SCON n30_a_beeton_1861__1_1_1->n30_a_beeton_1861__1_1_1_1 n30_a_beeton_1861__1_1_1_2 PUNC n30_a_beeton_1861__1_1_1->n30_a_beeton_1861__1_1_1_2 n30_a_beeton_1861__1_1_1_3 VB;__ n30_a_beeton_1861__1_1_1->n30_a_beeton_1861__1_1_1_3 n30_a_beeton_1861__1_1_1_4 PP-CLR n30_a_beeton_1861__1_1_1->n30_a_beeton_1861__1_1_1_4 n30_a_beeton_1861__1_1_1_5 PUNC n30_a_beeton_1861__1_1_1->n30_a_beeton_1861__1_1_1_5 n30_a_beeton_1861__1_1_1_6 PP-SCON n30_a_beeton_1861__1_1_1->n30_a_beeton_1861__1_1_1_6 n30_a_beeton_1861__1_1_1_1_1 IP-PPL3 n30_a_beeton_1861__1_1_1_1->n30_a_beeton_1861__1_1_1_1_1 n30_a_beeton_1861__1_1_1_1_1_1 HAG;_cat_Ve_ n30_a_beeton_1861__1_1_1_1_1->n30_a_beeton_1861__1_1_1_1_1_1 n30_a_beeton_1861__1_1_1_1_1_2 IP-PPL-CAT n30_a_beeton_1861__1_1_1_1_1->n30_a_beeton_1861__1_1_1_1_1_2 n30_a_beeton_1861__1_1_1_1_1_1->n30_a_beeton_1861__1_1_1_1_1_1_1 n30_a_beeton_1861__1_1_1_1_1_2_1 VVN;_Tn_ n30_a_beeton_1861__1_1_1_1_1_2->n30_a_beeton_1861__1_1_1_1_1_2_1 n30_a_beeton_1861__1_1_1_1_1_2_2 NP-OB1 n30_a_beeton_1861__1_1_1_1_1_2->n30_a_beeton_1861__1_1_1_1_1_2_2 n30_a_beeton_1861__1_1_1_1_1_2_3 ADVP-NIM n30_a_beeton_1861__1_1_1_1_1_2->n30_a_beeton_1861__1_1_1_1_1_2_3 n30_a_beeton_1861__1_1_1_1_1_2_1->n30_a_beeton_1861__1_1_1_1_1_2_1_1 n30_a_beeton_1861__1_1_1_1_1_2_2_1 PRO n30_a_beeton_1861__1_1_1_1_1_2_2->n30_a_beeton_1861__1_1_1_1_1_2_2_1 n30_a_beeton_1861__1_1_1_1_1_2_2_1->n30_a_beeton_1861__1_1_1_1_1_2_2_1_1 n30_a_beeton_1861__1_1_1_1_1_2_3_1 ADV n30_a_beeton_1861__1_1_1_1_1_2_3->n30_a_beeton_1861__1_1_1_1_1_2_3_1 n30_a_beeton_1861__1_1_1_1_1_2_3_1->n30_a_beeton_1861__1_1_1_1_1_2_3_1_1 n30_a_beeton_1861__1_1_1_2->n30_a_beeton_1861__1_1_1_2_1 n30_a_beeton_1861__1_1_1_3->n30_a_beeton_1861__1_1_1_3_1 n30_a_beeton_1861__1_1_1_4_1 P-ROLE n30_a_beeton_1861__1_1_1_4->n30_a_beeton_1861__1_1_1_4_1 n30_a_beeton_1861__1_1_1_4_2 NP n30_a_beeton_1861__1_1_1_4->n30_a_beeton_1861__1_1_1_4_2 n30_a_beeton_1861__1_1_1_4_1->n30_a_beeton_1861__1_1_1_4_1_1 n30_a_beeton_1861__1_1_1_4_2_1 D n30_a_beeton_1861__1_1_1_4_2->n30_a_beeton_1861__1_1_1_4_2_1 n30_a_beeton_1861__1_1_1_4_2_2 N n30_a_beeton_1861__1_1_1_4_2->n30_a_beeton_1861__1_1_1_4_2_2 n30_a_beeton_1861__1_1_1_4_2_3 PP n30_a_beeton_1861__1_1_1_4_2->n30_a_beeton_1861__1_1_1_4_2_3 n30_a_beeton_1861__1_1_1_4_2_1->n30_a_beeton_1861__1_1_1_4_2_1_1 n30_a_beeton_1861__1_1_1_4_2_2->n30_a_beeton_1861__1_1_1_4_2_2_1 n30_a_beeton_1861__1_1_1_4_2_3_1 P-ROLE n30_a_beeton_1861__1_1_1_4_2_3->n30_a_beeton_1861__1_1_1_4_2_3_1 n30_a_beeton_1861__1_1_1_4_2_3_2 NP n30_a_beeton_1861__1_1_1_4_2_3->n30_a_beeton_1861__1_1_1_4_2_3_2 n30_a_beeton_1861__1_1_1_4_2_3_1->n30_a_beeton_1861__1_1_1_4_2_3_1_1 n30_a_beeton_1861__1_1_1_4_2_3_2_1 D n30_a_beeton_1861__1_1_1_4_2_3_2->n30_a_beeton_1861__1_1_1_4_2_3_2_1 n30_a_beeton_1861__1_1_1_4_2_3_2_2 N n30_a_beeton_1861__1_1_1_4_2_3_2->n30_a_beeton_1861__1_1_1_4_2_3_2_2 n30_a_beeton_1861__1_1_1_4_2_3_2_3 IP-PPL n30_a_beeton_1861__1_1_1_4_2_3_2->n30_a_beeton_1861__1_1_1_4_2_3_2_3 n30_a_beeton_1861__1_1_1_4_2_3_2_1->n30_a_beeton_1861__1_1_1_4_2_3_2_1_1 n30_a_beeton_1861__1_1_1_4_2_3_2_2->n30_a_beeton_1861__1_1_1_4_2_3_2_2_1 n30_a_beeton_1861__1_1_1_4_2_3_2_3_1 NP-LGS n30_a_beeton_1861__1_1_1_4_2_3_2_3->n30_a_beeton_1861__1_1_1_4_2_3_2_3_1 n30_a_beeton_1861__1_1_1_4_2_3_2_3_2 VVN;__ n30_a_beeton_1861__1_1_1_4_2_3_2_3->n30_a_beeton_1861__1_1_1_4_2_3_2_3_2 n30_a_beeton_1861__1_1_1_4_2_3_2_3_3 RP n30_a_beeton_1861__1_1_1_4_2_3_2_3->n30_a_beeton_1861__1_1_1_4_2_3_2_3_3 n30_a_beeton_1861__1_1_1_4_2_3_2_3_1->n30_a_beeton_1861__1_1_1_4_2_3_2_3_1_1 n30_a_beeton_1861__1_1_1_4_2_3_2_3_2->n30_a_beeton_1861__1_1_1_4_2_3_2_3_2_1 n30_a_beeton_1861__1_1_1_4_2_3_2_3_3->n30_a_beeton_1861__1_1_1_4_2_3_2_3_3_1 n30_a_beeton_1861__1_1_1_5->n30_a_beeton_1861__1_1_1_5_1 n30_a_beeton_1861__1_1_1_6_1 P-CONN n30_a_beeton_1861__1_1_1_6->n30_a_beeton_1861__1_1_1_6_1 n30_a_beeton_1861__1_1_1_6_2 IP-ADV n30_a_beeton_1861__1_1_1_6->n30_a_beeton_1861__1_1_1_6_2 n30_a_beeton_1861__1_1_1_6_1->n30_a_beeton_1861__1_1_1_6_1_1 n30_a_beeton_1861__1_1_1_6_2_1 NP-SBJ n30_a_beeton_1861__1_1_1_6_2->n30_a_beeton_1861__1_1_1_6_2_1 n30_a_beeton_1861__1_1_1_6_2_2 BEP;_La_ n30_a_beeton_1861__1_1_1_6_2->n30_a_beeton_1861__1_1_1_6_2_2 n30_a_beeton_1861__1_1_1_6_2_3 ADJP-PRD n30_a_beeton_1861__1_1_1_6_2->n30_a_beeton_1861__1_1_1_6_2_3 n30_a_beeton_1861__1_1_1_6_2_1_1 D n30_a_beeton_1861__1_1_1_6_2_1->n30_a_beeton_1861__1_1_1_6_2_1_1 n30_a_beeton_1861__1_1_1_6_2_1_2 N n30_a_beeton_1861__1_1_1_6_2_1->n30_a_beeton_1861__1_1_1_6_2_1_2 n30_a_beeton_1861__1_1_1_6_2_1_1->n30_a_beeton_1861__1_1_1_6_2_1_1_1 n30_a_beeton_1861__1_1_1_6_2_1_2->n30_a_beeton_1861__1_1_1_6_2_1_2_1 n30_a_beeton_1861__1_1_1_6_2_2->n30_a_beeton_1861__1_1_1_6_2_2_1 n30_a_beeton_1861__1_1_1_6_2_3_1 ADJ n30_a_beeton_1861__1_1_1_6_2_3->n30_a_beeton_1861__1_1_1_6_2_3_1 n30_a_beeton_1861__1_1_1_6_2_3_1->n30_a_beeton_1861__1_1_1_6_2_3_1_1 n30_a_beeton_1861__1_1_2->n30_a_beeton_1861__1_1_2_1 n30_a_beeton_1861__1_1_3_1 ILYR n30_a_beeton_1861__1_1_3->n30_a_beeton_1861__1_1_3_1 n30_a_beeton_1861__1_1_3_1_1 ADVP-NIM n30_a_beeton_1861__1_1_3_1->n30_a_beeton_1861__1_1_3_1_1 n30_a_beeton_1861__1_1_3_1_2 VB;__ n30_a_beeton_1861__1_1_3_1->n30_a_beeton_1861__1_1_3_1_2 n30_a_beeton_1861__1_1_3_1_3 ADVP-NIM n30_a_beeton_1861__1_1_3_1->n30_a_beeton_1861__1_1_3_1_3 n30_a_beeton_1861__1_1_3_1_4 PUNC n30_a_beeton_1861__1_1_3_1->n30_a_beeton_1861__1_1_3_1_4 n30_a_beeton_1861__1_1_3_1_5 PP-SCON n30_a_beeton_1861__1_1_3_1->n30_a_beeton_1861__1_1_3_1_5 n30_a_beeton_1861__1_1_3_1_1_1 ADV n30_a_beeton_1861__1_1_3_1_1->n30_a_beeton_1861__1_1_3_1_1_1 n30_a_beeton_1861__1_1_3_1_1_1->n30_a_beeton_1861__1_1_3_1_1_1_1 n30_a_beeton_1861__1_1_3_1_2->n30_a_beeton_1861__1_1_3_1_2_1 n30_a_beeton_1861__1_1_3_1_3_1 ADV n30_a_beeton_1861__1_1_3_1_3->n30_a_beeton_1861__1_1_3_1_3_1 n30_a_beeton_1861__1_1_3_1_3_1->n30_a_beeton_1861__1_1_3_1_3_1_1 n30_a_beeton_1861__1_1_3_1_4->n30_a_beeton_1861__1_1_3_1_4_1 n30_a_beeton_1861__1_1_3_1_5_1 IP-PPL n30_a_beeton_1861__1_1_3_1_5->n30_a_beeton_1861__1_1_3_1_5_1 n30_a_beeton_1861__1_1_3_1_5_1_1 VAG;__ n30_a_beeton_1861__1_1_3_1_5_1->n30_a_beeton_1861__1_1_3_1_5_1_1 n30_a_beeton_1861__1_1_3_1_5_1_2 RP n30_a_beeton_1861__1_1_3_1_5_1->n30_a_beeton_1861__1_1_3_1_5_1_2 n30_a_beeton_1861__1_1_3_1_5_1_3 NP-OB1 n30_a_beeton_1861__1_1_3_1_5_1->n30_a_beeton_1861__1_1_3_1_5_1_3 n30_a_beeton_1861__1_1_3_1_5_1_1->n30_a_beeton_1861__1_1_3_1_5_1_1_1 n30_a_beeton_1861__1_1_3_1_5_1_2->n30_a_beeton_1861__1_1_3_1_5_1_2_1 n30_a_beeton_1861__1_1_3_1_5_1_3_1 D n30_a_beeton_1861__1_1_3_1_5_1_3->n30_a_beeton_1861__1_1_3_1_5_1_3_1 n30_a_beeton_1861__1_1_3_1_5_1_3_2 NS n30_a_beeton_1861__1_1_3_1_5_1_3->n30_a_beeton_1861__1_1_3_1_5_1_3_2 n30_a_beeton_1861__1_1_3_1_5_1_3_3 IP-REL n30_a_beeton_1861__1_1_3_1_5_1_3->n30_a_beeton_1861__1_1_3_1_5_1_3_3 n30_a_beeton_1861__1_1_3_1_5_1_3_1->n30_a_beeton_1861__1_1_3_1_5_1_3_1_1 n30_a_beeton_1861__1_1_3_1_5_1_3_2->n30_a_beeton_1861__1_1_3_1_5_1_3_2_1 n30_a_beeton_1861__1_1_3_1_5_1_3_3_1 C n30_a_beeton_1861__1_1_3_1_5_1_3_3->n30_a_beeton_1861__1_1_3_1_5_1_3_3_1 n30_a_beeton_1861__1_1_3_1_5_1_3_3_2 NP-SBJ n30_a_beeton_1861__1_1_3_1_5_1_3_3->n30_a_beeton_1861__1_1_3_1_5_1_3_3_2 n30_a_beeton_1861__1_1_3_1_5_1_3_3_3 VBP;__ n30_a_beeton_1861__1_1_3_1_5_1_3_3->n30_a_beeton_1861__1_1_3_1_5_1_3_3_3 n30_a_beeton_1861__1_1_3_1_5_1_3_3_4 PP-NIM n30_a_beeton_1861__1_1_3_1_5_1_3_3->n30_a_beeton_1861__1_1_3_1_5_1_3_3_4 n30_a_beeton_1861__1_1_3_1_5_1_3_3_1->n30_a_beeton_1861__1_1_3_1_5_1_3_3_1_1 n30_a_beeton_1861__1_1_3_1_5_1_3_3_2->n30_a_beeton_1861__1_1_3_1_5_1_3_3_2_1 n30_a_beeton_1861__1_1_3_1_5_1_3_3_3->n30_a_beeton_1861__1_1_3_1_5_1_3_3_3_1 n30_a_beeton_1861__1_1_3_1_5_1_3_3_4_1 P-ROLE n30_a_beeton_1861__1_1_3_1_5_1_3_3_4->n30_a_beeton_1861__1_1_3_1_5_1_3_3_4_1 n30_a_beeton_1861__1_1_3_1_5_1_3_3_4_2 NP n30_a_beeton_1861__1_1_3_1_5_1_3_3_4->n30_a_beeton_1861__1_1_3_1_5_1_3_3_4_2 n30_a_beeton_1861__1_1_3_1_5_1_3_3_4_1->n30_a_beeton_1861__1_1_3_1_5_1_3_3_4_1_1 n30_a_beeton_1861__1_1_3_1_5_1_3_3_4_2_1 D n30_a_beeton_1861__1_1_3_1_5_1_3_3_4_2->n30_a_beeton_1861__1_1_3_1_5_1_3_3_4_2_1 n30_a_beeton_1861__1_1_3_1_5_1_3_3_4_2_2 N n30_a_beeton_1861__1_1_3_1_5_1_3_3_4_2->n30_a_beeton_1861__1_1_3_1_5_1_3_3_4_2_2 n30_a_beeton_1861__1_1_3_1_5_1_3_3_4_2_1->n30_a_beeton_1861__1_1_3_1_5_1_3_3_4_2_1_1 n30_a_beeton_1861__1_1_3_1_5_1_3_3_4_2_2->n30_a_beeton_1861__1_1_3_1_5_1_3_3_4_2_2_1 n30_a_beeton_1861__1_2->n30_a_beeton_1861__1_2_1
( (IP-IMP (ILYR (ILYR (PP-SCON (IP-PPL3 (HAG;_cat_Ve_ Having;{have})
                                        (IP-PPL-CAT (VVN;_Tn_ stirred;{stir})
                                                    (NP-OB1;{WINE} (PRO it;{it}))
                                                    (ADVP-NIM (ADV sufficiently;{sufficiently})))))
                      (PUNC ,)
                      (VB;__ pour;{pour})
                      (PP-CLR (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (N remainder;{remainder})
                                  (PP (P-ROLE of;{of})
                                      (NP (D the;{the})
                                          (N wine;{wine})
                                          (IP-PPL (NP-LGS *)
                                                  (VVN;__ drawn;{draw})
                                                  (RP off;{off}))))))
                      (PUNC ,)
                      (PP-SCON (P-CONN until;{until})
                               (IP-ADV (NP-SBJ (D the;{the})
                                               (N cask;{cask}))
                                       (BEP;_La_ is;{be})
                                       (ADJP-PRD (ADJ full;{full})))))
                (PUNC ;)
                (CONJP (ILYR (ADVP-NIM (ADV then;{then}))
                             (VB;__ stir;{stir})
                             (ADVP-NIM (ADV again;{again}))
                             (PUNC ,)
                             (PP-SCON (IP-PPL (VAG;__ skimming;{skim})
                                              (RP off;{off})
                                              (NP-OB1 (D the;{the})
                                                      (NS bubbles;{bubble})
                                                      (IP-REL (C that;{that})
                                                              (NP-SBJ *T*)
                                                              (VBP;__ rise;{rise})
                                                              (PP-NIM (P-ROLE to;{to})
                                                                      (NP (D the;{the})
                                                                          (N surface;{surface}))))))))))
          (PUNC .))
  (ID 30_a_beeton_1861;2166-8))



%3 z_0030_5021 r_0030_0026__skimming_r_0030_0027__off skimming off z_0030_5021->r_0030_0026__skimming_r_0030_0027__off [restriction] r_0030_0023__stir stir z_0030_5021->r_0030_0023__stir [scope] r_0030_0028__the_r_0030_0029__bubbles the bubbles r_0030_0026__skimming_r_0030_0027__off->r_0030_0028__the_r_0030_0029__bubbles [arg1] z_0030_5002 r_0030_0026__skimming_r_0030_0027__off->z_0030_5002 [arg0] r_0030_0023__stir->z_0030_5002 [arg0] r_0030_0024__again again r_0030_0023__stir->r_0030_0024__again [nim] r_0030_0022__then then r_0030_0023__stir->r_0030_0022__then [nim] z_0030_5012 r_0030_0006__pour pour z_0030_5012->r_0030_0006__pour [scope] r_0030_0001__Having Having z_0030_5012->r_0030_0001__Having [restriction] r_0030_0006__pour->z_0030_5002 [arg0] r_0030_0008__the_r_0030_0009__remainder the remainder r_0030_0006__pour->r_0030_0008__the_r_0030_0009__remainder in [clr] r_0030_0002__stirred stirred r_0030_0001__Having->r_0030_0002__stirred [scope] z_0030_5003 z_0030_5003->z_0030_5021 [conj2] r_0030_0016__until until z_0030_5003->r_0030_0016__until [conj1] r_0030_0016__until->z_0030_5012 [scope] r_0030_0019__is is r_0030_0016__until->r_0030_0019__is [restriction] r_0030_0031__rise rise r_0030_0033__the_r_0030_0034__surface the surface r_0030_0031__rise->r_0030_0033__the_r_0030_0034__surface to [nim] r_0030_0031__rise->r_0030_0028__the_r_0030_0029__bubbles [inv_arg0] r_0030_0020__full full r_0030_0019__is->r_0030_0020__full [prd] r_0030_0017__the_r_0030_0018__cask the cask r_0030_0019__is->r_0030_0017__the_r_0030_0018__cask [arg0] r_0030_0013__drawn_r_0030_0014__off drawn off z_0030_5006___star_ * r_0030_0013__drawn_r_0030_0014__off->z_0030_5006___star_ [arg0] r_0030_0011__the_r_0030_0012__wine the wine r_0030_0013__drawn_r_0030_0014__off->r_0030_0011__the_r_0030_0012__wine [inv_arg1] r_0030_0008__the_r_0030_0009__remainder->r_0030_0011__the_r_0030_0012__wine of z_0030_5015 r_0030_0002__stirred->z_0030_5015 [arg0] r_0030_0004__sufficiently sufficiently r_0030_0002__stirred->r_0030_0004__sufficiently [nim] r_0030_0003__it it r_0030_0002__stirred->r_0030_0003__it [arg1]
arc(r_0030_0001__Having,r_0030_0002__stirred,scope).
arc(r_0030_0002__stirred,r_0030_0003__it,arg1).
arc(r_0030_0002__stirred,r_0030_0004__sufficiently,nim).
arc(r_0030_0002__stirred,z_0030_5015,arg0).
arc(r_0030_0006__pour,r_0030_0008__the_r_0030_0009__remainder,r_0030_0007__in__clr).
arc(r_0030_0006__pour,z_0030_5002,arg0).
arc(r_0030_0008__the_r_0030_0009__remainder,r_0030_0011__the_r_0030_0012__wine,r_0030_0010__of).
arc(r_0030_0013__drawn_r_0030_0014__off,r_0030_0011__the_r_0030_0012__wine,inv_arg1).
arc(r_0030_0013__drawn_r_0030_0014__off,z_0030_5006___star_,arg0).
arc(r_0030_0016__until,r_0030_0019__is,restriction).
arc(r_0030_0016__until,z_0030_5012,scope).
arc(r_0030_0019__is,r_0030_0017__the_r_0030_0018__cask,arg0).
arc(r_0030_0019__is,r_0030_0020__full,prd).
arc(r_0030_0023__stir,r_0030_0022__then,nim).
arc(r_0030_0023__stir,r_0030_0024__again,nim).
arc(r_0030_0023__stir,z_0030_5002,arg0).
arc(r_0030_0026__skimming_r_0030_0027__off,r_0030_0028__the_r_0030_0029__bubbles,arg1).
arc(r_0030_0026__skimming_r_0030_0027__off,z_0030_5002,arg0).
arc(r_0030_0031__rise,r_0030_0028__the_r_0030_0029__bubbles,inv_arg0).
arc(r_0030_0031__rise,r_0030_0033__the_r_0030_0034__surface,r_0030_0032__to__nim).
arc(z_0030_5003,r_0030_0016__until,conj1).
arc(z_0030_5003,z_0030_5021,conj2).
arc(z_0030_5012,r_0030_0001__Having,restriction).
arc(z_0030_5012,r_0030_0006__pour,scope).
arc(z_0030_5021,r_0030_0023__stir,scope).
arc(z_0030_5021,r_0030_0026__skimming_r_0030_0027__off,restriction).



%3 r_0030_0001__Having_r_0030_0002__stirred Having stirred r_0030_0003__it it r_0030_0001__Having_r_0030_0002__stirred->r_0030_0003__it [arg1] r_0030_0004__sufficiently sufficiently r_0030_0001__Having_r_0030_0002__stirred->r_0030_0004__sufficiently [nim] z_0030_5015 r_0030_0001__Having_r_0030_0002__stirred->z_0030_5015 [arg0] r_0030_0006__pour pour r_0030_0008__the_r_0030_0009__remainder the remainder r_0030_0006__pour->r_0030_0008__the_r_0030_0009__remainder in [clr] z_0030_5002 r_0030_0006__pour->z_0030_5002 [arg0] r_0030_0011__the_r_0030_0012__wine the wine r_0030_0008__the_r_0030_0009__remainder->r_0030_0011__the_r_0030_0012__wine of r_0030_0013__drawn_r_0030_0014__off drawn off r_0030_0011__the_r_0030_0012__wine->r_0030_0013__drawn_r_0030_0014__off [inv_arg1] z_0030_5006___star_ * r_0030_0013__drawn_r_0030_0014__off->z_0030_5006___star_ [arg0] r_0030_0016__until until r_0030_0019__is is r_0030_0016__until->r_0030_0019__is [conj1] z_0030_5012 r_0030_0016__until->z_0030_5012 [conj2] r_0030_0017__the_r_0030_0018__cask the cask r_0030_0019__is->r_0030_0017__the_r_0030_0018__cask [arg0] r_0030_0020__full full r_0030_0019__is->r_0030_0020__full [prd] z_0030_5012->r_0030_0001__Having_r_0030_0002__stirred [conj1] z_0030_5012->r_0030_0006__pour [conj2] r_0030_0023__stir stir r_0030_0023__stir->z_0030_5002 [arg0] r_0030_0022__then then r_0030_0023__stir->r_0030_0022__then [nim] r_0030_0024__again again r_0030_0023__stir->r_0030_0024__again [nim] r_0030_0026__skimming_r_0030_0027__off skimming off r_0030_0026__skimming_r_0030_0027__off->z_0030_5002 [arg0] r_0030_0028__the_r_0030_0029__bubbles the bubbles r_0030_0026__skimming_r_0030_0027__off->r_0030_0028__the_r_0030_0029__bubbles [arg1] r_0030_0031__rise rise r_0030_0028__the_r_0030_0029__bubbles->r_0030_0031__rise [inv_arg0] r_0030_0033__the_r_0030_0034__surface the surface r_0030_0031__rise->r_0030_0033__the_r_0030_0034__surface to [nim] z_0030_5003 z_0030_5003->r_0030_0016__until [conj1] z_0030_5021 z_0030_5003->z_0030_5021 [conj2] z_0030_5021->r_0030_0023__stir [conj2] z_0030_5021->r_0030_0026__skimming_r_0030_0027__off [conj1]
fof(formula,axiom,
    ? [R_0030_0017__THE_R_0030_0018__CASK,R_0030_0020__FULL,R_0030_0019__IS,R_0030_0003__IT,R_0030_0004__SUFFICIENTLY,Z_0030_5015,R_0030_0001__HAVING_R_0030_0002__STIRRED,Z_0030_5006___STAR_,R_0030_0013__DRAWN_R_0030_0014__OFF,R_0030_0011__THE_R_0030_0012__WINE,R_0030_0008__THE_R_0030_0009__REMAINDER,Z_0030_5002,R_0030_0006__POUR,Z_0030_5012,R_0030_0016__UNTIL,R_0030_0022__THEN,R_0030_0024__AGAIN,R_0030_0023__STIR,R_0030_0033__THE_R_0030_0034__SURFACE,R_0030_0031__RISE,R_0030_0028__THE_R_0030_0029__BUBBLES,R_0030_0026__SKIMMING_R_0030_0027__OFF,Z_0030_5021,Z_0030_5003] :
      ( r_0030_0003__it(R_0030_0003__IT)
      & r_0030_0004__sufficiently(R_0030_0004__SUFFICIENTLY)
      & r_0030_0017__the_r_0030_0018__cask(R_0030_0017__THE_R_0030_0018__CASK)
      & r_0030_0020__full(R_0030_0020__FULL)
      & r_0030_0022__then(R_0030_0022__THEN)
      & r_0030_0024__again(R_0030_0024__AGAIN)
      & r_0030_0033__the_r_0030_0034__surface(R_0030_0033__THE_R_0030_0034__SURFACE)
      & z_0030_5002(Z_0030_5002)
      & z_0030_5006___star_(Z_0030_5006___STAR_)
      & z_0030_5015(Z_0030_5015)
      & z_0030_5003(Z_0030_5003)
      & has_conj2(Z_0030_5003,Z_0030_5021)
      & z_0030_5021(Z_0030_5021)
      & has_conj1(Z_0030_5021,R_0030_0026__SKIMMING_R_0030_0027__OFF)
      & r_0030_0026__skimming_r_0030_0027__off(R_0030_0026__SKIMMING_R_0030_0027__OFF)
      & has_arg0(R_0030_0026__SKIMMING_R_0030_0027__OFF,Z_0030_5002)
      & has_arg1(R_0030_0026__SKIMMING_R_0030_0027__OFF,R_0030_0028__THE_R_0030_0029__BUBBLES)
      & r_0030_0028__the_r_0030_0029__bubbles(R_0030_0028__THE_R_0030_0029__BUBBLES)
      & has_inv_arg0(R_0030_0028__THE_R_0030_0029__BUBBLES,R_0030_0031__RISE)
      & r_0030_0031__rise(R_0030_0031__RISE)
      & has_r_0030_0032__to__nim(R_0030_0031__RISE,R_0030_0033__THE_R_0030_0034__SURFACE)
      & has_conj2(Z_0030_5021,R_0030_0023__STIR)
      & r_0030_0023__stir(R_0030_0023__STIR)
      & has_arg0(R_0030_0023__STIR,Z_0030_5002)
      & has_nim(R_0030_0023__STIR,R_0030_0024__AGAIN)
      & has_nim(R_0030_0023__STIR,R_0030_0022__THEN)
      & has_conj1(Z_0030_5003,R_0030_0016__UNTIL)
      & r_0030_0016__until(R_0030_0016__UNTIL)
      & has_conj2(R_0030_0016__UNTIL,Z_0030_5012)
      & z_0030_5012(Z_0030_5012)
      & has_conj2(Z_0030_5012,R_0030_0006__POUR)
      & r_0030_0006__pour(R_0030_0006__POUR)
      & has_arg0(R_0030_0006__POUR,Z_0030_5002)
      & has_r_0030_0007__in__clr(R_0030_0006__POUR,R_0030_0008__THE_R_0030_0009__REMAINDER)
      & r_0030_0008__the_r_0030_0009__remainder(R_0030_0008__THE_R_0030_0009__REMAINDER)
      & has_r_0030_0010__of(R_0030_0008__THE_R_0030_0009__REMAINDER,R_0030_0011__THE_R_0030_0012__WINE)
      & r_0030_0011__the_r_0030_0012__wine(R_0030_0011__THE_R_0030_0012__WINE)
      & has_inv_arg1(R_0030_0011__THE_R_0030_0012__WINE,R_0030_0013__DRAWN_R_0030_0014__OFF)
      & r_0030_0013__drawn_r_0030_0014__off(R_0030_0013__DRAWN_R_0030_0014__OFF)
      & has_arg0(R_0030_0013__DRAWN_R_0030_0014__OFF,Z_0030_5006___STAR_)
      & has_conj1(Z_0030_5012,R_0030_0001__HAVING_R_0030_0002__STIRRED)
      & r_0030_0001__Having_r_0030_0002__stirred(R_0030_0001__HAVING_R_0030_0002__STIRRED)
      & has_arg0(R_0030_0001__HAVING_R_0030_0002__STIRRED,Z_0030_5015)
      & has_nim(R_0030_0001__HAVING_R_0030_0002__STIRRED,R_0030_0004__SUFFICIENTLY)
      & has_arg1(R_0030_0001__HAVING_R_0030_0002__STIRRED,R_0030_0003__IT)
      & has_conj1(R_0030_0016__UNTIL,R_0030_0019__IS)
      & r_0030_0019__is(R_0030_0019__IS)
      & has_prd(R_0030_0019__IS,R_0030_0020__FULL)
      & has_arg0(R_0030_0019__IS,R_0030_0017__THE_R_0030_0018__CASK) ) ).