TSPC 41_a_beeton

41_a_beeton_1861
Having carefully counted the bottles, they are stored away in their respective binns, a layer of sand or sawdust being placed under the first tier, and another over it; a second tier is laid over this, protected by a lath, the head of the second being laid to the bottom of the first; over this another bed of sawdust is laid, not too thick, another lath; and so on till the binn is filled.

( (IP-MAT (ILYR (PP-SCON (IP-PPL3 (HAG;_cat_Ve_ Having;{have})
                                  (IP-PPL-CAT (ADVP-NIM (ADV carefully;{carefully}))
                                              (VVN;_Tn_ counted;{count})
                                              (NP-OB1;{WINE_BOTTLES} (D the;{the})
                                                                     (NS bottles;{bottle})))))
                (PUNC ,)
                (NP-SBJ;{WINE_BOTTLES} (PRO they;{they}))
                (BEP;_cat_VePASS_ are;{be})
                (IP-PPL-CAT (NP-LGS *)
                            (VVN;_Ip_ stored;{store[away]})
                            (ADVP-CLR (ADV away;{away}))
                            (PP-NIM (P-ROLE in;{in})
                                    (NP (ADJP (NP-GEN;{WINE_BOTTLES} (PRO;_genm_ their;{their}))
                                              (ADJ respective;{respective}))
                                        (NS binns;{binns})))))
          (PUNC ,)
          (PP-SCON (IP-PPL3 (NP-SBJ (D a;{a})
                                    (N layer;{layer})
                                    (PP (P-ROLE of;{of})
                                        (NP (NLYR (NLYR (N sand;{sand}))
                                                  (CONJP (CONJ or;{or})
                                                         (NLYR (N sawdust;{sawdust})))))))
                            (BAG;_cat_VePASS_ being;{be})
                            (IP-PPL-CAT (NP-LGS *)
                                        (VVN;_Tn.pr_ placed;{place[under,over]})
                                        (PP-CLR (P-ROLE under;{under})
                                                (NP (NLYR (NLYR;{TIER} (D the;{the})
                                                                       (NUM first;{first})
                                                                       (N tier;{tier}))
                                                          (PUNC ,)
                                                          (CONJP (CONJ and;{and})
                                                                 (NLYR (D;_nphd_ another;{another})
                                                                       (PP (P-ROLE over;{over})
                                                                           (NP;{TIER} (PRO it;{it})))))))))
                            (PUNC ;)
                            (PRN (IP-MAT (ILYR (ILYR (NP-SBJ (D a;{a})
                                                             (NUM second;{second})
                                                             (N tier;{tier}))
                                                     (BEP;_cat_VePASS_ is;{be})
                                                     (IP-PPL-CAT (NP-LGS *)
                                                                 (VVN;_Tn.pr_ laid;{lay[over]})
                                                                 (PP-NIM (P-ROLE over;{over})
                                                                         (NP (D;_nphd_ this;{this}))))
                                                     (PUNC ,)
                                                     (PP-SCON (IP-PPL (VVN;_Tn_ protected;{protect})
                                                                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                              (NP (D a;{a})
                                                                                  (N lath;{lath})))))
                                                     (PUNC ,)
                                                     (PP-SCON (IP-PPL3 (NP-SBJ (D the;{the})
                                                                               (N head;{head})
                                                                               (PP (P-ROLE of;{of})
                                                                                   (NP (D the;{the})
                                                                                       (NUM second;{second}))))
                                                                       (BAG;_cat_VePASS_ being;{be})
                                                                       (IP-PPL-CAT (NP-LGS *)
                                                                                   (VVN;_Tn.pr_ laid;{lay[to]})
                                                                                   (PP-CLR (P-ROLE to;{to})
                                                                                           (NP (D the;{the})
                                                                                               (N bottom;{bottom})
                                                                                               (PP (P-ROLE of;{of})
                                                                                                   (NP (D the;{the})
                                                                                                       (NUM first;{first})))))))))
                                               (PUNC ;)
                                               (CONJP (ILYR (ILYR (ILYR (PP-NIM (P-ROLE over;{over})
                                                                                (NP (D;_nphd_ this;{this})))
                                                                        (NP-SBJ (D another;{another})
                                                                                (N bed;{bed})
                                                                                (PP (P-ROLE of;{of})
                                                                                    (NP (N sawdust;{sawdust})))
                                                                                (ADJP *ICH*-162))
                                                                        (BEP;_cat_VePASS_ is;{be})
                                                                        (IP-PPL-CAT (NP-LGS *)
                                                                                    (VVN;_Tn_ laid;{lay}))
                                                                        (PUNC ,)
                                                                        (ADJP-162 (NEG not;{not})
                                                                                  (ADVP (ADV too;{too}))
                                                                                  (ADJ thick;{thick}))
                                                                        (PUNC ,))
                                                                  (CONJP (ILYR (NP-SBJ (D another;{another})
                                                                                       (N lath;{lath})))))))
                                               (PUNC ;)
                                               (CONJP (CONJ and;{and})
                                                      (ILYR (ADVP-NIM (ADV so_on;{so_on}))
                                                            (PP-SCON (P-CONN till;{till})
                                                                     (IP-ADV (NP-SBJ (D the;{the})
                                                                                     (N binn;{binn}))
                                                                             (BEP;_cat_VePASS_ is;{be})
                                                                             (IP-PPL-CAT (NP-LGS *)
                                                                                         (VVN;_Tn_ filled;{fill})))))))))))
          (PUNC .))
  (ID 41_a_beeton_1861;2169-5))

arc(r_0041_0001__Having,r_0041_0003__counted,scope).
arc(r_0041_0003__counted,r_0041_0002__carefully,nim).
arc(r_0041_0003__counted,r_0041_0004__the_r_0041_0005__bottles,arg1).
arc(r_0041_0003__counted,z_0041_5060,arg0).
arc(r_0041_0008__are,r_0041_0009__stored_r_0041_0010__away,scope).
arc(r_0041_0009__stored_r_0041_0010__away,r_0041_0004__the_r_0041_0005__bottles,arg1).
arc(r_0041_0009__stored_r_0041_0010__away,r_0041_0014__binns,r_0041_0011__in__nim).
arc(r_0041_0009__stored_r_0041_0010__away,z_0041_5071___star_,arg0).
arc(r_0041_0013__respective,r_0041_0004__the_r_0041_0005__bottles,gen).
arc(r_0041_0014__binns,r_0041_0013__respective,attrib).
arc(r_0041_0016__a_r_0041_0017__layer,r_0041_0020__or,r_0041_0018__of).
arc(r_0041_0020__or,r_0041_0019__sand,conj1).
arc(r_0041_0020__or,r_0041_0021__sawdust,conj2).
arc(r_0041_0022__being,r_0041_0023__placed_r_0041_0024__under,scope).
arc(r_0041_0022__being,r_0041_0077__and,prn).
arc(r_0041_0023__placed_r_0041_0024__under,r_0041_0016__a_r_0041_0017__layer,arg1).
arc(r_0041_0023__placed_r_0041_0024__under,r_0041_0029__and,arg2).
arc(r_0041_0023__placed_r_0041_0024__under,z_0041_5054___star_,arg0).
arc(r_0041_0029__and,r_0041_0025__the_r_0041_0026__first_r_0041_0027__tier,conj1).
arc(r_0041_0029__and,r_0041_0030__another,conj2).
arc(r_0041_0030__another,r_0041_0025__the_r_0041_0026__first_r_0041_0027__tier,r_0041_0031__over).
arc(r_0041_0037__is,r_0041_0038__laid,scope).
arc(r_0041_0038__laid,r_0041_0034__a_r_0041_0035__second_r_0041_0036__tier,arg1).
arc(r_0041_0038__laid,r_0041_0040__this,r_0041_0039__over__nim).
arc(r_0041_0038__laid,z_0041_5024___star_,arg0).
arc(r_0041_0042__protected,r_0041_0034__a_r_0041_0035__second_r_0041_0036__tier,arg1).
arc(r_0041_0042__protected,r_0041_0044__a_r_0041_0045__lath,r_0041_0043__by_arg0).
arc(r_0041_0047__the_r_0041_0048__head,r_0041_0050__the_r_0041_0051__second,r_0041_0049__of).
arc(r_0041_0052__being,r_0041_0053__laid_r_0041_0054__to,scope).
arc(r_0041_0053__laid_r_0041_0054__to,r_0041_0047__the_r_0041_0048__head,arg1).
arc(r_0041_0053__laid_r_0041_0054__to,r_0041_0055__the_r_0041_0056__bottom,arg2).
arc(r_0041_0053__laid_r_0041_0054__to,z_0041_5016___star_,arg0).
arc(r_0041_0055__the_r_0041_0056__bottom,r_0041_0058__the_r_0041_0059__first,r_0041_0057__of).
arc(r_0041_0063__another_r_0041_0064__bed,r_0041_0066__sawdust,r_0041_0065__of).
arc(r_0041_0063__another_r_0041_0064__bed,r_0041_0070__not_r_0041_0072__thick,attrib).
arc(r_0041_0067__is,r_0041_0062__this,r_0041_0061__over__nim).
arc(r_0041_0067__is,r_0041_0068__laid,scope).
arc(r_0041_0068__laid,r_0041_0063__another_r_0041_0064__bed,arg1).
arc(r_0041_0068__laid,z_0041_5033___star_,arg0).
arc(r_0041_0070__not_r_0041_0072__thick,r_0041_0071__too,qual).
arc(r_0041_0077__and,r_0041_0079__till,conj3).
arc(r_0041_0077__and,z_0041_5009,conj1).
arc(r_0041_0077__and,z_0041_5027,conj2).
arc(r_0041_0079__till,r_0041_0082__is,restriction).
arc(r_0041_0079__till,z_0041_5047,scope).
arc(r_0041_0082__is,r_0041_0083__filled,scope).
arc(r_0041_0083__filled,r_0041_0080__the_r_0041_0081__binn,arg1).
arc(r_0041_0083__filled,z_0041_5043___star_,arg0).
arc(z_0041_5001,r_0041_0022__being,restriction).
arc(z_0041_5001,z_0041_5057,scope).
arc(z_0041_5009,r_0041_0052__being,restriction).
arc(z_0041_5009,z_0041_5019,scope).
arc(z_0041_5019,r_0041_0037__is,scope).
arc(z_0041_5019,r_0041_0042__protected,restriction).
arc(z_0041_5027,r_0041_0067__is,conj1).
arc(z_0041_5027,z_0041_5037,conj2).
arc(z_0041_5037,r_0041_0074__another_r_0041_0075__lath,arg0).
arc(z_0041_5047,r_0041_0078__so_on,nim).
arc(z_0041_5057,r_0041_0001__Having,restriction).
arc(z_0041_5057,r_0041_0008__are,scope).

fof(formula,axiom,
    ? [R_0041_0080__THE_R_0041_0081__BINN,Z_0041_5043___STAR_,R_0041_0082__IS_R_0041_0083__FILLED,R_0041_0078__SO_ON,Z_0041_5047,R_0041_0079__TILL,R_0041_0050__THE_R_0041_0051__SECOND,R_0041_0047__THE_R_0041_0048__HEAD,R_0041_0058__THE_R_0041_0059__FIRST,R_0041_0055__THE_R_0041_0056__BOTTOM,Z_0041_5016___STAR_,R_0041_0052__BEING_R_0041_0053__LAID_R_0041_0054__TO,R_0041_0034__A_R_0041_0035__SECOND_R_0041_0036__TIER,R_0041_0040__THIS,Z_0041_5024___STAR_,R_0041_0037__IS_R_0041_0038__LAID,R_0041_0044__A_R_0041_0045__LATH,R_0041_0042__PROTECTED,Z_0041_5019,Z_0041_5009,R_0041_0062__THIS,R_0041_0066__SAWDUST,R_0041_0071__TOO,R_0041_0070__NOT_R_0041_0072__THICK,R_0041_0063__ANOTHER_R_0041_0064__BED,Z_0041_5033___STAR_,R_0041_0067__IS_R_0041_0068__LAID,R_0041_0074__ANOTHER_R_0041_0075__LATH,Z_0041_5037,Z_0041_5027,R_0041_0077__AND,R_0041_0019__SAND,R_0041_0021__SAWDUST,R_0041_0020__OR,R_0041_0016__A_R_0041_0017__LAYER,R_0041_0025__THE_R_0041_0026__FIRST_R_0041_0027__TIER,R_0041_0030__ANOTHER,R_0041_0029__AND,Z_0041_5054___STAR_,R_0041_0022__BEING_R_0041_0023__PLACED_R_0041_0024__UNDER,R_0041_0002__CAREFULLY,R_0041_0004__THE_R_0041_0005__BOTTLES,Z_0041_5060,R_0041_0001__HAVING_R_0041_0003__COUNTED,R_0041_0013__RESPECTIVE,R_0041_0014__BINNS,Z_0041_5071___STAR_,R_0041_0008__ARE_R_0041_0009__STORED_R_0041_0010__AWAY,Z_0041_5057,Z_0041_5001] :
      ( r_0041_0002__carefully(R_0041_0002__CAREFULLY)
      & r_0041_0004__the_r_0041_0005__bottles(R_0041_0004__THE_R_0041_0005__BOTTLES)
      & r_0041_0019__sand(R_0041_0019__SAND)
      & r_0041_0021__sawdust(R_0041_0021__SAWDUST)
      & r_0041_0025__the_r_0041_0026__first_r_0041_0027__tier(R_0041_0025__THE_R_0041_0026__FIRST_R_0041_0027__TIER)
      & r_0041_0034__a_r_0041_0035__second_r_0041_0036__tier(R_0041_0034__A_R_0041_0035__SECOND_R_0041_0036__TIER)
      & r_0041_0040__this(R_0041_0040__THIS)
      & r_0041_0044__a_r_0041_0045__lath(R_0041_0044__A_R_0041_0045__LATH)
      & r_0041_0050__the_r_0041_0051__second(R_0041_0050__THE_R_0041_0051__SECOND)
      & r_0041_0058__the_r_0041_0059__first(R_0041_0058__THE_R_0041_0059__FIRST)
      & r_0041_0062__this(R_0041_0062__THIS)
      & r_0041_0066__sawdust(R_0041_0066__SAWDUST)
      & r_0041_0071__too(R_0041_0071__TOO)
      & r_0041_0074__another_r_0041_0075__lath(R_0041_0074__ANOTHER_R_0041_0075__LATH)
      & r_0041_0078__so_on(R_0041_0078__SO_ON)
      & r_0041_0080__the_r_0041_0081__binn(R_0041_0080__THE_R_0041_0081__BINN)
      & z_0041_5016___star_(Z_0041_5016___STAR_)
      & z_0041_5024___star_(Z_0041_5024___STAR_)
      & z_0041_5033___star_(Z_0041_5033___STAR_)
      & z_0041_5043___star_(Z_0041_5043___STAR_)
      & z_0041_5054___star_(Z_0041_5054___STAR_)
      & z_0041_5060(Z_0041_5060)
      & z_0041_5071___star_(Z_0041_5071___STAR_)
      & z_0041_5001(Z_0041_5001)
      & has_conj2(Z_0041_5001,Z_0041_5057)
      & z_0041_5057(Z_0041_5057)
      & has_conj2(Z_0041_5057,R_0041_0008__ARE_R_0041_0009__STORED_R_0041_0010__AWAY)
      & r_0041_0008__are_r_0041_0009__stored_r_0041_0010__away(R_0041_0008__ARE_R_0041_0009__STORED_R_0041_0010__AWAY)
      & has_arg0(R_0041_0008__ARE_R_0041_0009__STORED_R_0041_0010__AWAY,Z_0041_5071___STAR_)
      & has_r_0041_0011__in__nim(R_0041_0008__ARE_R_0041_0009__STORED_R_0041_0010__AWAY,R_0041_0014__BINNS)
      & r_0041_0014__binns(R_0041_0014__BINNS)
      & has_attrib(R_0041_0014__BINNS,R_0041_0013__RESPECTIVE)
      & r_0041_0013__respective(R_0041_0013__RESPECTIVE)
      & has_gen(R_0041_0013__RESPECTIVE,R_0041_0004__THE_R_0041_0005__BOTTLES)
      & has_arg1(R_0041_0008__ARE_R_0041_0009__STORED_R_0041_0010__AWAY,R_0041_0004__THE_R_0041_0005__BOTTLES)
      & has_conj1(Z_0041_5057,R_0041_0001__HAVING_R_0041_0003__COUNTED)
      & r_0041_0001__Having_r_0041_0003__counted(R_0041_0001__HAVING_R_0041_0003__COUNTED)
      & has_arg0(R_0041_0001__HAVING_R_0041_0003__COUNTED,Z_0041_5060)
      & has_arg1(R_0041_0001__HAVING_R_0041_0003__COUNTED,R_0041_0004__THE_R_0041_0005__BOTTLES)
      & has_nim(R_0041_0001__HAVING_R_0041_0003__COUNTED,R_0041_0002__CAREFULLY)
      & has_conj1(Z_0041_5001,R_0041_0022__BEING_R_0041_0023__PLACED_R_0041_0024__UNDER)
      & r_0041_0022__being_r_0041_0023__placed_r_0041_0024__under(R_0041_0022__BEING_R_0041_0023__PLACED_R_0041_0024__UNDER)
      & has_arg0(R_0041_0022__BEING_R_0041_0023__PLACED_R_0041_0024__UNDER,Z_0041_5054___STAR_)
      & has_arg2(R_0041_0022__BEING_R_0041_0023__PLACED_R_0041_0024__UNDER,R_0041_0029__AND)
      & r_0041_0029__and(R_0041_0029__AND)
      & has_conj2(R_0041_0029__AND,R_0041_0030__ANOTHER)
      & r_0041_0030__another(R_0041_0030__ANOTHER)
      & has_r_0041_0031__over(R_0041_0030__ANOTHER,R_0041_0025__THE_R_0041_0026__FIRST_R_0041_0027__TIER)
      & has_conj1(R_0041_0029__AND,R_0041_0025__THE_R_0041_0026__FIRST_R_0041_0027__TIER)
      & has_arg1(R_0041_0022__BEING_R_0041_0023__PLACED_R_0041_0024__UNDER,R_0041_0016__A_R_0041_0017__LAYER)
      & r_0041_0016__a_r_0041_0017__layer(R_0041_0016__A_R_0041_0017__LAYER)
      & has_r_0041_0018__of(R_0041_0016__A_R_0041_0017__LAYER,R_0041_0020__OR)
      & r_0041_0020__or(R_0041_0020__OR)
      & has_conj2(R_0041_0020__OR,R_0041_0021__SAWDUST)
      & has_conj1(R_0041_0020__OR,R_0041_0019__SAND)
      & has_prn(R_0041_0022__BEING_R_0041_0023__PLACED_R_0041_0024__UNDER,R_0041_0077__AND)
      & r_0041_0077__and(R_0041_0077__AND)
      & has_conj2(R_0041_0077__AND,Z_0041_5027)
      & z_0041_5027(Z_0041_5027)
      & has_conj2(Z_0041_5027,Z_0041_5037)
      & z_0041_5037(Z_0041_5037)
      & has_arg0(Z_0041_5037,R_0041_0074__ANOTHER_R_0041_0075__LATH)
      & has_conj1(Z_0041_5027,R_0041_0067__IS_R_0041_0068__LAID)
      & r_0041_0067__is_r_0041_0068__laid(R_0041_0067__IS_R_0041_0068__LAID)
      & has_arg0(R_0041_0067__IS_R_0041_0068__LAID,Z_0041_5033___STAR_)
      & has_arg1(R_0041_0067__IS_R_0041_0068__LAID,R_0041_0063__ANOTHER_R_0041_0064__BED)
      & r_0041_0063__another_r_0041_0064__bed(R_0041_0063__ANOTHER_R_0041_0064__BED)
      & has_attrib(R_0041_0063__ANOTHER_R_0041_0064__BED,R_0041_0070__NOT_R_0041_0072__THICK)
      & ~ has_qual(R_0041_0070__NOT_R_0041_0072__THICK,R_0041_0071__TOO)
      & has_r_0041_0065__of(R_0041_0063__ANOTHER_R_0041_0064__BED,R_0041_0066__SAWDUST)
      & has_r_0041_0061__over__nim(R_0041_0067__IS_R_0041_0068__LAID,R_0041_0062__THIS)
      & has_conj1(R_0041_0077__AND,Z_0041_5009)
      & z_0041_5009(Z_0041_5009)
      & has_conj2(Z_0041_5009,Z_0041_5019)
      & z_0041_5019(Z_0041_5019)
      & has_conj1(Z_0041_5019,R_0041_0042__PROTECTED)
      & r_0041_0042__protected(R_0041_0042__PROTECTED)
      & has_r_0041_0043__by_arg0(R_0041_0042__PROTECTED,R_0041_0044__A_R_0041_0045__LATH)
      & has_arg1(R_0041_0042__PROTECTED,R_0041_0034__A_R_0041_0035__SECOND_R_0041_0036__TIER)
      & has_conj2(Z_0041_5019,R_0041_0037__IS_R_0041_0038__LAID)
      & r_0041_0037__is_r_0041_0038__laid(R_0041_0037__IS_R_0041_0038__LAID)
      & has_arg0(R_0041_0037__IS_R_0041_0038__LAID,Z_0041_5024___STAR_)
      & has_r_0041_0039__over__nim(R_0041_0037__IS_R_0041_0038__LAID,R_0041_0040__THIS)
      & has_arg1(R_0041_0037__IS_R_0041_0038__LAID,R_0041_0034__A_R_0041_0035__SECOND_R_0041_0036__TIER)
      & has_conj1(Z_0041_5009,R_0041_0052__BEING_R_0041_0053__LAID_R_0041_0054__TO)
      & r_0041_0052__being_r_0041_0053__laid_r_0041_0054__to(R_0041_0052__BEING_R_0041_0053__LAID_R_0041_0054__TO)
      & has_arg0(R_0041_0052__BEING_R_0041_0053__LAID_R_0041_0054__TO,Z_0041_5016___STAR_)
      & has_arg2(R_0041_0052__BEING_R_0041_0053__LAID_R_0041_0054__TO,R_0041_0055__THE_R_0041_0056__BOTTOM)
      & r_0041_0055__the_r_0041_0056__bottom(R_0041_0055__THE_R_0041_0056__BOTTOM)
      & has_r_0041_0057__of(R_0041_0055__THE_R_0041_0056__BOTTOM,R_0041_0058__THE_R_0041_0059__FIRST)
      & has_arg1(R_0041_0052__BEING_R_0041_0053__LAID_R_0041_0054__TO,R_0041_0047__THE_R_0041_0048__HEAD)
      & r_0041_0047__the_r_0041_0048__head(R_0041_0047__THE_R_0041_0048__HEAD)
      & has_r_0041_0049__of(R_0041_0047__THE_R_0041_0048__HEAD,R_0041_0050__THE_R_0041_0051__SECOND)
      & has_conj3(R_0041_0077__AND,R_0041_0079__TILL)
      & r_0041_0079__till(R_0041_0079__TILL)
      & has_conj2(R_0041_0079__TILL,Z_0041_5047)
      & z_0041_5047(Z_0041_5047)
      & has_nim(Z_0041_5047,R_0041_0078__SO_ON)
      & has_conj1(R_0041_0079__TILL,R_0041_0082__IS_R_0041_0083__FILLED)
      & r_0041_0082__is_r_0041_0083__filled(R_0041_0082__IS_R_0041_0083__FILLED)
      & has_arg0(R_0041_0082__IS_R_0041_0083__FILLED,Z_0041_5043___STAR_)
      & has_arg1(R_0041_0082__IS_R_0041_0083__FILLED,R_0041_0080__THE_R_0041_0081__BINN) ) ).