TSPC 39_a_beeton

39_a_beeton_1861
Bore a hole in the lower part of the cask with a gimlet, receiving the liquid stream which follows in the bottle and filterer, which is placed in a tub or basin.

arc(r_0039_0001__Bore, r_0039_0002__a_r_0039_0003__hole, arg1).
arc(r_0039_0001__Bore, r_0039_0012__a_r_0039_0013__gimlet, r_0039_0011__with_nim31).
arc(r_0039_0001__Bore, z_000_39_a_beeton_1861_1, arg0).
arc(r_0039_0002__a_r_0039_0003__hole, r_0039_0005__the_r_0039_0007__part, r_0039_0004__in).
arc(r_0039_0005__the_r_0039_0007__part, r_0039_0006__lower, attrib15).
arc(r_0039_0005__the_r_0039_0007__part, r_0039_0009__the_r_0039_0010__cask, r_0039_0008__of).
arc(r_0039_0015__receiving, r_0039_0016__the_r_0039_0018__stream, arg1).
arc(r_0039_0015__receiving, z_000_39_a_beeton_1861_1, arg0).
arc(r_0039_0016__the_r_0039_0018__stream, r_0039_0017__liquid, attrib45).
arc(r_0039_0020__follows, r_0039_0016__the_r_0039_0018__stream, arg0).
arc(r_0039_0020__follows, r_0039_0024__and, r_0039_0021__in_nim59).
arc(r_0039_0024__and, r_0039_0023__bottle, conj1).
arc(r_0039_0024__and, r_0039_0025__filterer, conj2).
arc(r_0039_0028__is, r_0039_0029__placed, scope).
arc(r_0039_0029__placed, r_0039_0024__and, arg1).
arc(r_0039_0029__placed, r_0039_0033__or, r_0039_0030__in_nim88).
arc(r_0039_0029__placed, z_000_39_a_beeton_1861_81, arg0).
arc(r_0039_0033__or, r_0039_0032__tub, conj1).
arc(r_0039_0033__or, r_0039_0034__basin, conj2).
arc(z_000_39_a_beeton_1861_38, r_0039_0001__Bore, scope).
arc(z_000_39_a_beeton_1861_38, r_0039_0015__receiving, restriction).

fof(formula,axiom,
    ? [R_0039_0017__LIQUID,R_0039_0016__THE_R_0039_0018__STREAM,R_0039_0023__BOTTLE,R_0039_0025__FILTERER,R_0039_0024__AND,R_0039_0020__FOLLOWS,R_0039_0032__TUB,R_0039_0034__BASIN,R_0039_0033__OR,Z_000_39_A_BEETON_1861_81,R_0039_0028__IS_R_0039_0029__PLACED,R_0039_0006__LOWER,R_0039_0009__THE_R_0039_0010__CASK,R_0039_0005__THE_R_0039_0007__PART,R_0039_0002__A_R_0039_0003__HOLE,R_0039_0012__A_R_0039_0013__GIMLET,Z_000_39_A_BEETON_1861_1,R_0039_0001__BORE,R_0039_0015__RECEIVING,Z_000_39_A_BEETON_1861_38] :
      ( r_0039_0006__lower(R_0039_0006__LOWER)
      & r_0039_0009__the_r_0039_0010__cask(R_0039_0009__THE_R_0039_0010__CASK)
      & r_0039_0012__a_r_0039_0013__gimlet(R_0039_0012__A_R_0039_0013__GIMLET)
      & r_0039_0017__liquid(R_0039_0017__LIQUID)
      & r_0039_0023__bottle(R_0039_0023__BOTTLE)
      & r_0039_0025__filterer(R_0039_0025__FILTERER)
      & r_0039_0032__tub(R_0039_0032__TUB)
      & r_0039_0034__basin(R_0039_0034__BASIN)
      & z_000_39_a_beeton_1861_1(Z_000_39_A_BEETON_1861_1)
      & z_000_39_a_beeton_1861_81(Z_000_39_A_BEETON_1861_81)
      & z_000_39_a_beeton_1861_38(Z_000_39_A_BEETON_1861_38)
      & has_conj1(Z_000_39_A_BEETON_1861_38,R_0039_0015__RECEIVING)
      & r_0039_0015__receiving(R_0039_0015__RECEIVING)
      & has_arg0(R_0039_0015__RECEIVING,Z_000_39_A_BEETON_1861_1)
      & has_arg1(R_0039_0015__RECEIVING,R_0039_0016__THE_R_0039_0018__STREAM)
      & r_0039_0016__the_r_0039_0018__stream(R_0039_0016__THE_R_0039_0018__STREAM)
      & has_attrib45(R_0039_0016__THE_R_0039_0018__STREAM,R_0039_0017__LIQUID)
      & has_conj2(Z_000_39_A_BEETON_1861_38,R_0039_0001__BORE)
      & r_0039_0001__Bore(R_0039_0001__BORE)
      & has_arg0(R_0039_0001__BORE,Z_000_39_A_BEETON_1861_1)
      & has_r_0039_0011__with_nim31(R_0039_0001__BORE,R_0039_0012__A_R_0039_0013__GIMLET)
      & has_arg1(R_0039_0001__BORE,R_0039_0002__A_R_0039_0003__HOLE)
      & r_0039_0002__a_r_0039_0003__hole(R_0039_0002__A_R_0039_0003__HOLE)
      & has_r_0039_0004__in(R_0039_0002__A_R_0039_0003__HOLE,R_0039_0005__THE_R_0039_0007__PART)
      & r_0039_0005__the_r_0039_0007__part(R_0039_0005__THE_R_0039_0007__PART)
      & has_r_0039_0008__of(R_0039_0005__THE_R_0039_0007__PART,R_0039_0009__THE_R_0039_0010__CASK)
      & has_attrib15(R_0039_0005__THE_R_0039_0007__PART,R_0039_0006__LOWER)
      & r_0039_0028__is_r_0039_0029__placed(R_0039_0028__IS_R_0039_0029__PLACED)
      & has_arg0(R_0039_0028__IS_R_0039_0029__PLACED,Z_000_39_A_BEETON_1861_81)
      & has_r_0039_0030__in_nim88(R_0039_0028__IS_R_0039_0029__PLACED,R_0039_0033__OR)
      & r_0039_0033__or(R_0039_0033__OR)
      & has_conj2(R_0039_0033__OR,R_0039_0034__BASIN)
      & has_conj1(R_0039_0033__OR,R_0039_0032__TUB)
      & has_arg1(R_0039_0028__IS_R_0039_0029__PLACED,R_0039_0024__AND)
      & r_0039_0024__and(R_0039_0024__AND)
      & has_conj2(R_0039_0024__AND,R_0039_0025__FILTERER)
      & has_conj1(R_0039_0024__AND,R_0039_0023__BOTTLE)
      & r_0039_0020__follows(R_0039_0020__FOLLOWS)
      & has_r_0039_0021__in_nim59(R_0039_0020__FOLLOWS,R_0039_0024__AND)
      & has_arg0(R_0039_0020__FOLLOWS,R_0039_0016__THE_R_0039_0018__STREAM) ) ).

( (IP-IMP (VB;__ Bore;{bore})
          (NP-OB1 (D a;{a})
                  (N hole;{hole})
                  (PP (P-ROLE in;{in})
                      (NP (D the;{the})
                          (ADJP (ADJR lower;{low}))
                          (N part;{part})
                          (PP (P-ROLE of;{of})
                              (NP (D the;{the})
                                  (N cask;{cask}))))))
          (PP-NIM (P-ROLE with;{with})
                  (NP (D a;{a})
                      (N gimlet;{gimlet})))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (VAG;__ receiving;{receive})
                            (NP-OB1 (D the;{the})
                                    (ADJP (ADJ liquid;{liquid}))
                                    (N stream;{stream})
                                    (IP-REL (NP-SBJ (RPRO which;{which}))
                                            (VBP;__ follows;{follow})
                                            (PP-NIM (P-ROLE in;{in})
                                                    (NP (D the;{the})
                                                        (NLYR (NLYR (N bottle;{bottle}))
                                                              (CONJP (CONJ and;{and})
                                                                     (NLYR (N filterer;{filterer}))))
                                                        (PUNC ,)
                                                        (IP-REL (NP-SBJ (RPRO which;{which}))
                                                                (BEP;_cat_VePASS_ is;{be})
                                                                (IP-PPL-CAT (NP-LGS *)
                                                                            (VVN;__ placed;{place})
                                                                            (PP-NIM (P-ROLE in;{in})
                                                                                    (NP (D a;{a})
                                                                                        (NLYR (NLYR (N tub;{tub}))
                                                                                              (CONJP (CONJ or;{or})
                                                                                                     (NLYR (N basin;{basin}))))))))))))))
          (PUNC .))
  (ID 39_a_beeton_1861;2167-3))