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_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 [conj2] r_0034_0005__stirring stirring r_0034_0004__by->r_0034_0005__stirring [conj1] 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] 
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_4 When n34_a_beeton_1861_8 thoroughly n34_a_beeton_1861_10 mixed n34_a_beeton_1861_13 by n34_a_beeton_1861_16 stirring n34_a_beeton_1861_18 , n34_a_beeton_1861_22 close n34_a_beeton_1861_25 the n34_a_beeton_1861_27 bunghole n34_a_beeton_1861_29 , n34_a_beeton_1861_32 and n34_a_beeton_1861_35 leave n34_a_beeton_1861_38 it n34_a_beeton_1861_41 to n34_a_beeton_1861_43 stand n34_a_beeton_1861_46 for n34_a_beeton_1861_49 three_or_four n34_a_beeton_1861_51 days n34_a_beeton_1861_53 . n34_a_beeton_1861_1 IP-IMP n34_a_beeton_1861_2 PP-SCON n34_a_beeton_1861_1->n34_a_beeton_1861_2 n34_a_beeton_1861_17 PUNC n34_a_beeton_1861_1->n34_a_beeton_1861_17 n34_a_beeton_1861_19 ILYR n34_a_beeton_1861_1->n34_a_beeton_1861_19 n34_a_beeton_1861_52 PUNC n34_a_beeton_1861_1->n34_a_beeton_1861_52 n34_a_beeton_1861_3 P-CONN n34_a_beeton_1861_2->n34_a_beeton_1861_3 n34_a_beeton_1861_5 IP-PPL n34_a_beeton_1861_2->n34_a_beeton_1861_5 n34_a_beeton_1861_3->n34_a_beeton_1861_4 n34_a_beeton_1861_6 ADVP-NIM n34_a_beeton_1861_5->n34_a_beeton_1861_6 n34_a_beeton_1861_9 VVN;__ n34_a_beeton_1861_5->n34_a_beeton_1861_9 n34_a_beeton_1861_11 PP-SCON n34_a_beeton_1861_5->n34_a_beeton_1861_11 n34_a_beeton_1861_7 ADV n34_a_beeton_1861_6->n34_a_beeton_1861_7 n34_a_beeton_1861_7->n34_a_beeton_1861_8 n34_a_beeton_1861_9->n34_a_beeton_1861_10 n34_a_beeton_1861_12 P-CONN n34_a_beeton_1861_11->n34_a_beeton_1861_12 n34_a_beeton_1861_14 IP-PPL n34_a_beeton_1861_11->n34_a_beeton_1861_14 n34_a_beeton_1861_12->n34_a_beeton_1861_13 n34_a_beeton_1861_15 VAG;__ n34_a_beeton_1861_14->n34_a_beeton_1861_15 n34_a_beeton_1861_15->n34_a_beeton_1861_16 n34_a_beeton_1861_17->n34_a_beeton_1861_18 n34_a_beeton_1861_20 ILYR n34_a_beeton_1861_19->n34_a_beeton_1861_20 n34_a_beeton_1861_28 PUNC n34_a_beeton_1861_19->n34_a_beeton_1861_28 n34_a_beeton_1861_30 CONJP n34_a_beeton_1861_19->n34_a_beeton_1861_30 n34_a_beeton_1861_21 VB;__ n34_a_beeton_1861_20->n34_a_beeton_1861_21 n34_a_beeton_1861_23 NP-OB1 n34_a_beeton_1861_20->n34_a_beeton_1861_23 n34_a_beeton_1861_21->n34_a_beeton_1861_22 n34_a_beeton_1861_24 D n34_a_beeton_1861_23->n34_a_beeton_1861_24 n34_a_beeton_1861_26 N n34_a_beeton_1861_23->n34_a_beeton_1861_26 n34_a_beeton_1861_24->n34_a_beeton_1861_25 n34_a_beeton_1861_26->n34_a_beeton_1861_27 n34_a_beeton_1861_28->n34_a_beeton_1861_29 n34_a_beeton_1861_31 CONJ n34_a_beeton_1861_30->n34_a_beeton_1861_31 n34_a_beeton_1861_33 ILYR n34_a_beeton_1861_30->n34_a_beeton_1861_33 n34_a_beeton_1861_31->n34_a_beeton_1861_32 n34_a_beeton_1861_34 VB;__ n34_a_beeton_1861_33->n34_a_beeton_1861_34 n34_a_beeton_1861_36 NP-OB2 n34_a_beeton_1861_33->n34_a_beeton_1861_36 n34_a_beeton_1861_39 IP-INF-OB1 n34_a_beeton_1861_33->n34_a_beeton_1861_39 n34_a_beeton_1861_34->n34_a_beeton_1861_35 n34_a_beeton_1861_37 PRO n34_a_beeton_1861_36->n34_a_beeton_1861_37 n34_a_beeton_1861_37->n34_a_beeton_1861_38 n34_a_beeton_1861_40 TO n34_a_beeton_1861_39->n34_a_beeton_1861_40 n34_a_beeton_1861_42 VB;__ n34_a_beeton_1861_39->n34_a_beeton_1861_42 n34_a_beeton_1861_44 PP-NIM n34_a_beeton_1861_39->n34_a_beeton_1861_44 n34_a_beeton_1861_40->n34_a_beeton_1861_41 n34_a_beeton_1861_42->n34_a_beeton_1861_43 n34_a_beeton_1861_45 P-ROLE n34_a_beeton_1861_44->n34_a_beeton_1861_45 n34_a_beeton_1861_47 NP n34_a_beeton_1861_44->n34_a_beeton_1861_47 n34_a_beeton_1861_45->n34_a_beeton_1861_46 n34_a_beeton_1861_48 NUM n34_a_beeton_1861_47->n34_a_beeton_1861_48 n34_a_beeton_1861_50 NS n34_a_beeton_1861_47->n34_a_beeton_1861_50 n34_a_beeton_1861_48->n34_a_beeton_1861_49 n34_a_beeton_1861_50->n34_a_beeton_1861_51 n34_a_beeton_1861_52->n34_a_beeton_1861_53 
( (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))