TSPC 42_a_beeton

42_a_beeton_1861
The corking-boot is buckled by a strap to the knee, the bottle placed in it, and the cork, after being squeezed in the press, driven in by a flat wooden mallet.

arc(r_0042_0003__is, r_0042_0004__buckled, scope).
arc(r_0042_0004__buckled, r_0042_0001__The_r_0042_0002__corking__hyphen__boot, arg1).
arc(r_0042_0004__buckled, r_0042_0006__a_r_0042_0007__strap, r_0042_0005__by_nim19).
arc(r_0042_0004__buckled, z_000_42_a_beeton_1861_12, arg0).
arc(r_0042_0006__a_r_0042_0007__strap, r_0042_0009__the_r_0042_0010__knee, r_0042_0008__to).
arc(r_0042_0014__placed, r_0042_0001__The_r_0042_0002__corking__hyphen__boot, r_0042_0015__in_nim49).
arc(r_0042_0014__placed, r_0042_0012__the_r_0042_0013__bottle, arg1).
arc(r_0042_0014__placed, z_000_42_a_beeton_1861_42, arg0).
arc(r_0042_0018__and, r_0042_0003__is, conj1).
arc(r_0042_0018__and, r_0042_0022__after, conj3).
arc(r_0042_0018__and, z_000_42_a_beeton_1861_35, conj2).
arc(r_0042_0022__after, r_0042_0023__being, restriction).
arc(r_0042_0022__after, z_000_42_a_beeton_1861_57, scope).
arc(r_0042_0023__being, r_0042_0024__squeezed, scope).
arc(r_0042_0024__squeezed, r_0042_0019__the_r_0042_0020__cork, arg1).
arc(r_0042_0024__squeezed, r_0042_0026__the_r_0042_0027__press, r_0042_0025__in_nim79).
arc(r_0042_0024__squeezed, z_000_42_a_beeton_1861_72, arg0).
arc(r_0042_0029__driven_r_0042_0030__in, r_0042_0019__the_r_0042_0020__cork, arg1).
arc(r_0042_0029__driven_r_0042_0030__in, r_0042_0032__a_r_0042_0035__mallet, r_0042_0031__by_nim96).
arc(r_0042_0029__driven_r_0042_0030__in, z_000_42_a_beeton_1861_87, arg0).
arc(r_0042_0032__a_r_0042_0035__mallet, r_0042_0033__flat, attrib99).
arc(r_0042_0032__a_r_0042_0035__mallet, r_0042_0034__wooden, attrib102).
arc(z_000_42_a_beeton_1861_35, r_0042_0014__placed, scope).
arc(z_000_42_a_beeton_1861_57, r_0042_0029__driven_r_0042_0030__in, scope).

fof(formula,axiom,
    ? [R_0042_0001__THE_R_0042_0002__CORKING__HYPHEN__BOOT,R_0042_0009__THE_R_0042_0010__KNEE,R_0042_0006__A_R_0042_0007__STRAP,Z_000_42_A_BEETON_1861_12,R_0042_0003__IS_R_0042_0004__BUCKLED,R_0042_0019__THE_R_0042_0020__CORK,R_0042_0026__THE_R_0042_0027__PRESS,Z_000_42_A_BEETON_1861_72,R_0042_0023__BEING_R_0042_0024__SQUEEZED,R_0042_0033__FLAT,R_0042_0034__WOODEN,R_0042_0032__A_R_0042_0035__MALLET,Z_000_42_A_BEETON_1861_87,Z_000_42_A_BEETON_1861_57_R_0042_0029__DRIVEN_R_0042_0030__IN,R_0042_0022__AFTER,R_0042_0012__THE_R_0042_0013__BOTTLE,Z_000_42_A_BEETON_1861_42,Z_000_42_A_BEETON_1861_35_R_0042_0014__PLACED,R_0042_0018__AND] :
      ( r_0042_0001__The_r_0042_0002__corking__hyphen__boot(R_0042_0001__THE_R_0042_0002__CORKING__HYPHEN__BOOT)
      & r_0042_0009__the_r_0042_0010__knee(R_0042_0009__THE_R_0042_0010__KNEE)
      & r_0042_0012__the_r_0042_0013__bottle(R_0042_0012__THE_R_0042_0013__BOTTLE)
      & r_0042_0019__the_r_0042_0020__cork(R_0042_0019__THE_R_0042_0020__CORK)
      & r_0042_0026__the_r_0042_0027__press(R_0042_0026__THE_R_0042_0027__PRESS)
      & r_0042_0033__flat(R_0042_0033__FLAT)
      & r_0042_0034__wooden(R_0042_0034__WOODEN)
      & z_000_42_a_beeton_1861_12(Z_000_42_A_BEETON_1861_12)
      & z_000_42_a_beeton_1861_42(Z_000_42_A_BEETON_1861_42)
      & z_000_42_a_beeton_1861_72(Z_000_42_A_BEETON_1861_72)
      & z_000_42_a_beeton_1861_87(Z_000_42_A_BEETON_1861_87)
      & r_0042_0018__and(R_0042_0018__AND)
      & has_conj2(R_0042_0018__AND,Z_000_42_A_BEETON_1861_35_R_0042_0014__PLACED)
      & z_000_42_a_beeton_1861_35_r_0042_0014__placed(Z_000_42_A_BEETON_1861_35_R_0042_0014__PLACED)
      & has_arg0(Z_000_42_A_BEETON_1861_35_R_0042_0014__PLACED,Z_000_42_A_BEETON_1861_42)
      & has_arg1(Z_000_42_A_BEETON_1861_35_R_0042_0014__PLACED,R_0042_0012__THE_R_0042_0013__BOTTLE)
      & has_r_0042_0015__in_nim49(Z_000_42_A_BEETON_1861_35_R_0042_0014__PLACED,R_0042_0001__THE_R_0042_0002__CORKING__HYPHEN__BOOT)
      & has_conj3(R_0042_0018__AND,R_0042_0022__AFTER)
      & r_0042_0022__after(R_0042_0022__AFTER)
      & has_conj2(R_0042_0022__AFTER,Z_000_42_A_BEETON_1861_57_R_0042_0029__DRIVEN_R_0042_0030__IN)
      & z_000_42_a_beeton_1861_57_r_0042_0029__driven_r_0042_0030__in(Z_000_42_A_BEETON_1861_57_R_0042_0029__DRIVEN_R_0042_0030__IN)
      & has_arg0(Z_000_42_A_BEETON_1861_57_R_0042_0029__DRIVEN_R_0042_0030__IN,Z_000_42_A_BEETON_1861_87)
      & has_r_0042_0031__by_nim96(Z_000_42_A_BEETON_1861_57_R_0042_0029__DRIVEN_R_0042_0030__IN,R_0042_0032__A_R_0042_0035__MALLET)
      & r_0042_0032__a_r_0042_0035__mallet(R_0042_0032__A_R_0042_0035__MALLET)
      & has_attrib102(R_0042_0032__A_R_0042_0035__MALLET,R_0042_0034__WOODEN)
      & has_attrib99(R_0042_0032__A_R_0042_0035__MALLET,R_0042_0033__FLAT)
      & has_arg1(Z_000_42_A_BEETON_1861_57_R_0042_0029__DRIVEN_R_0042_0030__IN,R_0042_0019__THE_R_0042_0020__CORK)
      & has_conj1(R_0042_0022__AFTER,R_0042_0023__BEING_R_0042_0024__SQUEEZED)
      & r_0042_0023__being_r_0042_0024__squeezed(R_0042_0023__BEING_R_0042_0024__SQUEEZED)
      & has_arg0(R_0042_0023__BEING_R_0042_0024__SQUEEZED,Z_000_42_A_BEETON_1861_72)
      & has_r_0042_0025__in_nim79(R_0042_0023__BEING_R_0042_0024__SQUEEZED,R_0042_0026__THE_R_0042_0027__PRESS)
      & has_arg1(R_0042_0023__BEING_R_0042_0024__SQUEEZED,R_0042_0019__THE_R_0042_0020__CORK)
      & has_conj1(R_0042_0018__AND,R_0042_0003__IS_R_0042_0004__BUCKLED)
      & r_0042_0003__is_r_0042_0004__buckled(R_0042_0003__IS_R_0042_0004__BUCKLED)
      & has_arg0(R_0042_0003__IS_R_0042_0004__BUCKLED,Z_000_42_A_BEETON_1861_12)
      & has_r_0042_0005__by_nim19(R_0042_0003__IS_R_0042_0004__BUCKLED,R_0042_0006__A_R_0042_0007__STRAP)
      & r_0042_0006__a_r_0042_0007__strap(R_0042_0006__A_R_0042_0007__STRAP)
      & has_r_0042_0008__to(R_0042_0006__A_R_0042_0007__STRAP,R_0042_0009__THE_R_0042_0010__KNEE)
      & has_arg1(R_0042_0003__IS_R_0042_0004__BUCKLED,R_0042_0001__THE_R_0042_0002__CORKING__HYPHEN__BOOT) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{BOOT} (D The;{the})
                                     (N corking_<hyphen>_boot;{corking_boot}))
                      (BEP;_cat_VePASS_ is;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;__ buckled;{buckle})
                                  (PP-NIM (P-ROLE by;{by})
                                          (NP (D a;{a})
                                              (N strap;{strap})
                                              (PP (P-ROLE to;{to})
                                                  (NP (D the;{the})
                                                      (N knee;{knee})))))))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ (D the;{the})
                                     (N bottle;{bottle}))
                             (IP-PPL-CAT (NP-LGS *)
                                         (VVN;__ placed;{place})
                                         (PP-NIM (P-ROLE in;{in})
                                                 (NP;{BOOT} (PRO it;{it}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (N cork;{cork}))
                             (PUNC ,)
                             (PP-SCON (P-CONN after;{after})
                                      (IP-PPL2 (BAG;_cat_VePASS_ being;{be})
                                               (IP-PPL-CAT (NP-LGS *)
                                                           (VVN;__ squeezed;{squeeze})
                                                           (PP-NIM (P-ROLE in;{in})
                                                                   (NP (D the;{the})
                                                                       (N press;{press}))))))
                             (PUNC ,)
                             (IP-PPL-CAT (NP-LGS *)
                                         (VVN;__ driven;{drive})
                                         (RP in;{in})
                                         (PP-NIM (P-ROLE by;{by})
                                                 (NP (D a;{a})
                                                     (ADJP (ADJ flat;{flat}))
                                                     (ADJP (ADJ wooden;{wooden}))
                                                     (N mallet;{mallet})))))))
          (PUNC .))
  (ID 42_a_beeton_1861;2167-6))