TSPC 31_a_beeton

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

( (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 31_a_beeton_1861;2166-9))

arc(r_0031_0001__When,r_0031_0004__by,restriction).
arc(r_0031_0001__When,r_0031_0011__and,scope).
arc(r_0031_0003__mixed,r_0031_0002__thoroughly,nim).
arc(r_0031_0003__mixed,z_0031_5002,arg0).
arc(r_0031_0004__by,r_0031_0003__mixed,scope).
arc(r_0031_0004__by,r_0031_0005__stirring,restriction).
arc(r_0031_0005__stirring,z_0031_5002,arg0).
arc(r_0031_0007__close,r_0031_0008__the_r_0031_0009__bunghole,arg1).
arc(r_0031_0007__close,z_0031_5002,arg0).
arc(r_0031_0011__and,r_0031_0007__close,conj1).
arc(r_0031_0011__and,r_0031_0012__leave,conj2).
arc(r_0031_0012__leave,r_0031_0013__it,arg2).
arc(r_0031_0012__leave,r_0031_0015__stand,arg1).
arc(r_0031_0012__leave,z_0031_5002,arg0).
arc(r_0031_0015__stand,r_0031_0013__it,arg0).
arc(r_0031_0015__stand,r_0031_0017__three_or_four_r_0031_0018__days,r_0031_0016__for__nim).

fof(formula,axiom,
    ! [R_0031_0004__BY,R_0031_0002__THOROUGHLY,Z_0031_5002,R_0031_0003__MIXED,R_0031_0005__STIRRING] :
      ( ( r_0031_0002__thoroughly(R_0031_0002__THOROUGHLY)
        & z_0031_5002(Z_0031_5002)
        & r_0031_0004__by(R_0031_0004__BY)
        & has_conj1(R_0031_0004__BY,R_0031_0005__STIRRING)
        & r_0031_0005__stirring(R_0031_0005__STIRRING)
        & has_arg0(R_0031_0005__STIRRING,Z_0031_5002)
        & has_conj2(R_0031_0004__BY,R_0031_0003__MIXED)
        & r_0031_0003__mixed(R_0031_0003__MIXED)
        & has_arg0(R_0031_0003__MIXED,Z_0031_5002)
        & has_nim(R_0031_0003__MIXED,R_0031_0002__THOROUGHLY) )
     => ? [R_0031_0008__THE_R_0031_0009__BUNGHOLE,R_0031_0007__CLOSE,R_0031_0013__IT,R_0031_0017__THREE_OR_FOUR_R_0031_0018__DAYS,R_0031_0015__STAND,R_0031_0012__LEAVE,R_0031_0011__AND] :
          ( r_0031_0008__the_r_0031_0009__bunghole(R_0031_0008__THE_R_0031_0009__BUNGHOLE)
          & r_0031_0013__it(R_0031_0013__IT)
          & r_0031_0017__three_or_four_r_0031_0018__days(R_0031_0017__THREE_OR_FOUR_R_0031_0018__DAYS)
          & r_0031_0011__and(R_0031_0011__AND)
          & has_conj2(R_0031_0011__AND,R_0031_0012__LEAVE)
          & r_0031_0012__leave(R_0031_0012__LEAVE)
          & has_arg0(R_0031_0012__LEAVE,Z_0031_5002)
          & has_arg1(R_0031_0012__LEAVE,R_0031_0015__STAND)
          & r_0031_0015__stand(R_0031_0015__STAND)
          & has_r_0031_0016__for__nim(R_0031_0015__STAND,R_0031_0017__THREE_OR_FOUR_R_0031_0018__DAYS)
          & has_arg0(R_0031_0015__STAND,R_0031_0013__IT)
          & has_arg2(R_0031_0012__LEAVE,R_0031_0013__IT)
          & has_conj1(R_0031_0011__AND,R_0031_0007__CLOSE)
          & r_0031_0007__close(R_0031_0007__CLOSE)
          & has_arg0(R_0031_0007__CLOSE,Z_0031_5002)
          & has_arg1(R_0031_0007__CLOSE,R_0031_0008__THE_R_0031_0009__BUNGHOLE) ) ) ).