28_a_beeton_1861
the butler has not, in this case, the same inducements to keep the bottles of the different sorts separated;
arc(r_0028_0003__has_r_0028_0004__not, r_0028_0001__the_r_0028_0002__butler, arg0).
arc(r_0028_0003__has_r_0028_0004__not, r_0028_0007__this_r_0028_0008__case, r_0028_0006__in_nim16).
arc(r_0028_0003__has_r_0028_0004__not, r_0028_0010__the_r_0028_0012__inducements, arg1).
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).
fof(formula,axiom,
? [R_0028_0001__THE_R_0028_0002__BUTLER,R_0028_0007__THIS_R_0028_0008__CASE,R_0028_0011__SAME,R_0028_0019__DIFFERENT,R_0028_0018__THE_R_0028_0020__SORTS,R_0028_0015__THE_R_0028_0016__BOTTLES,Z_000_28_A_BEETON_1861_31,R_0028_0013__TO_R_0028_0014__KEEP,R_0028_0010__THE_R_0028_0012__INDUCEMENTS,R_0028_0003__HAS_R_0028_0004__NOT,Z_000_28_A_BEETON_1861_53,R_0028_0021__SEPARATED] :
( r_0028_0001__the_r_0028_0002__butler(R_0028_0001__THE_R_0028_0002__BUTLER)
& r_0028_0007__this_r_0028_0008__case(R_0028_0007__THIS_R_0028_0008__CASE)
& r_0028_0011__same(R_0028_0011__SAME)
& r_0028_0019__different(R_0028_0019__DIFFERENT)
& z_000_28_a_beeton_1861_31(Z_000_28_A_BEETON_1861_31)
& z_000_28_a_beeton_1861_53(Z_000_28_A_BEETON_1861_53)
& r_0028_0021__separated(R_0028_0021__SEPARATED)
& has_arg0(R_0028_0021__SEPARATED,Z_000_28_A_BEETON_1861_53)
& has_arg1(R_0028_0021__SEPARATED,R_0028_0018__THE_R_0028_0020__SORTS)
& r_0028_0018__the_r_0028_0020__sorts(R_0028_0018__THE_R_0028_0020__SORTS)
& has_attrib47(R_0028_0018__THE_R_0028_0020__SORTS,R_0028_0019__DIFFERENT)
& ~ ( has_arg1(R_0028_0003__HAS_R_0028_0004__NOT,R_0028_0010__THE_R_0028_0012__INDUCEMENTS)
& r_0028_0010__the_r_0028_0012__inducements(R_0028_0010__THE_R_0028_0012__INDUCEMENTS)
& has_emb31(R_0028_0010__THE_R_0028_0012__INDUCEMENTS,R_0028_0013__TO_R_0028_0014__KEEP)
& r_0028_0013__to_r_0028_0014__keep(R_0028_0013__TO_R_0028_0014__KEEP)
& has_arg0(R_0028_0013__TO_R_0028_0014__KEEP,Z_000_28_A_BEETON_1861_31)
& has_arg1(R_0028_0013__TO_R_0028_0014__KEEP,R_0028_0015__THE_R_0028_0016__BOTTLES)
& r_0028_0015__the_r_0028_0016__bottles(R_0028_0015__THE_R_0028_0016__BOTTLES)
& has_r_0028_0017__of(R_0028_0015__THE_R_0028_0016__BOTTLES,R_0028_0018__THE_R_0028_0020__SORTS)
& has_attrib26(R_0028_0010__THE_R_0028_0012__INDUCEMENTS,R_0028_0011__SAME)
& has_r_0028_0006__in_nim16(R_0028_0003__HAS_R_0028_0004__NOT,R_0028_0007__THIS_R_0028_0008__CASE)
& has_arg0(R_0028_0003__HAS_R_0028_0004__NOT,R_0028_0001__THE_R_0028_0002__BUTLER) ) ) ).
( (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))