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_0034_0004__BY,R_0034_0002__THOROUGHLY,Z_000_34_A_BEETON_1861_1,R_0034_0003__MIXED,R_0034_0005__STIRRING] :
      ( ( r_0034_0002__thoroughly(R_0034_0002__THOROUGHLY)
        & z_000_34_a_beeton_1861_1(Z_000_34_A_BEETON_1861_1)
        & r_0034_0004__by(R_0034_0004__BY)
        & has_conj1(R_0034_0004__BY,R_0034_0005__STIRRING)
        & r_0034_0005__stirring(R_0034_0005__STIRRING)
        & has_arg0(R_0034_0005__STIRRING,Z_000_34_A_BEETON_1861_1)
        & has_conj2(R_0034_0004__BY,R_0034_0003__MIXED)
        & r_0034_0003__mixed(R_0034_0003__MIXED)
        & has_arg0(R_0034_0003__MIXED,Z_000_34_A_BEETON_1861_1)
        & has_nim6(R_0034_0003__MIXED,R_0034_0002__THOROUGHLY) )
     => ? [R_0034_0008__THE_R_0034_0009__BUNGHOLE,R_0034_0007__CLOSE,R_0034_0013__IT,R_0034_0017__THREE_OR_FOUR_R_0034_0018__DAYS,R_0034_0014__TO_R_0034_0015__STAND,R_0034_0012__LEAVE,R_0034_0011__AND] :
          ( r_0034_0008__the_r_0034_0009__bunghole(R_0034_0008__THE_R_0034_0009__BUNGHOLE)
          & r_0034_0013__it(R_0034_0013__IT)
          & r_0034_0017__three_or_four_r_0034_0018__days(R_0034_0017__THREE_OR_FOUR_R_0034_0018__DAYS)
          & r_0034_0011__and(R_0034_0011__AND)
          & has_conj2(R_0034_0011__AND,R_0034_0012__LEAVE)
          & r_0034_0012__leave(R_0034_0012__LEAVE)
          & has_arg0(R_0034_0012__LEAVE,Z_000_34_A_BEETON_1861_1)
          & has_arg1(R_0034_0012__LEAVE,R_0034_0014__TO_R_0034_0015__STAND)
          & r_0034_0014__to_r_0034_0015__stand(R_0034_0014__TO_R_0034_0015__STAND)
          & has_r_0034_0016__for_nim47(R_0034_0014__TO_R_0034_0015__STAND,R_0034_0017__THREE_OR_FOUR_R_0034_0018__DAYS)
          & has_arg0(R_0034_0014__TO_R_0034_0015__STAND,R_0034_0013__IT)
          & has_arg2(R_0034_0012__LEAVE,R_0034_0013__IT)
          & has_conj1(R_0034_0011__AND,R_0034_0007__CLOSE)
          & r_0034_0007__close(R_0034_0007__CLOSE)
          & has_arg0(R_0034_0007__CLOSE,Z_000_34_A_BEETON_1861_1)
          & has_arg1(R_0034_0007__CLOSE,R_0034_0008__THE_R_0034_0009__BUNGHOLE) ) ) ).


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