Context                Previous, Next                Top


27_a_beeton_1861
Where wine comes into the cellar ready bottled, it is usual to return the same number of empty bottles;

%3 r_0027_0001__Where Where r_0027_0011__is is r_0027_0001__Where->r_0027_0011__is [scope] z_000_27_a_beeton_1861_19 r_0027_0001__Where->z_000_27_a_beeton_1861_19 [restriction] r_0027_0012__usual usual r_0027_0011__is->r_0027_0012__usual [prd] r_0027_0013__to_r_0027_0014__return to return r_0027_0011__is->r_0027_0013__to_r_0027_0014__return [arg0] r_0027_0003__comes comes z_000_27_a_beeton_1861_19->r_0027_0003__comes [scope] r_0027_0008__bottled bottled z_000_27_a_beeton_1861_19->r_0027_0008__bottled [restriction] r_0027_0002__wine wine r_0027_0003__comes->r_0027_0002__wine [arg0] r_0027_0005__the_r_0027_0006__cellar the cellar r_0027_0003__comes->r_0027_0005__the_r_0027_0006__cellar into [clr] r_0027_0008__bottled->r_0027_0002__wine [arg1] r_0027_0007__ready ready r_0027_0008__bottled->r_0027_0007__ready [nim] z_000_27_a_beeton_1861_21 r_0027_0008__bottled->z_000_27_a_beeton_1861_21 [arg0] r_0027_0015__the_r_0027_0017__number the number r_0027_0013__to_r_0027_0014__return->r_0027_0015__the_r_0027_0017__number [arg1] z_000_27_a_beeton_1861_30 r_0027_0013__to_r_0027_0014__return->z_000_27_a_beeton_1861_30 [arg0] r_0027_0016__same same r_0027_0015__the_r_0027_0017__number->r_0027_0016__same [attrib] r_0027_0020__bottles bottles r_0027_0015__the_r_0027_0017__number->r_0027_0020__bottles of r_0027_0019__empty empty r_0027_0020__bottles->r_0027_0019__empty [attrib] 
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).


%3 r_0027_0001__Where Where r_0027_0011__is is r_0027_0001__Where->r_0027_0011__is [conj2] z_000_27_a_beeton_1861_19 r_0027_0001__Where->z_000_27_a_beeton_1861_19 [conj1] r_0027_0012__usual usual r_0027_0011__is->r_0027_0012__usual [prd] r_0027_0013__to_r_0027_0014__return to return r_0027_0011__is->r_0027_0013__to_r_0027_0014__return [arg0] r_0027_0003__comes comes z_000_27_a_beeton_1861_19->r_0027_0003__comes [conj2] r_0027_0008__bottled bottled z_000_27_a_beeton_1861_19->r_0027_0008__bottled [conj1] r_0027_0002__wine wine r_0027_0003__comes->r_0027_0002__wine [arg0] r_0027_0005__the_r_0027_0006__cellar the cellar r_0027_0003__comes->r_0027_0005__the_r_0027_0006__cellar into [clr] r_0027_0008__bottled->r_0027_0002__wine [arg1] r_0027_0007__ready ready r_0027_0008__bottled->r_0027_0007__ready [nim] z_000_27_a_beeton_1861_21 r_0027_0008__bottled->z_000_27_a_beeton_1861_21 [arg0] r_0027_0015__the_r_0027_0017__number the number r_0027_0013__to_r_0027_0014__return->r_0027_0015__the_r_0027_0017__number [arg1] z_000_27_a_beeton_1861_30 r_0027_0013__to_r_0027_0014__return->z_000_27_a_beeton_1861_30 [arg0] r_0027_0016__same same r_0027_0015__the_r_0027_0017__number->r_0027_0016__same [attrib] r_0027_0020__bottles bottles r_0027_0015__the_r_0027_0017__number->r_0027_0020__bottles of r_0027_0019__empty empty r_0027_0020__bottles->r_0027_0019__empty [attrib] 
fof(formula,axiom,
    ? [R_27_1_WHERE,Z_27_A_BEETON_1861_19,R_27_8_BOTTLED,Z_27_A_BEETON_1861_21,R_27_7_READY,R_27_3_COMES,R_27_2_WINE,R_27_5_THE_CELLAR,R_27_11_IS,R_27_13_TO_RETURN,Z_27_A_BEETON_1861_30,R_27_15_THE_NUMBER,R_27_16_SAME,R_27_20_BOTTLES,R_27_19_EMPTY,R_27_12_USUAL] :
      ( ready(R_27_7_READY)
      & wine(R_27_2_WINE)
      & the_cellar(R_27_5_THE_CELLAR)
      & same(R_27_16_SAME)
      & empty(R_27_19_EMPTY)
      & usual(R_27_12_USUAL)
      & where(R_27_1_WHERE)
      & conj1(R_27_1_WHERE,Z_27_A_BEETON_1861_19)
      & z_27_a_beeton_1861_19(Z_27_A_BEETON_1861_19)
      & conj1(Z_27_A_BEETON_1861_19,R_27_8_BOTTLED)
      & bottled(R_27_8_BOTTLED,Z_27_A_BEETON_1861_21,R_27_2_WINE)
      & nim23(R_27_8_BOTTLED,R_27_7_READY)
      & conj2(Z_27_A_BEETON_1861_19,R_27_3_COMES)
      & comes(R_27_3_COMES,R_27_2_WINE)
      & into_clr14(R_27_3_COMES,R_27_5_THE_CELLAR)
      & conj2(R_27_1_WHERE,R_27_11_IS)
      & is(R_27_11_IS,R_27_13_TO_RETURN,R_27_12_USUAL)
      & to_return(R_27_13_TO_RETURN,Z_27_A_BEETON_1861_30,R_27_15_THE_NUMBER)
      & the_number(R_27_15_THE_NUMBER)
      & attrib46(R_27_15_THE_NUMBER,R_27_16_SAME)
      & of(R_27_15_THE_NUMBER,R_27_20_BOTTLES)
      & bottles(R_27_20_BOTTLES)
      & attrib55(R_27_20_BOTTLES,R_27_19_EMPTY) ) ).


n27_a_beeton_1861 n27_a_beeton_1861_4 Where n27_a_beeton_1861_8 wine n27_a_beeton_1861_10 comes n27_a_beeton_1861_13 into n27_a_beeton_1861_16 the n27_a_beeton_1861_18 cellar n27_a_beeton_1861_22 * n27_a_beeton_1861_25 ready n27_a_beeton_1861_27 bottled n27_a_beeton_1861_29 , n27_a_beeton_1861_32 it n27_a_beeton_1861_34 is n27_a_beeton_1861_37 usual n27_a_beeton_1861_40 to n27_a_beeton_1861_42 return n27_a_beeton_1861_45 the n27_a_beeton_1861_48 same n27_a_beeton_1861_50 number n27_a_beeton_1861_53 of n27_a_beeton_1861_57 empty n27_a_beeton_1861_59 bottles n27_a_beeton_1861_61 ; n27_a_beeton_1861_1 IP-MAT n27_a_beeton_1861_2 PP-SCON n27_a_beeton_1861_1->n27_a_beeton_1861_2 n27_a_beeton_1861_28 PUNC n27_a_beeton_1861_1->n27_a_beeton_1861_28 n27_a_beeton_1861_30 NP-SBJ n27_a_beeton_1861_1->n27_a_beeton_1861_30 n27_a_beeton_1861_33 BEP;_La_ n27_a_beeton_1861_1->n27_a_beeton_1861_33 n27_a_beeton_1861_35 ADJP-PRD n27_a_beeton_1861_1->n27_a_beeton_1861_35 n27_a_beeton_1861_38 IP-INF-NSBJ n27_a_beeton_1861_1->n27_a_beeton_1861_38 n27_a_beeton_1861_60 PUNC n27_a_beeton_1861_1->n27_a_beeton_1861_60 n27_a_beeton_1861_3 P-CONN n27_a_beeton_1861_2->n27_a_beeton_1861_3 n27_a_beeton_1861_5 IP-ADV n27_a_beeton_1861_2->n27_a_beeton_1861_5 n27_a_beeton_1861_3->n27_a_beeton_1861_4 n27_a_beeton_1861_6 NP-SBJ n27_a_beeton_1861_5->n27_a_beeton_1861_6 n27_a_beeton_1861_9 VBP;_Ipr_ n27_a_beeton_1861_5->n27_a_beeton_1861_9 n27_a_beeton_1861_11 PP-CLR n27_a_beeton_1861_5->n27_a_beeton_1861_11 n27_a_beeton_1861_19 PP-SCON n27_a_beeton_1861_5->n27_a_beeton_1861_19 n27_a_beeton_1861_7 N n27_a_beeton_1861_6->n27_a_beeton_1861_7 n27_a_beeton_1861_7->n27_a_beeton_1861_8 n27_a_beeton_1861_9->n27_a_beeton_1861_10 n27_a_beeton_1861_12 P-ROLE n27_a_beeton_1861_11->n27_a_beeton_1861_12 n27_a_beeton_1861_14 NP n27_a_beeton_1861_11->n27_a_beeton_1861_14 n27_a_beeton_1861_12->n27_a_beeton_1861_13 n27_a_beeton_1861_15 D n27_a_beeton_1861_14->n27_a_beeton_1861_15 n27_a_beeton_1861_17 N n27_a_beeton_1861_14->n27_a_beeton_1861_17 n27_a_beeton_1861_15->n27_a_beeton_1861_16 n27_a_beeton_1861_17->n27_a_beeton_1861_18 n27_a_beeton_1861_20 IP-PPL2 n27_a_beeton_1861_19->n27_a_beeton_1861_20 n27_a_beeton_1861_21 NP-LGS n27_a_beeton_1861_20->n27_a_beeton_1861_21 n27_a_beeton_1861_23 ADVP-NIM n27_a_beeton_1861_20->n27_a_beeton_1861_23 n27_a_beeton_1861_26 VVN;_Tn_ n27_a_beeton_1861_20->n27_a_beeton_1861_26 n27_a_beeton_1861_21->n27_a_beeton_1861_22 n27_a_beeton_1861_24 ADV n27_a_beeton_1861_23->n27_a_beeton_1861_24 n27_a_beeton_1861_24->n27_a_beeton_1861_25 n27_a_beeton_1861_26->n27_a_beeton_1861_27 n27_a_beeton_1861_28->n27_a_beeton_1861_29 n27_a_beeton_1861_31 PRO;_provisional_ n27_a_beeton_1861_30->n27_a_beeton_1861_31 n27_a_beeton_1861_31->n27_a_beeton_1861_32 n27_a_beeton_1861_33->n27_a_beeton_1861_34 n27_a_beeton_1861_36 ADJ n27_a_beeton_1861_35->n27_a_beeton_1861_36 n27_a_beeton_1861_36->n27_a_beeton_1861_37 n27_a_beeton_1861_39 TO n27_a_beeton_1861_38->n27_a_beeton_1861_39 n27_a_beeton_1861_41 VB;_Tn_ n27_a_beeton_1861_38->n27_a_beeton_1861_41 n27_a_beeton_1861_43 NP-OB1 n27_a_beeton_1861_38->n27_a_beeton_1861_43 n27_a_beeton_1861_39->n27_a_beeton_1861_40 n27_a_beeton_1861_41->n27_a_beeton_1861_42 n27_a_beeton_1861_44 D n27_a_beeton_1861_43->n27_a_beeton_1861_44 n27_a_beeton_1861_46 ADJP n27_a_beeton_1861_43->n27_a_beeton_1861_46 n27_a_beeton_1861_49 N n27_a_beeton_1861_43->n27_a_beeton_1861_49 n27_a_beeton_1861_51 PP n27_a_beeton_1861_43->n27_a_beeton_1861_51 n27_a_beeton_1861_44->n27_a_beeton_1861_45 n27_a_beeton_1861_47 ADJ n27_a_beeton_1861_46->n27_a_beeton_1861_47 n27_a_beeton_1861_47->n27_a_beeton_1861_48 n27_a_beeton_1861_49->n27_a_beeton_1861_50 n27_a_beeton_1861_52 P-ROLE n27_a_beeton_1861_51->n27_a_beeton_1861_52 n27_a_beeton_1861_54 NP n27_a_beeton_1861_51->n27_a_beeton_1861_54 n27_a_beeton_1861_52->n27_a_beeton_1861_53 n27_a_beeton_1861_55 ADJP n27_a_beeton_1861_54->n27_a_beeton_1861_55 n27_a_beeton_1861_58 NS n27_a_beeton_1861_54->n27_a_beeton_1861_58 n27_a_beeton_1861_56 ADJ n27_a_beeton_1861_55->n27_a_beeton_1861_56 n27_a_beeton_1861_56->n27_a_beeton_1861_57 n27_a_beeton_1861_58->n27_a_beeton_1861_59 n27_a_beeton_1861_60->n27_a_beeton_1861_61 
( (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;_Tn_ 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;_Tn_ 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))