TSPC 39_a_beeton

39_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.

( (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-PPL (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 39_a_beeton_1861;2167-6))

arc(r_0039_0003__is,r_0039_0004__buckled,scope).
arc(r_0039_0004__buckled,r_0039_0001__The_r_0039_0002__corking__hyphen__boot,arg1).
arc(r_0039_0004__buckled,r_0039_0006__a_r_0039_0007__strap,r_0039_0005__by__nim).
arc(r_0039_0004__buckled,z_0039_5005___star_,arg0).
arc(r_0039_0006__a_r_0039_0007__strap,r_0039_0009__the_r_0039_0010__knee,r_0039_0008__to).
arc(r_0039_0014__placed,r_0039_0001__The_r_0039_0002__corking__hyphen__boot,r_0039_0015__in__nim).
arc(r_0039_0014__placed,r_0039_0012__the_r_0039_0013__bottle,arg1).
arc(r_0039_0014__placed,z_0039_5011___star_,arg0).
arc(r_0039_0018__and,r_0039_0003__is,conj1).
arc(r_0039_0018__and,r_0039_0022__after,conj3).
arc(r_0039_0018__and,z_0039_5013,conj2).
arc(r_0039_0022__after,r_0039_0023__being,restriction).
arc(r_0039_0022__after,z_0039_5028,scope).
arc(r_0039_0023__being,r_0039_0024__squeezed,scope).
arc(r_0039_0024__squeezed,r_0039_0019__the_r_0039_0020__cork,arg1).
arc(r_0039_0024__squeezed,r_0039_0026__the_r_0039_0027__press,r_0039_0025__in__nim).
arc(r_0039_0024__squeezed,z_0039_5019___star_,arg0).
arc(r_0039_0029__driven_r_0039_0030__in,r_0039_0019__the_r_0039_0020__cork,arg1).
arc(r_0039_0029__driven_r_0039_0030__in,r_0039_0032__a_r_0039_0035__mallet,r_0039_0031__by__nim).
arc(r_0039_0029__driven_r_0039_0030__in,z_0039_5026___star_,arg0).
arc(r_0039_0032__a_r_0039_0035__mallet,r_0039_0033__flat,attrib).
arc(r_0039_0032__a_r_0039_0035__mallet,r_0039_0034__wooden,attrib).
arc(z_0039_5013,r_0039_0014__placed,scope).
arc(z_0039_5028,r_0039_0029__driven_r_0039_0030__in,scope).

fof(formula,axiom,
    ? [R_0039_0001__THE_R_0039_0002__CORKING__HYPHEN__BOOT,R_0039_0009__THE_R_0039_0010__KNEE,R_0039_0006__A_R_0039_0007__STRAP,Z_0039_5005___STAR_,R_0039_0003__IS_R_0039_0004__BUCKLED,R_0039_0019__THE_R_0039_0020__CORK,R_0039_0026__THE_R_0039_0027__PRESS,Z_0039_5019___STAR_,R_0039_0023__BEING_R_0039_0024__SQUEEZED,R_0039_0033__FLAT,R_0039_0034__WOODEN,R_0039_0032__A_R_0039_0035__MALLET,Z_0039_5026___STAR_,Z_0039_5028_R_0039_0029__DRIVEN_R_0039_0030__IN,R_0039_0022__AFTER,R_0039_0012__THE_R_0039_0013__BOTTLE,Z_0039_5011___STAR_,Z_0039_5013_R_0039_0014__PLACED,R_0039_0018__AND] :
      ( r_0039_0001__The_r_0039_0002__corking__hyphen__boot(R_0039_0001__THE_R_0039_0002__CORKING__HYPHEN__BOOT)
      & r_0039_0009__the_r_0039_0010__knee(R_0039_0009__THE_R_0039_0010__KNEE)
      & r_0039_0012__the_r_0039_0013__bottle(R_0039_0012__THE_R_0039_0013__BOTTLE)
      & r_0039_0019__the_r_0039_0020__cork(R_0039_0019__THE_R_0039_0020__CORK)
      & r_0039_0026__the_r_0039_0027__press(R_0039_0026__THE_R_0039_0027__PRESS)
      & r_0039_0033__flat(R_0039_0033__FLAT)
      & r_0039_0034__wooden(R_0039_0034__WOODEN)
      & z_0039_5005___star_(Z_0039_5005___STAR_)
      & z_0039_5011___star_(Z_0039_5011___STAR_)
      & z_0039_5019___star_(Z_0039_5019___STAR_)
      & z_0039_5026___star_(Z_0039_5026___STAR_)
      & r_0039_0018__and(R_0039_0018__AND)
      & has_conj2(R_0039_0018__AND,Z_0039_5013_R_0039_0014__PLACED)
      & z_0039_5013_r_0039_0014__placed(Z_0039_5013_R_0039_0014__PLACED)
      & has_arg0(Z_0039_5013_R_0039_0014__PLACED,Z_0039_5011___STAR_)
      & has_arg1(Z_0039_5013_R_0039_0014__PLACED,R_0039_0012__THE_R_0039_0013__BOTTLE)
      & has_r_0039_0015__in__nim(Z_0039_5013_R_0039_0014__PLACED,R_0039_0001__THE_R_0039_0002__CORKING__HYPHEN__BOOT)
      & has_conj3(R_0039_0018__AND,R_0039_0022__AFTER)
      & r_0039_0022__after(R_0039_0022__AFTER)
      & has_conj2(R_0039_0022__AFTER,Z_0039_5028_R_0039_0029__DRIVEN_R_0039_0030__IN)
      & z_0039_5028_r_0039_0029__driven_r_0039_0030__in(Z_0039_5028_R_0039_0029__DRIVEN_R_0039_0030__IN)
      & has_arg0(Z_0039_5028_R_0039_0029__DRIVEN_R_0039_0030__IN,Z_0039_5026___STAR_)
      & has_r_0039_0031__by__nim(Z_0039_5028_R_0039_0029__DRIVEN_R_0039_0030__IN,R_0039_0032__A_R_0039_0035__MALLET)
      & r_0039_0032__a_r_0039_0035__mallet(R_0039_0032__A_R_0039_0035__MALLET)
      & has_attrib(R_0039_0032__A_R_0039_0035__MALLET,R_0039_0034__WOODEN)
      & has_attrib(R_0039_0032__A_R_0039_0035__MALLET,R_0039_0033__FLAT)
      & has_arg1(Z_0039_5028_R_0039_0029__DRIVEN_R_0039_0030__IN,R_0039_0019__THE_R_0039_0020__CORK)
      & has_conj1(R_0039_0022__AFTER,R_0039_0023__BEING_R_0039_0024__SQUEEZED)
      & r_0039_0023__being_r_0039_0024__squeezed(R_0039_0023__BEING_R_0039_0024__SQUEEZED)
      & has_arg0(R_0039_0023__BEING_R_0039_0024__SQUEEZED,Z_0039_5019___STAR_)
      & has_r_0039_0025__in__nim(R_0039_0023__BEING_R_0039_0024__SQUEEZED,R_0039_0026__THE_R_0039_0027__PRESS)
      & has_arg1(R_0039_0023__BEING_R_0039_0024__SQUEEZED,R_0039_0019__THE_R_0039_0020__CORK)
      & has_conj1(R_0039_0018__AND,R_0039_0003__IS_R_0039_0004__BUCKLED)
      & r_0039_0003__is_r_0039_0004__buckled(R_0039_0003__IS_R_0039_0004__BUCKLED)
      & has_arg0(R_0039_0003__IS_R_0039_0004__BUCKLED,Z_0039_5005___STAR_)
      & has_r_0039_0005__by__nim(R_0039_0003__IS_R_0039_0004__BUCKLED,R_0039_0006__A_R_0039_0007__STRAP)
      & r_0039_0006__a_r_0039_0007__strap(R_0039_0006__A_R_0039_0007__STRAP)
      & has_r_0039_0008__to(R_0039_0006__A_R_0039_0007__STRAP,R_0039_0009__THE_R_0039_0010__KNEE)
      & has_arg1(R_0039_0003__IS_R_0039_0004__BUCKLED,R_0039_0001__THE_R_0039_0002__CORKING__HYPHEN__BOOT) ) ).