27_a_beeton_1861
Where wine comes into the cellar ready bottled, it is usual to return the same number of empty bottles;
arc(r_0027_0001__Where, r_0027_0011__is, scope).
arc(r_0027_0001__Where, z_000_27_a_beeton_1861_19, restriction).
arc(r_0027_0003__comes, r_0027_0002__wine, arg0).
arc(r_0027_0003__comes, r_0027_0005__the_r_0027_0006__cellar, r_0027_0004__into_clr14).
arc(r_0027_0008__bottled, r_0027_0002__wine, arg1).
arc(r_0027_0008__bottled, r_0027_0007__ready, nim23).
arc(r_0027_0008__bottled, z_000_27_a_beeton_1861_21, arg0).
arc(r_0027_0011__is, r_0027_0012__usual, prd).
arc(r_0027_0011__is, r_0027_0013__to_r_0027_0014__return, arg0).
arc(r_0027_0013__to_r_0027_0014__return, r_0027_0015__the_r_0027_0017__number, arg1).
arc(r_0027_0013__to_r_0027_0014__return, z_000_27_a_beeton_1861_30, arg0).
arc(r_0027_0015__the_r_0027_0017__number, r_0027_0016__same, attrib46).
arc(r_0027_0015__the_r_0027_0017__number, r_0027_0020__bottles, r_0027_0018__of).
arc(r_0027_0020__bottles, r_0027_0019__empty, attrib55).
arc(z_000_27_a_beeton_1861_19, r_0027_0003__comes, scope).
arc(z_000_27_a_beeton_1861_19, r_0027_0008__bottled, restriction).
fof(formula,axiom,
? [R_0027_0012__USUAL,R_0027_0016__SAME,R_0027_0019__EMPTY,R_0027_0020__BOTTLES,R_0027_0015__THE_R_0027_0017__NUMBER,Z_000_27_A_BEETON_1861_30,R_0027_0013__TO_R_0027_0014__RETURN,R_0027_0011__IS,R_0027_0002__WINE,R_0027_0005__THE_R_0027_0006__CELLAR,R_0027_0003__COMES,R_0027_0007__READY,Z_000_27_A_BEETON_1861_21,R_0027_0008__BOTTLED,Z_000_27_A_BEETON_1861_19,R_0027_0001__WHERE] :
( r_0027_0002__wine(R_0027_0002__WINE)
& r_0027_0005__the_r_0027_0006__cellar(R_0027_0005__THE_R_0027_0006__CELLAR)
& r_0027_0007__ready(R_0027_0007__READY)
& r_0027_0012__usual(R_0027_0012__USUAL)
& r_0027_0016__same(R_0027_0016__SAME)
& r_0027_0019__empty(R_0027_0019__EMPTY)
& z_000_27_a_beeton_1861_21(Z_000_27_A_BEETON_1861_21)
& z_000_27_a_beeton_1861_30(Z_000_27_A_BEETON_1861_30)
& r_0027_0001__Where(R_0027_0001__WHERE)
& has_conj1(R_0027_0001__WHERE,Z_000_27_A_BEETON_1861_19)
& z_000_27_a_beeton_1861_19(Z_000_27_A_BEETON_1861_19)
& has_conj1(Z_000_27_A_BEETON_1861_19,R_0027_0008__BOTTLED)
& r_0027_0008__bottled(R_0027_0008__BOTTLED)
& has_arg0(R_0027_0008__BOTTLED,Z_000_27_A_BEETON_1861_21)
& has_nim23(R_0027_0008__BOTTLED,R_0027_0007__READY)
& has_arg1(R_0027_0008__BOTTLED,R_0027_0002__WINE)
& has_conj2(Z_000_27_A_BEETON_1861_19,R_0027_0003__COMES)
& r_0027_0003__comes(R_0027_0003__COMES)
& has_r_0027_0004__into_clr14(R_0027_0003__COMES,R_0027_0005__THE_R_0027_0006__CELLAR)
& has_arg0(R_0027_0003__COMES,R_0027_0002__WINE)
& has_conj2(R_0027_0001__WHERE,R_0027_0011__IS)
& r_0027_0011__is(R_0027_0011__IS)
& has_arg0(R_0027_0011__IS,R_0027_0013__TO_R_0027_0014__RETURN)
& r_0027_0013__to_r_0027_0014__return(R_0027_0013__TO_R_0027_0014__RETURN)
& has_arg0(R_0027_0013__TO_R_0027_0014__RETURN,Z_000_27_A_BEETON_1861_30)
& has_arg1(R_0027_0013__TO_R_0027_0014__RETURN,R_0027_0015__THE_R_0027_0017__NUMBER)
& r_0027_0015__the_r_0027_0017__number(R_0027_0015__THE_R_0027_0017__NUMBER)
& has_r_0027_0018__of(R_0027_0015__THE_R_0027_0017__NUMBER,R_0027_0020__BOTTLES)
& r_0027_0020__bottles(R_0027_0020__BOTTLES)
& has_attrib55(R_0027_0020__BOTTLES,R_0027_0019__EMPTY)
& has_attrib46(R_0027_0015__THE_R_0027_0017__NUMBER,R_0027_0016__SAME)
& has_prd(R_0027_0011__IS,R_0027_0012__USUAL) ) ).
( (IP-MAT (PP-SCON (P-CONN Where;{where})
(IP-ADV (NP-SBJ (N wine;{wine}))
(VBP;_Ipr_ comes;{come[into]})
(PP-CLR (P-ROLE into;{into})
(NP (D the;{the})
(N cellar;{cellar})))
(PP-SCON (IP-PPL2 (NP-LGS *)
(ADVP-NIM (ADV ready;{ready}))
(VVN;__ bottled;{bottle})))))
(PUNC ,)
(NP-SBJ (PRO;_provisional_ it;{it}))
(BEP;_La_ is;{be})
(ADJP-PRD (ADJ usual;{usual}))
(IP-INF-NSBJ (TO to;{to})
(VB;__ return;{return})
(NP-OB1 (D the;{the})
(ADJP (ADJ same;{same}))
(N number;{number})
(PP (P-ROLE of;{of})
(NP (ADJP (ADJ empty;{empty}))
(NS bottles;{bottle})))))
(PUNC ;))
(ID 27_a_beeton_1861;2165-2))