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, z_000_41_a_beeton_1861_40, keep_scope).
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_40, r_0041_0007__the_r_0041_0008__bottles, arg0).
arc(z_000_41_a_beeton_1861_40, r_0041_0017__full, prd).
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,
? [Z_41_A_BEETON_1861_51,Z_41_A_BEETON_1861_76,R_41_27_TO_PREVENT,R_41_29_WASTE,R_41_21_BEING_PLACED,Z_41_A_BEETON_1861_61,R_41_19_THE_BOTTLE,R_41_24_A_TUB,R_41_25_CLEAN,R_41_3_IS_TO_SEE,R_41_1_THE_DRAWER,R_41_14_BUT,R_41_9_ARE,R_41_7_THE_BOTTLES,R_41_11_THE_MARK] :
( waste(R_41_29_WASTE)
& the_bottle(R_41_19_THE_BOTTLE)
& clean(R_41_25_CLEAN)
& the_drawer(R_41_1_THE_DRAWER)
& the_bottles(R_41_7_THE_BOTTLES)
& the_mark(R_41_11_THE_MARK)
& z_41_a_beeton_1861_51(Z_41_A_BEETON_1861_51)
& conj1(Z_41_A_BEETON_1861_51,Z_41_A_BEETON_1861_76)
& z_41_a_beeton_1861_76(Z_41_A_BEETON_1861_76)
& conj1(Z_41_A_BEETON_1861_76,R_41_27_TO_PREVENT)
& to_prevent(R_41_27_TO_PREVENT,R_41_19_THE_BOTTLE,R_41_29_WASTE)
& conj2(Z_41_A_BEETON_1861_76,R_41_21_BEING_PLACED)
& being_placed(R_41_21_BEING_PLACED,Z_41_A_BEETON_1861_61,R_41_19_THE_BOTTLE)
& in_nim68(R_41_21_BEING_PLACED,R_41_24_A_TUB)
& a_tub(R_41_24_A_TUB)
& attrib71(R_41_24_A_TUB,R_41_25_CLEAN)
& conj2(Z_41_A_BEETON_1861_51,R_41_3_IS_TO_SEE)
& is_to_see(R_41_3_IS_TO_SEE,R_41_1_THE_DRAWER,R_41_14_BUT)
& but(R_41_14_BUT)
& conj1(R_41_14_BUT,R_41_9_ARE)
& are(R_41_9_ARE,R_41_7_THE_BOTTLES)
& up_to_clr30(R_41_9_ARE,R_41_11_THE_MARK)
& conj2(R_41_14_BUT,R_41_15_NOT)
& ~ ? [Z_41_A_BEETON_1861_40,R_41_17_FULL,R_41_16_TOO] :
( too(R_41_16_TOO)
& z_41_a_beeton_1861_40(Z_41_A_BEETON_1861_40,R_41_7_THE_BOTTLES,R_41_17_FULL)
& full(R_41_17_FULL)
& qual44(R_41_17_FULL,R_41_16_TOO) ) ) ).
( (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))