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] 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 r_0028_0019__different different r_0028_0018__the_r_0028_0020__sorts->r_0028_0019__different [attrib] r_0028_0021__separated separated r_0028_0021__separated->r_0028_0018__the_r_0028_0020__sorts [arg1] z_000_28_a_beeton_1861_53 r_0028_0021__separated->z_000_28_a_beeton_1861_53 [arg0] 
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, 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, r_0028_0018__the_r_0028_0020__sorts, arg1).
arc(r_0028_0021__separated, z_000_28_a_beeton_1861_53, arg0).


%3 r_0028_0021__separated separated z_000_28_a_beeton_1861_53 r_0028_0021__separated->z_000_28_a_beeton_1861_53 [arg0] r_0028_0018__the_r_0028_0020__sorts the sorts r_0028_0021__separated->r_0028_0018__the_r_0028_0020__sorts [arg1] r_0028_0019__different different r_0028_0018__the_r_0028_0020__sorts->r_0028_0019__different [attrib] r_0028_0015__the_r_0028_0016__bottles the bottles r_0028_0015__the_r_0028_0016__bottles->r_0028_0018__the_r_0028_0020__sorts of r_0028_0013__to_r_0028_0014__keep to keep r_0028_0013__to_r_0028_0014__keep->r_0028_0015__the_r_0028_0016__bottles [arg1] 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_0010__the_r_0028_0012__inducements the inducements r_0028_0010__the_r_0028_0012__inducements->r_0028_0013__to_r_0028_0014__keep [emb] r_0028_0011__same same r_0028_0010__the_r_0028_0012__inducements->r_0028_0011__same [attrib] r_0028_0004__not not r_0028_0003__has has r_0028_0004__not->r_0028_0003__has [keep_scope] r_0028_0003__has->r_0028_0010__the_r_0028_0012__inducements [arg1] 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_0001__the_r_0028_0002__butler the butler r_0028_0003__has->r_0028_0001__the_r_0028_0002__butler [arg0] 
fof(formula,axiom,
    ? [R_28_21_SEPARATED,Z_28_A_BEETON_1861_53,R_28_18_THE_SORTS,R_28_19_DIFFERENT] :
      ( different(R_28_19_DIFFERENT)
      & ~ ? [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_7_THIS_CASE] :
            ( the_butler(R_28_1_THE_BUTLER)
            & same(R_28_11_SAME)
            & 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)
            & the_bottles(R_28_15_THE_BOTTLES)
            & of(R_28_15_THE_BOTTLES,R_28_18_THE_SORTS)
            & in_nim16(R_28_3_HAS,R_28_7_THIS_CASE) )
      & separated(R_28_21_SEPARATED,Z_28_A_BEETON_1861_53,R_28_18_THE_SORTS)
      & the_sorts(R_28_18_THE_SORTS)
      & attrib47(R_28_18_THE_SORTS,R_28_19_DIFFERENT) ) ).


n28_a_beeton_1861 n28_a_beeton_1861__1_1_1_1 the n28_a_beeton_1861__1_1_2_1 butler n28_a_beeton_1861__1_2_1 has n28_a_beeton_1861__1_3_1 not n28_a_beeton_1861__1_4_1 , n28_a_beeton_1861__1_5_1_1 in n28_a_beeton_1861__1_5_2_1_1 this n28_a_beeton_1861__1_5_2_2_1 case n28_a_beeton_1861__1_6_1 , n28_a_beeton_1861__1_7_1_1 the n28_a_beeton_1861__1_7_2_1_1 same n28_a_beeton_1861__1_7_3_1 inducements n28_a_beeton_1861__1_7_4_1_1 to n28_a_beeton_1861__1_7_4_2_1 keep n28_a_beeton_1861__1_7_4_3_1_1 the n28_a_beeton_1861__1_7_4_3_2_1 bottles n28_a_beeton_1861__1_7_4_3_3_1_1 of n28_a_beeton_1861__1_7_4_3_3_2_1_1 the n28_a_beeton_1861__1_7_4_3_3_2_2_1_1 different n28_a_beeton_1861__1_7_4_3_3_2_3_1 sorts n28_a_beeton_1861__1_7_4_3_3_2_4_1_1 * n28_a_beeton_1861__1_7_4_3_3_2_4_2_1 separated n28_a_beeton_1861__1_8_1 ; n28_a_beeton_1861__1 IP-MAT n28_a_beeton_1861__1_1 NP-SBJ n28_a_beeton_1861__1->n28_a_beeton_1861__1_1 n28_a_beeton_1861__1_2 HVP;_Tn_ n28_a_beeton_1861__1->n28_a_beeton_1861__1_2 n28_a_beeton_1861__1_3 NEG n28_a_beeton_1861__1->n28_a_beeton_1861__1_3 n28_a_beeton_1861__1_4 PUNC n28_a_beeton_1861__1->n28_a_beeton_1861__1_4 n28_a_beeton_1861__1_5 PP-NIM n28_a_beeton_1861__1->n28_a_beeton_1861__1_5 n28_a_beeton_1861__1_6 PUNC n28_a_beeton_1861__1->n28_a_beeton_1861__1_6 n28_a_beeton_1861__1_7 NP-OB1 n28_a_beeton_1861__1->n28_a_beeton_1861__1_7 n28_a_beeton_1861__1_8 PUNC n28_a_beeton_1861__1->n28_a_beeton_1861__1_8 n28_a_beeton_1861__1_1_1 D n28_a_beeton_1861__1_1->n28_a_beeton_1861__1_1_1 n28_a_beeton_1861__1_1_2 N n28_a_beeton_1861__1_1->n28_a_beeton_1861__1_1_2 n28_a_beeton_1861__1_1_1->n28_a_beeton_1861__1_1_1_1 n28_a_beeton_1861__1_1_2->n28_a_beeton_1861__1_1_2_1 n28_a_beeton_1861__1_2->n28_a_beeton_1861__1_2_1 n28_a_beeton_1861__1_3->n28_a_beeton_1861__1_3_1 n28_a_beeton_1861__1_4->n28_a_beeton_1861__1_4_1 n28_a_beeton_1861__1_5_1 P-ROLE n28_a_beeton_1861__1_5->n28_a_beeton_1861__1_5_1 n28_a_beeton_1861__1_5_2 NP n28_a_beeton_1861__1_5->n28_a_beeton_1861__1_5_2 n28_a_beeton_1861__1_5_1->n28_a_beeton_1861__1_5_1_1 n28_a_beeton_1861__1_5_2_1 D n28_a_beeton_1861__1_5_2->n28_a_beeton_1861__1_5_2_1 n28_a_beeton_1861__1_5_2_2 N n28_a_beeton_1861__1_5_2->n28_a_beeton_1861__1_5_2_2 n28_a_beeton_1861__1_5_2_1->n28_a_beeton_1861__1_5_2_1_1 n28_a_beeton_1861__1_5_2_2->n28_a_beeton_1861__1_5_2_2_1 n28_a_beeton_1861__1_6->n28_a_beeton_1861__1_6_1 n28_a_beeton_1861__1_7_1 D n28_a_beeton_1861__1_7->n28_a_beeton_1861__1_7_1 n28_a_beeton_1861__1_7_2 ADJP n28_a_beeton_1861__1_7->n28_a_beeton_1861__1_7_2 n28_a_beeton_1861__1_7_3 NS n28_a_beeton_1861__1_7->n28_a_beeton_1861__1_7_3 n28_a_beeton_1861__1_7_4 IP-INF n28_a_beeton_1861__1_7->n28_a_beeton_1861__1_7_4 n28_a_beeton_1861__1_7_1->n28_a_beeton_1861__1_7_1_1 n28_a_beeton_1861__1_7_2_1 ADJ n28_a_beeton_1861__1_7_2->n28_a_beeton_1861__1_7_2_1 n28_a_beeton_1861__1_7_2_1->n28_a_beeton_1861__1_7_2_1_1 n28_a_beeton_1861__1_7_3->n28_a_beeton_1861__1_7_3_1 n28_a_beeton_1861__1_7_4_1 TO n28_a_beeton_1861__1_7_4->n28_a_beeton_1861__1_7_4_1 n28_a_beeton_1861__1_7_4_2 VB;__ n28_a_beeton_1861__1_7_4->n28_a_beeton_1861__1_7_4_2 n28_a_beeton_1861__1_7_4_3 NP-OB1 n28_a_beeton_1861__1_7_4->n28_a_beeton_1861__1_7_4_3 n28_a_beeton_1861__1_7_4_1->n28_a_beeton_1861__1_7_4_1_1 n28_a_beeton_1861__1_7_4_2->n28_a_beeton_1861__1_7_4_2_1 n28_a_beeton_1861__1_7_4_3_1 D n28_a_beeton_1861__1_7_4_3->n28_a_beeton_1861__1_7_4_3_1 n28_a_beeton_1861__1_7_4_3_2 NS n28_a_beeton_1861__1_7_4_3->n28_a_beeton_1861__1_7_4_3_2 n28_a_beeton_1861__1_7_4_3_3 PP n28_a_beeton_1861__1_7_4_3->n28_a_beeton_1861__1_7_4_3_3 n28_a_beeton_1861__1_7_4_3_1->n28_a_beeton_1861__1_7_4_3_1_1 n28_a_beeton_1861__1_7_4_3_2->n28_a_beeton_1861__1_7_4_3_2_1 n28_a_beeton_1861__1_7_4_3_3_1 P-ROLE n28_a_beeton_1861__1_7_4_3_3->n28_a_beeton_1861__1_7_4_3_3_1 n28_a_beeton_1861__1_7_4_3_3_2 NP n28_a_beeton_1861__1_7_4_3_3->n28_a_beeton_1861__1_7_4_3_3_2 n28_a_beeton_1861__1_7_4_3_3_1->n28_a_beeton_1861__1_7_4_3_3_1_1 n28_a_beeton_1861__1_7_4_3_3_2_1 D n28_a_beeton_1861__1_7_4_3_3_2->n28_a_beeton_1861__1_7_4_3_3_2_1 n28_a_beeton_1861__1_7_4_3_3_2_2 ADJP n28_a_beeton_1861__1_7_4_3_3_2->n28_a_beeton_1861__1_7_4_3_3_2_2 n28_a_beeton_1861__1_7_4_3_3_2_3 NS n28_a_beeton_1861__1_7_4_3_3_2->n28_a_beeton_1861__1_7_4_3_3_2_3 n28_a_beeton_1861__1_7_4_3_3_2_4 IP-PPL n28_a_beeton_1861__1_7_4_3_3_2->n28_a_beeton_1861__1_7_4_3_3_2_4 n28_a_beeton_1861__1_7_4_3_3_2_1->n28_a_beeton_1861__1_7_4_3_3_2_1_1 n28_a_beeton_1861__1_7_4_3_3_2_2_1 ADJ n28_a_beeton_1861__1_7_4_3_3_2_2->n28_a_beeton_1861__1_7_4_3_3_2_2_1 n28_a_beeton_1861__1_7_4_3_3_2_2_1->n28_a_beeton_1861__1_7_4_3_3_2_2_1_1 n28_a_beeton_1861__1_7_4_3_3_2_3->n28_a_beeton_1861__1_7_4_3_3_2_3_1 n28_a_beeton_1861__1_7_4_3_3_2_4_1 NP-LGS n28_a_beeton_1861__1_7_4_3_3_2_4->n28_a_beeton_1861__1_7_4_3_3_2_4_1 n28_a_beeton_1861__1_7_4_3_3_2_4_2 VVN;_Tn_ n28_a_beeton_1861__1_7_4_3_3_2_4->n28_a_beeton_1861__1_7_4_3_3_2_4_2 n28_a_beeton_1861__1_7_4_3_3_2_4_1->n28_a_beeton_1861__1_7_4_3_3_2_4_1_1 n28_a_beeton_1861__1_7_4_3_3_2_4_2->n28_a_beeton_1861__1_7_4_3_3_2_4_2_1 n28_a_beeton_1861__1_8->n28_a_beeton_1861__1_8_1 
( (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;__ 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 (NP-LGS *)
                                                  (VVN;_Tn_ separated;{separate})))))))
          (PUNC ;))
  (ID 28_a_beeton_1861;2165-2))