Context                Previous, Next                Top


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.

%3 r_0041_0003__is is r_0041_0004__to_r_0041_0005__see to see r_0041_0003__is->r_0041_0004__to_r_0041_0005__see [scope] r_0041_0001__The_r_0041_0002__drawer The drawer r_0041_0004__to_r_0041_0005__see->r_0041_0001__The_r_0041_0002__drawer [arg0] r_0041_0014__but but r_0041_0004__to_r_0041_0005__see->r_0041_0014__but [arg1] r_0041_0009__are are r_0041_0014__but->r_0041_0009__are [conj1] r_0041_0015__not not r_0041_0014__but->r_0041_0015__not [conj2] r_0041_0007__the_r_0041_0008__bottles the bottles r_0041_0009__are->r_0041_0007__the_r_0041_0008__bottles [arg0] r_0041_0011__the_r_0041_0012__mark the mark r_0041_0009__are->r_0041_0011__the_r_0041_0012__mark up to [clr] z_000_41_a_beeton_1861_40 r_0041_0015__not->z_000_41_a_beeton_1861_40 [keep_scope] z_000_41_a_beeton_1861_40->r_0041_0007__the_r_0041_0008__bottles [arg0] r_0041_0017__full full z_000_41_a_beeton_1861_40->r_0041_0017__full [prd] r_0041_0016__too too r_0041_0017__full->r_0041_0016__too [qual] r_0041_0021__being being r_0041_0022__placed placed r_0041_0021__being->r_0041_0022__placed [scope] r_0041_0019__the_r_0041_0020__bottle the bottle r_0041_0022__placed->r_0041_0019__the_r_0041_0020__bottle [arg1] r_0041_0024__a_r_0041_0026__tub a tub r_0041_0022__placed->r_0041_0024__a_r_0041_0026__tub in [nim] z_000_41_a_beeton_1861_61 r_0041_0022__placed->z_000_41_a_beeton_1861_61 [arg0] r_0041_0025__clean clean r_0041_0024__a_r_0041_0026__tub->r_0041_0025__clean [attrib] r_0041_0027__to_r_0041_0028__prevent to prevent r_0041_0027__to_r_0041_0028__prevent->r_0041_0019__the_r_0041_0020__bottle [arg0] r_0041_0029__waste waste r_0041_0027__to_r_0041_0028__prevent->r_0041_0029__waste [arg1] z_000_41_a_beeton_1861_51 z_000_41_a_beeton_1861_51->r_0041_0003__is [scope] z_000_41_a_beeton_1861_76 z_000_41_a_beeton_1861_51->z_000_41_a_beeton_1861_76 [restriction] z_000_41_a_beeton_1861_76->r_0041_0021__being [scope] z_000_41_a_beeton_1861_76->r_0041_0027__to_r_0041_0028__prevent [restriction] 
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).


%3 r_0041_0003__is_r_0041_0004__to_r_0041_0005__see is to see r_0041_0001__The_r_0041_0002__drawer The drawer r_0041_0003__is_r_0041_0004__to_r_0041_0005__see->r_0041_0001__The_r_0041_0002__drawer [arg0] r_0041_0014__but but r_0041_0003__is_r_0041_0004__to_r_0041_0005__see->r_0041_0014__but [arg1] r_0041_0009__are are r_0041_0014__but->r_0041_0009__are [conj1] r_0041_0015__not not r_0041_0014__but->r_0041_0015__not [conj2] r_0041_0007__the_r_0041_0008__bottles the bottles r_0041_0009__are->r_0041_0007__the_r_0041_0008__bottles [arg0] r_0041_0011__the_r_0041_0012__mark the mark r_0041_0009__are->r_0041_0011__the_r_0041_0012__mark up to [clr] z_000_41_a_beeton_1861_40 r_0041_0015__not->z_000_41_a_beeton_1861_40 [keep_scope] z_000_41_a_beeton_1861_40->r_0041_0007__the_r_0041_0008__bottles [arg0] r_0041_0017__full full z_000_41_a_beeton_1861_40->r_0041_0017__full [prd] r_0041_0016__too too r_0041_0017__full->r_0041_0016__too [qual] r_0041_0021__being_r_0041_0022__placed being placed r_0041_0019__the_r_0041_0020__bottle the bottle r_0041_0021__being_r_0041_0022__placed->r_0041_0019__the_r_0041_0020__bottle [arg1] r_0041_0024__a_r_0041_0026__tub a tub r_0041_0021__being_r_0041_0022__placed->r_0041_0024__a_r_0041_0026__tub in [nim] z_000_41_a_beeton_1861_61 r_0041_0021__being_r_0041_0022__placed->z_000_41_a_beeton_1861_61 [arg0] r_0041_0025__clean clean r_0041_0024__a_r_0041_0026__tub->r_0041_0025__clean [attrib] r_0041_0027__to_r_0041_0028__prevent to prevent r_0041_0027__to_r_0041_0028__prevent->r_0041_0019__the_r_0041_0020__bottle [arg0] r_0041_0029__waste waste r_0041_0027__to_r_0041_0028__prevent->r_0041_0029__waste [arg1] z_000_41_a_beeton_1861_51 z_000_41_a_beeton_1861_51->r_0041_0003__is_r_0041_0004__to_r_0041_0005__see [conj2] z_000_41_a_beeton_1861_76 z_000_41_a_beeton_1861_51->z_000_41_a_beeton_1861_76 [conj1] z_000_41_a_beeton_1861_76->r_0041_0021__being_r_0041_0022__placed [conj2] z_000_41_a_beeton_1861_76->r_0041_0027__to_r_0041_0028__prevent [conj1] 
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) ) ) ).


n41_a_beeton_1861 n41_a_beeton_1861_4 The n41_a_beeton_1861_6 drawer n41_a_beeton_1861_8 is n41_a_beeton_1861_11 to n41_a_beeton_1861_13 see n41_a_beeton_1861_17 that n41_a_beeton_1861_20 the n41_a_beeton_1861_22 bottles n41_a_beeton_1861_26 are n41_a_beeton_1861_29 up_to n41_a_beeton_1861_32 the n41_a_beeton_1861_34 mark n41_a_beeton_1861_36 , n41_a_beeton_1861_39 but n41_a_beeton_1861_42 not n41_a_beeton_1861_46 too n41_a_beeton_1861_48 full n41_a_beeton_1861_50 , n41_a_beeton_1861_55 the n41_a_beeton_1861_57 bottle n41_a_beeton_1861_59 being n41_a_beeton_1861_62 * n41_a_beeton_1861_64 placed n41_a_beeton_1861_67 in n41_a_beeton_1861_70 a n41_a_beeton_1861_73 clean n41_a_beeton_1861_75 tub n41_a_beeton_1861_79 to n41_a_beeton_1861_81 prevent n41_a_beeton_1861_84 waste n41_a_beeton_1861_86 . n41_a_beeton_1861_1 IP-MAT n41_a_beeton_1861_2 NP-SBJ n41_a_beeton_1861_1->n41_a_beeton_1861_2 n41_a_beeton_1861_7 BEP;_cat_Vt_ n41_a_beeton_1861_1->n41_a_beeton_1861_7 n41_a_beeton_1861_9 IP-INF-CAT n41_a_beeton_1861_1->n41_a_beeton_1861_9 n41_a_beeton_1861_49 PUNC n41_a_beeton_1861_1->n41_a_beeton_1861_49 n41_a_beeton_1861_51 PP-SCON n41_a_beeton_1861_1->n41_a_beeton_1861_51 n41_a_beeton_1861_85 PUNC n41_a_beeton_1861_1->n41_a_beeton_1861_85 n41_a_beeton_1861_3 D n41_a_beeton_1861_2->n41_a_beeton_1861_3 n41_a_beeton_1861_5 N n41_a_beeton_1861_2->n41_a_beeton_1861_5 n41_a_beeton_1861_3->n41_a_beeton_1861_4 n41_a_beeton_1861_5->n41_a_beeton_1861_6 n41_a_beeton_1861_7->n41_a_beeton_1861_8 n41_a_beeton_1861_10 TO n41_a_beeton_1861_9->n41_a_beeton_1861_10 n41_a_beeton_1861_12 VB;__ n41_a_beeton_1861_9->n41_a_beeton_1861_12 n41_a_beeton_1861_14 CP-THT-OB1 n41_a_beeton_1861_9->n41_a_beeton_1861_14 n41_a_beeton_1861_10->n41_a_beeton_1861_11 n41_a_beeton_1861_12->n41_a_beeton_1861_13 n41_a_beeton_1861_15 IP-SUB n41_a_beeton_1861_14->n41_a_beeton_1861_15 n41_a_beeton_1861_16 C n41_a_beeton_1861_15->n41_a_beeton_1861_16 n41_a_beeton_1861_18 NP-SBJ n41_a_beeton_1861_15->n41_a_beeton_1861_18 n41_a_beeton_1861_23 ILYR n41_a_beeton_1861_15->n41_a_beeton_1861_23 n41_a_beeton_1861_16->n41_a_beeton_1861_17 n41_a_beeton_1861_19 D n41_a_beeton_1861_18->n41_a_beeton_1861_19 n41_a_beeton_1861_21 NS n41_a_beeton_1861_18->n41_a_beeton_1861_21 n41_a_beeton_1861_19->n41_a_beeton_1861_20 n41_a_beeton_1861_21->n41_a_beeton_1861_22 n41_a_beeton_1861_24 ILYR n41_a_beeton_1861_23->n41_a_beeton_1861_24 n41_a_beeton_1861_35 PUNC n41_a_beeton_1861_23->n41_a_beeton_1861_35 n41_a_beeton_1861_37 CONJP n41_a_beeton_1861_23->n41_a_beeton_1861_37 n41_a_beeton_1861_25 BEP;_Ipr_ n41_a_beeton_1861_24->n41_a_beeton_1861_25 n41_a_beeton_1861_27 PP-CLR n41_a_beeton_1861_24->n41_a_beeton_1861_27 n41_a_beeton_1861_25->n41_a_beeton_1861_26 n41_a_beeton_1861_28 P-ROLE n41_a_beeton_1861_27->n41_a_beeton_1861_28 n41_a_beeton_1861_30 NP n41_a_beeton_1861_27->n41_a_beeton_1861_30 n41_a_beeton_1861_28->n41_a_beeton_1861_29 n41_a_beeton_1861_31 D n41_a_beeton_1861_30->n41_a_beeton_1861_31 n41_a_beeton_1861_33 N n41_a_beeton_1861_30->n41_a_beeton_1861_33 n41_a_beeton_1861_31->n41_a_beeton_1861_32 n41_a_beeton_1861_33->n41_a_beeton_1861_34 n41_a_beeton_1861_35->n41_a_beeton_1861_36 n41_a_beeton_1861_38 CONJ n41_a_beeton_1861_37->n41_a_beeton_1861_38 n41_a_beeton_1861_40 ILYR n41_a_beeton_1861_37->n41_a_beeton_1861_40 n41_a_beeton_1861_38->n41_a_beeton_1861_39 n41_a_beeton_1861_41 NEG n41_a_beeton_1861_40->n41_a_beeton_1861_41 n41_a_beeton_1861_43 ADJP-PRD n41_a_beeton_1861_40->n41_a_beeton_1861_43 n41_a_beeton_1861_41->n41_a_beeton_1861_42 n41_a_beeton_1861_44 ADVP n41_a_beeton_1861_43->n41_a_beeton_1861_44 n41_a_beeton_1861_47 ADJ n41_a_beeton_1861_43->n41_a_beeton_1861_47 n41_a_beeton_1861_45 ADV n41_a_beeton_1861_44->n41_a_beeton_1861_45 n41_a_beeton_1861_45->n41_a_beeton_1861_46 n41_a_beeton_1861_47->n41_a_beeton_1861_48 n41_a_beeton_1861_49->n41_a_beeton_1861_50 n41_a_beeton_1861_52 IP-PPL3 n41_a_beeton_1861_51->n41_a_beeton_1861_52 n41_a_beeton_1861_53 NP-SBJ n41_a_beeton_1861_52->n41_a_beeton_1861_53 n41_a_beeton_1861_58 BAG;_cat_VePASS_ n41_a_beeton_1861_52->n41_a_beeton_1861_58 n41_a_beeton_1861_60 IP-PPL-CAT n41_a_beeton_1861_52->n41_a_beeton_1861_60 n41_a_beeton_1861_76 PP-SCON n41_a_beeton_1861_52->n41_a_beeton_1861_76 n41_a_beeton_1861_54 D n41_a_beeton_1861_53->n41_a_beeton_1861_54 n41_a_beeton_1861_56 N n41_a_beeton_1861_53->n41_a_beeton_1861_56 n41_a_beeton_1861_54->n41_a_beeton_1861_55 n41_a_beeton_1861_56->n41_a_beeton_1861_57 n41_a_beeton_1861_58->n41_a_beeton_1861_59 n41_a_beeton_1861_61 NP-LGS n41_a_beeton_1861_60->n41_a_beeton_1861_61 n41_a_beeton_1861_63 VVN;__ n41_a_beeton_1861_60->n41_a_beeton_1861_63 n41_a_beeton_1861_65 PP-NIM n41_a_beeton_1861_60->n41_a_beeton_1861_65 n41_a_beeton_1861_61->n41_a_beeton_1861_62 n41_a_beeton_1861_63->n41_a_beeton_1861_64 n41_a_beeton_1861_66 P-ROLE n41_a_beeton_1861_65->n41_a_beeton_1861_66 n41_a_beeton_1861_68 NP n41_a_beeton_1861_65->n41_a_beeton_1861_68 n41_a_beeton_1861_66->n41_a_beeton_1861_67 n41_a_beeton_1861_69 D n41_a_beeton_1861_68->n41_a_beeton_1861_69 n41_a_beeton_1861_71 ADJP n41_a_beeton_1861_68->n41_a_beeton_1861_71 n41_a_beeton_1861_74 N n41_a_beeton_1861_68->n41_a_beeton_1861_74 n41_a_beeton_1861_69->n41_a_beeton_1861_70 n41_a_beeton_1861_72 ADJ n41_a_beeton_1861_71->n41_a_beeton_1861_72 n41_a_beeton_1861_72->n41_a_beeton_1861_73 n41_a_beeton_1861_74->n41_a_beeton_1861_75 n41_a_beeton_1861_77 IP-INF n41_a_beeton_1861_76->n41_a_beeton_1861_77 n41_a_beeton_1861_78 TO n41_a_beeton_1861_77->n41_a_beeton_1861_78 n41_a_beeton_1861_80 VB;__ n41_a_beeton_1861_77->n41_a_beeton_1861_80 n41_a_beeton_1861_82 NP-OB1 n41_a_beeton_1861_77->n41_a_beeton_1861_82 n41_a_beeton_1861_78->n41_a_beeton_1861_79 n41_a_beeton_1861_80->n41_a_beeton_1861_81 n41_a_beeton_1861_83 N n41_a_beeton_1861_82->n41_a_beeton_1861_83 n41_a_beeton_1861_83->n41_a_beeton_1861_84 n41_a_beeton_1861_85->n41_a_beeton_1861_86 
( (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))