Context                Previous, Next                Top


28_a_beeton_1861
the butler has not, in this case, the same inducements to keep the bottles of the different sorts separated;

%3 r_0028_0003__has has r_0028_0001__the_r_0028_0002__butler the butler r_0028_0003__has->r_0028_0001__the_r_0028_0002__butler [arg0] r_0028_0007__this_r_0028_0008__case this case r_0028_0003__has->r_0028_0007__this_r_0028_0008__case in [nim] r_0028_0010__the_r_0028_0012__inducements the inducements r_0028_0003__has->r_0028_0010__the_r_0028_0012__inducements [arg1] r_0028_0011__same same r_0028_0010__the_r_0028_0012__inducements->r_0028_0011__same [attrib] r_0028_0013__to_r_0028_0014__keep to keep r_0028_0010__the_r_0028_0012__inducements->r_0028_0013__to_r_0028_0014__keep [emb] r_0028_0004__not not r_0028_0004__not->r_0028_0003__has [keep_scope] r_0028_0015__the_r_0028_0016__bottles the bottles r_0028_0013__to_r_0028_0014__keep->r_0028_0015__the_r_0028_0016__bottles [arg1] r_0028_0021__separated separated r_0028_0013__to_r_0028_0014__keep->r_0028_0021__separated [prd] z_000_28_a_beeton_1861_31 r_0028_0013__to_r_0028_0014__keep->z_000_28_a_beeton_1861_31 [arg0] r_0028_0018__the_r_0028_0020__sorts the sorts r_0028_0015__the_r_0028_0016__bottles->r_0028_0018__the_r_0028_0020__sorts of x_000_28_a_beeton_1861_52 __ r_0028_0021__separated->x_000_28_a_beeton_1861_52 [arg1] z_000_28_a_beeton_1861_53 r_0028_0021__separated->z_000_28_a_beeton_1861_53 [arg0] r_0028_0019__different different r_0028_0018__the_r_0028_0020__sorts->r_0028_0019__different [attrib] 
arc(r_0028_0003__has, r_0028_0001__the_r_0028_0002__butler, arg0).
arc(r_0028_0003__has, r_0028_0007__this_r_0028_0008__case, r_0028_0006__in_nim16).
arc(r_0028_0003__has, r_0028_0010__the_r_0028_0012__inducements, arg1).
arc(r_0028_0004__not, r_0028_0003__has, keep_scope).
arc(r_0028_0010__the_r_0028_0012__inducements, r_0028_0011__same, attrib26).
arc(r_0028_0010__the_r_0028_0012__inducements, r_0028_0013__to_r_0028_0014__keep, emb31).
arc(r_0028_0013__to_r_0028_0014__keep, r_0028_0015__the_r_0028_0016__bottles, arg1).
arc(r_0028_0013__to_r_0028_0014__keep, r_0028_0021__separated, prd).
arc(r_0028_0013__to_r_0028_0014__keep, z_000_28_a_beeton_1861_31, arg0).
arc(r_0028_0015__the_r_0028_0016__bottles, r_0028_0018__the_r_0028_0020__sorts, r_0028_0017__of).
arc(r_0028_0018__the_r_0028_0020__sorts, r_0028_0019__different, attrib47).
arc(r_0028_0021__separated, x_000_28_a_beeton_1861_52, arg1).
arc(r_0028_0021__separated, z_000_28_a_beeton_1861_53, arg0).


%3 r_0028_0003__has has r_0028_0001__the_r_0028_0002__butler the butler r_0028_0003__has->r_0028_0001__the_r_0028_0002__butler [arg0] r_0028_0007__this_r_0028_0008__case this case r_0028_0003__has->r_0028_0007__this_r_0028_0008__case in [nim] r_0028_0010__the_r_0028_0012__inducements the inducements r_0028_0003__has->r_0028_0010__the_r_0028_0012__inducements [arg1] r_0028_0011__same same r_0028_0010__the_r_0028_0012__inducements->r_0028_0011__same [attrib] r_0028_0013__to_r_0028_0014__keep to keep r_0028_0010__the_r_0028_0012__inducements->r_0028_0013__to_r_0028_0014__keep [emb] r_0028_0004__not not r_0028_0004__not->r_0028_0003__has [keep_scope] r_0028_0015__the_r_0028_0016__bottles the bottles r_0028_0013__to_r_0028_0014__keep->r_0028_0015__the_r_0028_0016__bottles [arg1] r_0028_0021__separated separated r_0028_0013__to_r_0028_0014__keep->r_0028_0021__separated [prd] z_000_28_a_beeton_1861_31 r_0028_0013__to_r_0028_0014__keep->z_000_28_a_beeton_1861_31 [arg0] r_0028_0018__the_r_0028_0020__sorts the sorts r_0028_0015__the_r_0028_0016__bottles->r_0028_0018__the_r_0028_0020__sorts of x_000_28_a_beeton_1861_52 __ r_0028_0021__separated->x_000_28_a_beeton_1861_52 [arg1] z_000_28_a_beeton_1861_53 r_0028_0021__separated->z_000_28_a_beeton_1861_53 [arg0] r_0028_0019__different different r_0028_0018__the_r_0028_0020__sorts->r_0028_0019__different [attrib] 
fof(formula,axiom,
    ~ ? [R_28_3_HAS,R_28_1_THE_BUTLER,R_28_10_THE_INDUCEMENTS,R_28_11_SAME,R_28_13_TO_KEEP,Z_28_A_BEETON_1861_31,R_28_15_THE_BOTTLES,R_28_18_THE_SORTS,R_28_19_DIFFERENT,R_28_21_SEPARATED,Z_28_A_BEETON_1861_53,X_28_A_BEETON_1861_52,R_28_7_THIS_CASE] :
        ( the_butler(R_28_1_THE_BUTLER)
        & same(R_28_11_SAME)
        & different(R_28_19_DIFFERENT)
        & this_case(R_28_7_THIS_CASE)
        & has(R_28_3_HAS,R_28_1_THE_BUTLER,R_28_10_THE_INDUCEMENTS)
        & the_inducements(R_28_10_THE_INDUCEMENTS)
        & attrib26(R_28_10_THE_INDUCEMENTS,R_28_11_SAME)
        & emb31(R_28_10_THE_INDUCEMENTS,R_28_13_TO_KEEP)
        & to_keep(R_28_13_TO_KEEP,Z_28_A_BEETON_1861_31,R_28_15_THE_BOTTLES,R_28_21_SEPARATED)
        & the_bottles(R_28_15_THE_BOTTLES)
        & of(R_28_15_THE_BOTTLES,R_28_18_THE_SORTS)
        & the_sorts(R_28_18_THE_SORTS)
        & attrib47(R_28_18_THE_SORTS,R_28_19_DIFFERENT)
        & separated(R_28_21_SEPARATED,Z_28_A_BEETON_1861_53,X_28_A_BEETON_1861_52)
        & in_nim16(R_28_3_HAS,R_28_7_THIS_CASE) ) ).


n28_a_beeton_1861 n28_a_beeton_1861_4 the n28_a_beeton_1861_6 butler n28_a_beeton_1861_8 has n28_a_beeton_1861_10 not n28_a_beeton_1861_12 , n28_a_beeton_1861_15 in n28_a_beeton_1861_18 this n28_a_beeton_1861_20 case n28_a_beeton_1861_22 , n28_a_beeton_1861_25 the n28_a_beeton_1861_28 same n28_a_beeton_1861_30 inducements n28_a_beeton_1861_33 to n28_a_beeton_1861_35 keep n28_a_beeton_1861_38 the n28_a_beeton_1861_40 bottles n28_a_beeton_1861_43 of n28_a_beeton_1861_46 the n28_a_beeton_1861_49 different n28_a_beeton_1861_51 sorts n28_a_beeton_1861_54 * n28_a_beeton_1861_56 separated n28_a_beeton_1861_58 ; n28_a_beeton_1861_1 IP-MAT n28_a_beeton_1861_2 NP-SBJ n28_a_beeton_1861_1->n28_a_beeton_1861_2 n28_a_beeton_1861_7 HVP;_Tn_ n28_a_beeton_1861_1->n28_a_beeton_1861_7 n28_a_beeton_1861_9 NEG n28_a_beeton_1861_1->n28_a_beeton_1861_9 n28_a_beeton_1861_11 PUNC n28_a_beeton_1861_1->n28_a_beeton_1861_11 n28_a_beeton_1861_13 PP-NIM n28_a_beeton_1861_1->n28_a_beeton_1861_13 n28_a_beeton_1861_21 PUNC n28_a_beeton_1861_1->n28_a_beeton_1861_21 n28_a_beeton_1861_23 NP-OB1 n28_a_beeton_1861_1->n28_a_beeton_1861_23 n28_a_beeton_1861_57 PUNC n28_a_beeton_1861_1->n28_a_beeton_1861_57 n28_a_beeton_1861_3 D n28_a_beeton_1861_2->n28_a_beeton_1861_3 n28_a_beeton_1861_5 N n28_a_beeton_1861_2->n28_a_beeton_1861_5 n28_a_beeton_1861_3->n28_a_beeton_1861_4 n28_a_beeton_1861_5->n28_a_beeton_1861_6 n28_a_beeton_1861_7->n28_a_beeton_1861_8 n28_a_beeton_1861_9->n28_a_beeton_1861_10 n28_a_beeton_1861_11->n28_a_beeton_1861_12 n28_a_beeton_1861_14 P-ROLE n28_a_beeton_1861_13->n28_a_beeton_1861_14 n28_a_beeton_1861_16 NP n28_a_beeton_1861_13->n28_a_beeton_1861_16 n28_a_beeton_1861_14->n28_a_beeton_1861_15 n28_a_beeton_1861_17 D n28_a_beeton_1861_16->n28_a_beeton_1861_17 n28_a_beeton_1861_19 N n28_a_beeton_1861_16->n28_a_beeton_1861_19 n28_a_beeton_1861_17->n28_a_beeton_1861_18 n28_a_beeton_1861_19->n28_a_beeton_1861_20 n28_a_beeton_1861_21->n28_a_beeton_1861_22 n28_a_beeton_1861_24 D n28_a_beeton_1861_23->n28_a_beeton_1861_24 n28_a_beeton_1861_26 ADJP n28_a_beeton_1861_23->n28_a_beeton_1861_26 n28_a_beeton_1861_29 NS n28_a_beeton_1861_23->n28_a_beeton_1861_29 n28_a_beeton_1861_31 IP-INF n28_a_beeton_1861_23->n28_a_beeton_1861_31 n28_a_beeton_1861_24->n28_a_beeton_1861_25 n28_a_beeton_1861_27 ADJ n28_a_beeton_1861_26->n28_a_beeton_1861_27 n28_a_beeton_1861_27->n28_a_beeton_1861_28 n28_a_beeton_1861_29->n28_a_beeton_1861_30 n28_a_beeton_1861_32 TO n28_a_beeton_1861_31->n28_a_beeton_1861_32 n28_a_beeton_1861_34 VB;_VP24A_ n28_a_beeton_1861_31->n28_a_beeton_1861_34 n28_a_beeton_1861_36 NP-OB1 n28_a_beeton_1861_31->n28_a_beeton_1861_36 n28_a_beeton_1861_52 IP-PPL-PRD n28_a_beeton_1861_31->n28_a_beeton_1861_52 n28_a_beeton_1861_32->n28_a_beeton_1861_33 n28_a_beeton_1861_34->n28_a_beeton_1861_35 n28_a_beeton_1861_37 D n28_a_beeton_1861_36->n28_a_beeton_1861_37 n28_a_beeton_1861_39 NS n28_a_beeton_1861_36->n28_a_beeton_1861_39 n28_a_beeton_1861_41 PP n28_a_beeton_1861_36->n28_a_beeton_1861_41 n28_a_beeton_1861_37->n28_a_beeton_1861_38 n28_a_beeton_1861_39->n28_a_beeton_1861_40 n28_a_beeton_1861_42 P-ROLE n28_a_beeton_1861_41->n28_a_beeton_1861_42 n28_a_beeton_1861_44 NP n28_a_beeton_1861_41->n28_a_beeton_1861_44 n28_a_beeton_1861_42->n28_a_beeton_1861_43 n28_a_beeton_1861_45 D n28_a_beeton_1861_44->n28_a_beeton_1861_45 n28_a_beeton_1861_47 ADJP n28_a_beeton_1861_44->n28_a_beeton_1861_47 n28_a_beeton_1861_50 NS n28_a_beeton_1861_44->n28_a_beeton_1861_50 n28_a_beeton_1861_45->n28_a_beeton_1861_46 n28_a_beeton_1861_48 ADJ n28_a_beeton_1861_47->n28_a_beeton_1861_48 n28_a_beeton_1861_48->n28_a_beeton_1861_49 n28_a_beeton_1861_50->n28_a_beeton_1861_51 n28_a_beeton_1861_53 NP-LGS n28_a_beeton_1861_52->n28_a_beeton_1861_53 n28_a_beeton_1861_55 VVN;_Tn_ n28_a_beeton_1861_52->n28_a_beeton_1861_55 n28_a_beeton_1861_53->n28_a_beeton_1861_54 n28_a_beeton_1861_55->n28_a_beeton_1861_56 n28_a_beeton_1861_57->n28_a_beeton_1861_58 
( (IP-MAT (NP-SBJ;{BUTLER} (D the;{the})
                           (N butler;{butler}))
          (HVP;_Tn_ has;{have})
          (NEG not;{not})
          (PUNC ,)
          (PP-NIM (P-ROLE in;{in})
                  (NP (D this;{this})
                      (N case;{case})))
          (PUNC ,)
          (NP-OB1 (D the;{the})
                  (ADJP (ADJ same;{same}))
                  (NS inducements;{inducement})
                  (IP-INF (TO to;{to})
                          (VB;_VP24A_ keep;{keep})
                          (NP-OB1 (D the;{the})
                                  (NS bottles;{bottle})
                                  (PP (P-ROLE of;{of})
                                      (NP (D the;{the})
                                          (ADJP (ADJ different;{different}))
                                          (NS sorts;{sort}))))
                          (IP-PPL-PRD (NP-LGS *)
                                      (VVN;_Tn_ separated;{separate}))))
          (PUNC ;))
  (ID 28_a_beeton_1861;2165-2))