Context                Previous, Next                Top


34_a_beeton_1861
When thoroughly mixed by stirring, close the bunghole, and leave it to stand for three or four days.

%3 r_0034_0001__When When r_0034_0004__by by r_0034_0001__When->r_0034_0004__by [restriction] r_0034_0011__and and r_0034_0001__When->r_0034_0011__and [scope] r_0034_0003__mixed mixed r_0034_0004__by->r_0034_0003__mixed [scope] r_0034_0005__stirring stirring r_0034_0004__by->r_0034_0005__stirring [restriction] r_0034_0007__close close r_0034_0011__and->r_0034_0007__close [conj1] r_0034_0012__leave leave r_0034_0011__and->r_0034_0012__leave [conj2] r_0034_0002__thoroughly thoroughly r_0034_0003__mixed->r_0034_0002__thoroughly [nim] z_000_34_a_beeton_1861_1 r_0034_0003__mixed->z_000_34_a_beeton_1861_1 [arg0] r_0034_0005__stirring->z_000_34_a_beeton_1861_1 [arg0] r_0034_0007__close->z_000_34_a_beeton_1861_1 [arg0] r_0034_0008__the_r_0034_0009__bunghole the bunghole r_0034_0007__close->r_0034_0008__the_r_0034_0009__bunghole [arg1] r_0034_0012__leave->z_000_34_a_beeton_1861_1 [arg0] r_0034_0013__it it r_0034_0012__leave->r_0034_0013__it [arg2] r_0034_0014__to_r_0034_0015__stand to stand r_0034_0012__leave->r_0034_0014__to_r_0034_0015__stand [arg1] r_0034_0014__to_r_0034_0015__stand->r_0034_0013__it [arg0] r_0034_0017__three_or_four_r_0034_0018__days three or four days r_0034_0014__to_r_0034_0015__stand->r_0034_0017__three_or_four_r_0034_0018__days for [nim] 
arc(r_0034_0001__When, r_0034_0004__by, restriction).
arc(r_0034_0001__When, r_0034_0011__and, scope).
arc(r_0034_0003__mixed, r_0034_0002__thoroughly, nim6).
arc(r_0034_0003__mixed, z_000_34_a_beeton_1861_1, arg0).
arc(r_0034_0004__by, r_0034_0003__mixed, scope).
arc(r_0034_0004__by, r_0034_0005__stirring, restriction).
arc(r_0034_0005__stirring, z_000_34_a_beeton_1861_1, arg0).
arc(r_0034_0007__close, r_0034_0008__the_r_0034_0009__bunghole, arg1).
arc(r_0034_0007__close, z_000_34_a_beeton_1861_1, arg0).
arc(r_0034_0011__and, r_0034_0007__close, conj1).
arc(r_0034_0011__and, r_0034_0012__leave, conj2).
arc(r_0034_0012__leave, r_0034_0013__it, arg2).
arc(r_0034_0012__leave, r_0034_0014__to_r_0034_0015__stand, arg1).
arc(r_0034_0012__leave, z_000_34_a_beeton_1861_1, arg0).
arc(r_0034_0014__to_r_0034_0015__stand, r_0034_0013__it, arg0).
arc(r_0034_0014__to_r_0034_0015__stand, r_0034_0017__three_or_four_r_0034_0018__days, r_0034_0016__for_nim47).


%3 r_0034_0014__to_r_0034_0015__stand to stand r_0034_0017__three_or_four_r_0034_0018__days three or four days r_0034_0014__to_r_0034_0015__stand->r_0034_0017__three_or_four_r_0034_0018__days for [nim] r_0034_0013__it it r_0034_0014__to_r_0034_0015__stand->r_0034_0013__it [arg0] r_0034_0012__leave leave r_0034_0012__leave->r_0034_0014__to_r_0034_0015__stand [arg1] r_0034_0012__leave->r_0034_0013__it [arg2] z_000_34_a_beeton_1861_1 r_0034_0012__leave->z_000_34_a_beeton_1861_1 [arg0] r_0034_0011__and and r_0034_0011__and->r_0034_0012__leave [conj2] r_0034_0007__close close r_0034_0011__and->r_0034_0007__close [conj1] r_0034_0007__close->z_000_34_a_beeton_1861_1 [arg0] r_0034_0008__the_r_0034_0009__bunghole the bunghole r_0034_0007__close->r_0034_0008__the_r_0034_0009__bunghole [arg1] r_0034_0005__stirring stirring r_0034_0005__stirring->z_000_34_a_beeton_1861_1 [arg0] r_0034_0004__by by r_0034_0004__by->r_0034_0005__stirring [conj1] r_0034_0003__mixed mixed r_0034_0004__by->r_0034_0003__mixed [conj2] r_0034_0003__mixed->z_000_34_a_beeton_1861_1 [arg0] r_0034_0002__thoroughly thoroughly r_0034_0003__mixed->r_0034_0002__thoroughly [nim] r_0034_0001__When When r_0034_0001__When->r_0034_0011__and [scope] r_0034_0001__When->r_0034_0004__by [restriction] 
fof(formula,axiom,
    ! [R_34_4_BY,R_34_5_STIRRING,R_34_3_MIXED,Z_34_A_BEETON_1861_1,R_34_2_THOROUGHLY] :
      ( ( thoroughly(R_34_2_THOROUGHLY)
        & by(R_34_4_BY)
        & conj1(R_34_4_BY,R_34_5_STIRRING)
        & stirring(R_34_5_STIRRING,Z_34_A_BEETON_1861_1)
        & conj2(R_34_4_BY,R_34_3_MIXED)
        & mixed(R_34_3_MIXED,Z_34_A_BEETON_1861_1)
        & nim6(R_34_3_MIXED,R_34_2_THOROUGHLY) )
     => ? [R_34_11_AND,R_34_7_CLOSE,R_34_8_THE_BUNGHOLE,R_34_12_LEAVE,R_34_14_TO_STAND,R_34_17_THREE_OR_FOUR_DAYS,R_34_13_IT] :
          ( the_bunghole(R_34_8_THE_BUNGHOLE)
          & three_or_four_days(R_34_17_THREE_OR_FOUR_DAYS)
          & it(R_34_13_IT)
          & and(R_34_11_AND)
          & conj1(R_34_11_AND,R_34_7_CLOSE)
          & close(R_34_7_CLOSE,Z_34_A_BEETON_1861_1,R_34_8_THE_BUNGHOLE)
          & conj2(R_34_11_AND,R_34_12_LEAVE)
          & leave(R_34_12_LEAVE,Z_34_A_BEETON_1861_1,R_34_14_TO_STAND,R_34_13_IT)
          & to_stand(R_34_14_TO_STAND,R_34_13_IT)
          & for_nim47(R_34_14_TO_STAND,R_34_17_THREE_OR_FOUR_DAYS) ) ) ).


n34_a_beeton_1861 n34_a_beeton_1861__1_1_1_1 When n34_a_beeton_1861__1_1_2_1_1_1 thoroughly n34_a_beeton_1861__1_1_2_2_1 mixed n34_a_beeton_1861__1_1_2_3_1_1 by n34_a_beeton_1861__1_1_2_3_2_1_1 stirring n34_a_beeton_1861__1_2_1 , n34_a_beeton_1861__1_3_1_1_1 close n34_a_beeton_1861__1_3_1_2_1_1 the n34_a_beeton_1861__1_3_1_2_2_1 bunghole n34_a_beeton_1861__1_3_2_1 , n34_a_beeton_1861__1_3_3_1_1 and n34_a_beeton_1861__1_3_3_2_1_1 leave n34_a_beeton_1861__1_3_3_2_2_1_1 it n34_a_beeton_1861__1_3_3_2_3_1_1 to n34_a_beeton_1861__1_3_3_2_3_2_1 stand n34_a_beeton_1861__1_3_3_2_3_3_1_1 for n34_a_beeton_1861__1_3_3_2_3_3_2_1_1 three_or_four n34_a_beeton_1861__1_3_3_2_3_3_2_2_1 days n34_a_beeton_1861__1_4_1 . n34_a_beeton_1861__1 IP-IMP n34_a_beeton_1861__1_1 PP-SCON n34_a_beeton_1861__1->n34_a_beeton_1861__1_1 n34_a_beeton_1861__1_2 PUNC n34_a_beeton_1861__1->n34_a_beeton_1861__1_2 n34_a_beeton_1861__1_3 ILYR n34_a_beeton_1861__1->n34_a_beeton_1861__1_3 n34_a_beeton_1861__1_4 PUNC n34_a_beeton_1861__1->n34_a_beeton_1861__1_4 n34_a_beeton_1861__1_1_1 P-CONN n34_a_beeton_1861__1_1->n34_a_beeton_1861__1_1_1 n34_a_beeton_1861__1_1_2 IP-PPL n34_a_beeton_1861__1_1->n34_a_beeton_1861__1_1_2 n34_a_beeton_1861__1_1_1->n34_a_beeton_1861__1_1_1_1 n34_a_beeton_1861__1_1_2_1 ADVP-NIM n34_a_beeton_1861__1_1_2->n34_a_beeton_1861__1_1_2_1 n34_a_beeton_1861__1_1_2_2 VVN;__ n34_a_beeton_1861__1_1_2->n34_a_beeton_1861__1_1_2_2 n34_a_beeton_1861__1_1_2_3 PP-SCON n34_a_beeton_1861__1_1_2->n34_a_beeton_1861__1_1_2_3 n34_a_beeton_1861__1_1_2_1_1 ADV n34_a_beeton_1861__1_1_2_1->n34_a_beeton_1861__1_1_2_1_1 n34_a_beeton_1861__1_1_2_1_1->n34_a_beeton_1861__1_1_2_1_1_1 n34_a_beeton_1861__1_1_2_2->n34_a_beeton_1861__1_1_2_2_1 n34_a_beeton_1861__1_1_2_3_1 P-CONN n34_a_beeton_1861__1_1_2_3->n34_a_beeton_1861__1_1_2_3_1 n34_a_beeton_1861__1_1_2_3_2 IP-PPL n34_a_beeton_1861__1_1_2_3->n34_a_beeton_1861__1_1_2_3_2 n34_a_beeton_1861__1_1_2_3_1->n34_a_beeton_1861__1_1_2_3_1_1 n34_a_beeton_1861__1_1_2_3_2_1 VAG;__ n34_a_beeton_1861__1_1_2_3_2->n34_a_beeton_1861__1_1_2_3_2_1 n34_a_beeton_1861__1_1_2_3_2_1->n34_a_beeton_1861__1_1_2_3_2_1_1 n34_a_beeton_1861__1_2->n34_a_beeton_1861__1_2_1 n34_a_beeton_1861__1_3_1 ILYR n34_a_beeton_1861__1_3->n34_a_beeton_1861__1_3_1 n34_a_beeton_1861__1_3_2 PUNC n34_a_beeton_1861__1_3->n34_a_beeton_1861__1_3_2 n34_a_beeton_1861__1_3_3 CONJP n34_a_beeton_1861__1_3->n34_a_beeton_1861__1_3_3 n34_a_beeton_1861__1_3_1_1 VB;__ n34_a_beeton_1861__1_3_1->n34_a_beeton_1861__1_3_1_1 n34_a_beeton_1861__1_3_1_2 NP-OB1 n34_a_beeton_1861__1_3_1->n34_a_beeton_1861__1_3_1_2 n34_a_beeton_1861__1_3_1_1->n34_a_beeton_1861__1_3_1_1_1 n34_a_beeton_1861__1_3_1_2_1 D n34_a_beeton_1861__1_3_1_2->n34_a_beeton_1861__1_3_1_2_1 n34_a_beeton_1861__1_3_1_2_2 N n34_a_beeton_1861__1_3_1_2->n34_a_beeton_1861__1_3_1_2_2 n34_a_beeton_1861__1_3_1_2_1->n34_a_beeton_1861__1_3_1_2_1_1 n34_a_beeton_1861__1_3_1_2_2->n34_a_beeton_1861__1_3_1_2_2_1 n34_a_beeton_1861__1_3_2->n34_a_beeton_1861__1_3_2_1 n34_a_beeton_1861__1_3_3_1 CONJ n34_a_beeton_1861__1_3_3->n34_a_beeton_1861__1_3_3_1 n34_a_beeton_1861__1_3_3_2 ILYR n34_a_beeton_1861__1_3_3->n34_a_beeton_1861__1_3_3_2 n34_a_beeton_1861__1_3_3_1->n34_a_beeton_1861__1_3_3_1_1 n34_a_beeton_1861__1_3_3_2_1 VB;__ n34_a_beeton_1861__1_3_3_2->n34_a_beeton_1861__1_3_3_2_1 n34_a_beeton_1861__1_3_3_2_2 NP-OB2 n34_a_beeton_1861__1_3_3_2->n34_a_beeton_1861__1_3_3_2_2 n34_a_beeton_1861__1_3_3_2_3 IP-INF-OB1 n34_a_beeton_1861__1_3_3_2->n34_a_beeton_1861__1_3_3_2_3 n34_a_beeton_1861__1_3_3_2_1->n34_a_beeton_1861__1_3_3_2_1_1 n34_a_beeton_1861__1_3_3_2_2_1 PRO n34_a_beeton_1861__1_3_3_2_2->n34_a_beeton_1861__1_3_3_2_2_1 n34_a_beeton_1861__1_3_3_2_2_1->n34_a_beeton_1861__1_3_3_2_2_1_1 n34_a_beeton_1861__1_3_3_2_3_1 TO n34_a_beeton_1861__1_3_3_2_3->n34_a_beeton_1861__1_3_3_2_3_1 n34_a_beeton_1861__1_3_3_2_3_2 VB;__ n34_a_beeton_1861__1_3_3_2_3->n34_a_beeton_1861__1_3_3_2_3_2 n34_a_beeton_1861__1_3_3_2_3_3 PP-NIM n34_a_beeton_1861__1_3_3_2_3->n34_a_beeton_1861__1_3_3_2_3_3 n34_a_beeton_1861__1_3_3_2_3_1->n34_a_beeton_1861__1_3_3_2_3_1_1 n34_a_beeton_1861__1_3_3_2_3_2->n34_a_beeton_1861__1_3_3_2_3_2_1 n34_a_beeton_1861__1_3_3_2_3_3_1 P-ROLE n34_a_beeton_1861__1_3_3_2_3_3->n34_a_beeton_1861__1_3_3_2_3_3_1 n34_a_beeton_1861__1_3_3_2_3_3_2 NP n34_a_beeton_1861__1_3_3_2_3_3->n34_a_beeton_1861__1_3_3_2_3_3_2 n34_a_beeton_1861__1_3_3_2_3_3_1->n34_a_beeton_1861__1_3_3_2_3_3_1_1 n34_a_beeton_1861__1_3_3_2_3_3_2_1 NUM n34_a_beeton_1861__1_3_3_2_3_3_2->n34_a_beeton_1861__1_3_3_2_3_3_2_1 n34_a_beeton_1861__1_3_3_2_3_3_2_2 NS n34_a_beeton_1861__1_3_3_2_3_3_2->n34_a_beeton_1861__1_3_3_2_3_3_2_2 n34_a_beeton_1861__1_3_3_2_3_3_2_1->n34_a_beeton_1861__1_3_3_2_3_3_2_1_1 n34_a_beeton_1861__1_3_3_2_3_3_2_2->n34_a_beeton_1861__1_3_3_2_3_3_2_2_1 n34_a_beeton_1861__1_4->n34_a_beeton_1861__1_4_1 
( (IP-IMP (PP-SCON (P-CONN When;{when})
                   (IP-PPL (ADVP-NIM (ADV thoroughly;{thoroughly}))
                           (VVN;__ mixed;{mix})
                           (PP-SCON (P-CONN by;{by})
                                    (IP-PPL (VAG;__ stirring;{stir})))))
          (PUNC ,)
          (ILYR (ILYR (VB;__ close;{close})
                      (NP-OB1 (D the;{the})
                              (N bunghole;{bunghole})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VB;__ leave;{leave})
                             (NP-OB2;{WINE} (PRO it;{it}))
                             (IP-INF-OB1 (TO to;{to})
                                         (VB;__ stand;{stand})
                                         (PP-NIM (P-ROLE for;{for})
                                                 (NP (NUM three_or_four;{three_or_four})
                                                     (NS days;{day})))))))
          (PUNC .))
  (ID 34_a_beeton_1861;2166-9))