41_a_beeton_1861
The drawer is to see that the bottles are up to the mark, but not too full, the bottle being placed in a clean tub to prevent waste.
arc(r_0041_0003__is, r_0041_0004__to_r_0041_0005__see, scope).
arc(r_0041_0004__to_r_0041_0005__see, r_0041_0001__The_r_0041_0002__drawer, arg0).
arc(r_0041_0004__to_r_0041_0005__see, r_0041_0014__but, arg1).
arc(r_0041_0009__are, r_0041_0007__the_r_0041_0008__bottles, arg0).
arc(r_0041_0009__are, r_0041_0011__the_r_0041_0012__mark, r_0041_0010__up_to_clr30).
arc(r_0041_0014__but, r_0041_0009__are, conj1).
arc(r_0041_0014__but, r_0041_0015__not, conj2).
arc(r_0041_0015__not, r_0041_0007__the_r_0041_0008__bottles, arg0).
arc(r_0041_0015__not, r_0041_0017__full, prd).
arc(r_0041_0017__full, r_0041_0016__too, qual44).
arc(r_0041_0021__being, r_0041_0022__placed, scope).
arc(r_0041_0022__placed, r_0041_0019__the_r_0041_0020__bottle, arg1).
arc(r_0041_0022__placed, r_0041_0024__a_r_0041_0026__tub, r_0041_0023__in_nim68).
arc(r_0041_0022__placed, z_000_41_a_beeton_1861_61, arg0).
arc(r_0041_0024__a_r_0041_0026__tub, r_0041_0025__clean, attrib71).
arc(r_0041_0027__to_r_0041_0028__prevent, r_0041_0019__the_r_0041_0020__bottle, arg0).
arc(r_0041_0027__to_r_0041_0028__prevent, r_0041_0029__waste, arg1).
arc(z_000_41_a_beeton_1861_51, r_0041_0003__is, scope).
arc(z_000_41_a_beeton_1861_51, z_000_41_a_beeton_1861_76, restriction).
arc(z_000_41_a_beeton_1861_76, r_0041_0021__being, scope).
arc(z_000_41_a_beeton_1861_76, r_0041_0027__to_r_0041_0028__prevent, restriction).
fof(formula,axiom,
? [R_0041_0001__THE_R_0041_0002__DRAWER,R_0041_0007__THE_R_0041_0008__BOTTLES,R_0041_0011__THE_R_0041_0012__MARK,R_0041_0009__ARE,R_0041_0016__TOO,R_0041_0017__FULL,R_0041_0015__NOT,R_0041_0014__BUT,R_0041_0003__IS_R_0041_0004__TO_R_0041_0005__SEE,R_0041_0019__THE_R_0041_0020__BOTTLE,R_0041_0025__CLEAN,R_0041_0024__A_R_0041_0026__TUB,Z_000_41_A_BEETON_1861_61,R_0041_0021__BEING_R_0041_0022__PLACED,R_0041_0029__WASTE,R_0041_0027__TO_R_0041_0028__PREVENT,Z_000_41_A_BEETON_1861_76,Z_000_41_A_BEETON_1861_51] :
( r_0041_0001__The_r_0041_0002__drawer(R_0041_0001__THE_R_0041_0002__DRAWER)
& r_0041_0007__the_r_0041_0008__bottles(R_0041_0007__THE_R_0041_0008__BOTTLES)
& r_0041_0011__the_r_0041_0012__mark(R_0041_0011__THE_R_0041_0012__MARK)
& r_0041_0016__too(R_0041_0016__TOO)
& r_0041_0019__the_r_0041_0020__bottle(R_0041_0019__THE_R_0041_0020__BOTTLE)
& r_0041_0025__clean(R_0041_0025__CLEAN)
& r_0041_0029__waste(R_0041_0029__WASTE)
& z_000_41_a_beeton_1861_61(Z_000_41_A_BEETON_1861_61)
& z_000_41_a_beeton_1861_51(Z_000_41_A_BEETON_1861_51)
& has_conj1(Z_000_41_A_BEETON_1861_51,Z_000_41_A_BEETON_1861_76)
& z_000_41_a_beeton_1861_76(Z_000_41_A_BEETON_1861_76)
& has_conj1(Z_000_41_A_BEETON_1861_76,R_0041_0027__TO_R_0041_0028__PREVENT)
& r_0041_0027__to_r_0041_0028__prevent(R_0041_0027__TO_R_0041_0028__PREVENT)
& has_arg1(R_0041_0027__TO_R_0041_0028__PREVENT,R_0041_0029__WASTE)
& has_arg0(R_0041_0027__TO_R_0041_0028__PREVENT,R_0041_0019__THE_R_0041_0020__BOTTLE)
& has_conj2(Z_000_41_A_BEETON_1861_76,R_0041_0021__BEING_R_0041_0022__PLACED)
& r_0041_0021__being_r_0041_0022__placed(R_0041_0021__BEING_R_0041_0022__PLACED)
& has_arg0(R_0041_0021__BEING_R_0041_0022__PLACED,Z_000_41_A_BEETON_1861_61)
& has_r_0041_0023__in_nim68(R_0041_0021__BEING_R_0041_0022__PLACED,R_0041_0024__A_R_0041_0026__TUB)
& r_0041_0024__a_r_0041_0026__tub(R_0041_0024__A_R_0041_0026__TUB)
& has_attrib71(R_0041_0024__A_R_0041_0026__TUB,R_0041_0025__CLEAN)
& has_arg1(R_0041_0021__BEING_R_0041_0022__PLACED,R_0041_0019__THE_R_0041_0020__BOTTLE)
& has_conj2(Z_000_41_A_BEETON_1861_51,R_0041_0003__IS_R_0041_0004__TO_R_0041_0005__SEE)
& r_0041_0003__is_r_0041_0004__to_r_0041_0005__see(R_0041_0003__IS_R_0041_0004__TO_R_0041_0005__SEE)
& has_arg1(R_0041_0003__IS_R_0041_0004__TO_R_0041_0005__SEE,R_0041_0014__BUT)
& r_0041_0014__but(R_0041_0014__BUT)
& has_conj2(R_0041_0014__BUT,R_0041_0015__NOT)
& ~ ( has_prd(R_0041_0015__NOT,R_0041_0017__FULL)
& r_0041_0017__full(R_0041_0017__FULL)
& has_qual44(R_0041_0017__FULL,R_0041_0016__TOO)
& has_arg0(R_0041_0015__NOT,R_0041_0007__THE_R_0041_0008__BOTTLES) )
& has_conj1(R_0041_0014__BUT,R_0041_0009__ARE)
& r_0041_0009__are(R_0041_0009__ARE)
& has_r_0041_0010__up_to_clr30(R_0041_0009__ARE,R_0041_0011__THE_R_0041_0012__MARK)
& has_arg0(R_0041_0009__ARE,R_0041_0007__THE_R_0041_0008__BOTTLES)
& has_arg0(R_0041_0003__IS_R_0041_0004__TO_R_0041_0005__SEE,R_0041_0001__THE_R_0041_0002__DRAWER) ) ).
( (IP-MAT (NP-SBJ (D The;{the})
(N drawer;{drawer}))
(BEP;_cat_Vt_ is;{be})
(IP-INF-CAT (TO to;{to})
(VB;__ see;{see})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ (D the;{the})
(NS bottles;{bottle}))
(ILYR (ILYR (BEP;_Ipr_ are;{be[up_to]})
(PP-CLR (P-ROLE up_to;{up_to})
(NP (D the;{the})
(N mark;{mark}))))
(PUNC ,)
(CONJP (CONJ but;{but})
(ILYR (NEG not;{not})
(ADJP-PRD (ADVP (ADV too;{too}))
(ADJ full;{full}))))))))
(PUNC ,)
(PP-SCON (IP-PPL3 (NP-SBJ (D the;{the})
(N bottle;{bottle}))
(BAG;_cat_VePASS_ being;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;__ placed;{place})
(PP-NIM (P-ROLE in;{in})
(NP (D a;{a})
(ADJP (ADJ clean;{clean}))
(N tub;{tub}))))
(PP-SCON (IP-INF (TO to;{to})
(VB;__ prevent;{prevent})
(NP-OB1 (N waste;{waste}))))))
(PUNC .))
(ID 41_a_beeton_1861;2167-5))