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_39_20_FOLLOWS,R_39_28_IS_PLACED,Z_39_A_BEETON_1861_81,R_39_24_AND,R_39_23_BOTTLE,R_39_25_FILTERER,R_39_33_OR,R_39_32_TUB,R_39_34_BASIN,Z_39_A_BEETON_1861_38,R_39_15_RECEIVING,R_39_16_THE_STREAM,R_39_17_LIQUID,R_39_1_BORE,Z_39_A_BEETON_1861_1,R_39_2_A_HOLE,R_39_5_THE_PART,R_39_6_LOWER,R_39_9_THE_CASK,R_39_12_A_GIMLET] :
      ( bottle(R_39_23_BOTTLE)
      & filterer(R_39_25_FILTERER)
      & tub(R_39_32_TUB)
      & basin(R_39_34_BASIN)
      & liquid(R_39_17_LIQUID)
      & lower(R_39_6_LOWER)
      & the_cask(R_39_9_THE_CASK)
      & a_gimlet(R_39_12_A_GIMLET)
      & follows(R_39_20_FOLLOWS,R_39_16_THE_STREAM)
      & the_stream(R_39_16_THE_STREAM)
      & attrib45(R_39_16_THE_STREAM,R_39_17_LIQUID)
      & in_nim59(R_39_20_FOLLOWS,R_39_24_AND)
      & and(R_39_24_AND)
      & conj1(R_39_24_AND,R_39_23_BOTTLE)
      & conj2(R_39_24_AND,R_39_25_FILTERER)
      & is_placed(R_39_28_IS_PLACED,Z_39_A_BEETON_1861_81,R_39_24_AND)
      & in_nim88(R_39_28_IS_PLACED,R_39_33_OR)
      & or(R_39_33_OR)
      & conj1(R_39_33_OR,R_39_32_TUB)
      & conj2(R_39_33_OR,R_39_34_BASIN)
      & z_39_a_beeton_1861_38(Z_39_A_BEETON_1861_38)
      & conj1(Z_39_A_BEETON_1861_38,R_39_15_RECEIVING)
      & receiving(R_39_15_RECEIVING,Z_39_A_BEETON_1861_1,R_39_16_THE_STREAM)
      & conj2(Z_39_A_BEETON_1861_38,R_39_1_BORE)
      & bore(R_39_1_BORE,Z_39_A_BEETON_1861_1,R_39_2_A_HOLE)
      & a_hole(R_39_2_A_HOLE)
      & in(R_39_2_A_HOLE,R_39_5_THE_PART)
      & the_part(R_39_5_THE_PART)
      & attrib15(R_39_5_THE_PART,R_39_6_LOWER)
      & of(R_39_5_THE_PART,R_39_9_THE_CASK)
      & with_nim31(R_39_1_BORE,R_39_12_A_GIMLET) ) ).

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