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 z_000_27_a_beeton_1861_19 r_0027_0008__bottled bottled z_000_27_a_beeton_1861_19->r_0027_0008__bottled [conj1] r_0027_0003__comes comes z_000_27_a_beeton_1861_19->r_0027_0003__comes [conj2] z_000_27_a_beeton_1861_21 r_0027_0008__bottled->z_000_27_a_beeton_1861_21 [arg0] r_0027_0007__ready ready r_0027_0008__bottled->r_0027_0007__ready [nim] r_0027_0002__wine wine r_0027_0008__bottled->r_0027_0002__wine [arg1] 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_0020__bottles bottles r_0027_0019__empty empty r_0027_0020__bottles->r_0027_0019__empty [attrib] r_0027_0015__the_r_0027_0017__number the number r_0027_0015__the_r_0027_0017__number->r_0027_0020__bottles of r_0027_0016__same same r_0027_0015__the_r_0027_0017__number->r_0027_0016__same [attrib] r_0027_0013__to_r_0027_0014__return to return 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_0011__is is r_0027_0011__is->r_0027_0013__to_r_0027_0014__return [arg0] r_0027_0012__usual usual r_0027_0011__is->r_0027_0012__usual [prd] r_0027_0001__Where Where r_0027_0001__Where->z_000_27_a_beeton_1861_19 [conj1] r_0027_0001__Where->r_0027_0011__is [conj2] 
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__1_1_1_1 Where n27_a_beeton_1861__1_1_2_1_1_1 wine n27_a_beeton_1861__1_1_2_2_1 comes n27_a_beeton_1861__1_1_2_3_1_1 into n27_a_beeton_1861__1_1_2_3_2_1_1 the n27_a_beeton_1861__1_1_2_3_2_2_1 cellar n27_a_beeton_1861__1_1_2_4_1_1_1 * n27_a_beeton_1861__1_1_2_4_1_2_1_1 ready n27_a_beeton_1861__1_1_2_4_1_3_1 bottled n27_a_beeton_1861__1_2_1 , n27_a_beeton_1861__1_3_1_1 it n27_a_beeton_1861__1_4_1 is n27_a_beeton_1861__1_5_1_1 usual n27_a_beeton_1861__1_6_1_1 to n27_a_beeton_1861__1_6_2_1 return n27_a_beeton_1861__1_6_3_1_1 the n27_a_beeton_1861__1_6_3_2_1_1 same n27_a_beeton_1861__1_6_3_3_1 number n27_a_beeton_1861__1_6_3_4_1_1 of n27_a_beeton_1861__1_6_3_4_2_1_1_1 empty n27_a_beeton_1861__1_6_3_4_2_2_1 bottles n27_a_beeton_1861__1_7_1 ; n27_a_beeton_1861__1 IP-MAT n27_a_beeton_1861__1_1 PP-SCON n27_a_beeton_1861__1->n27_a_beeton_1861__1_1 n27_a_beeton_1861__1_2 PUNC n27_a_beeton_1861__1->n27_a_beeton_1861__1_2 n27_a_beeton_1861__1_3 NP-SBJ n27_a_beeton_1861__1->n27_a_beeton_1861__1_3 n27_a_beeton_1861__1_4 BEP;_La_ n27_a_beeton_1861__1->n27_a_beeton_1861__1_4 n27_a_beeton_1861__1_5 ADJP-PRD n27_a_beeton_1861__1->n27_a_beeton_1861__1_5 n27_a_beeton_1861__1_6 IP-INF-NSBJ n27_a_beeton_1861__1->n27_a_beeton_1861__1_6 n27_a_beeton_1861__1_7 PUNC n27_a_beeton_1861__1->n27_a_beeton_1861__1_7 n27_a_beeton_1861__1_1_1 P-CONN n27_a_beeton_1861__1_1->n27_a_beeton_1861__1_1_1 n27_a_beeton_1861__1_1_2 IP-ADV n27_a_beeton_1861__1_1->n27_a_beeton_1861__1_1_2 n27_a_beeton_1861__1_1_1->n27_a_beeton_1861__1_1_1_1 n27_a_beeton_1861__1_1_2_1 NP-SBJ n27_a_beeton_1861__1_1_2->n27_a_beeton_1861__1_1_2_1 n27_a_beeton_1861__1_1_2_2 VBP;_Ipr_ n27_a_beeton_1861__1_1_2->n27_a_beeton_1861__1_1_2_2 n27_a_beeton_1861__1_1_2_3 PP-CLR n27_a_beeton_1861__1_1_2->n27_a_beeton_1861__1_1_2_3 n27_a_beeton_1861__1_1_2_4 PP-SCON n27_a_beeton_1861__1_1_2->n27_a_beeton_1861__1_1_2_4 n27_a_beeton_1861__1_1_2_1_1 N n27_a_beeton_1861__1_1_2_1->n27_a_beeton_1861__1_1_2_1_1 n27_a_beeton_1861__1_1_2_1_1->n27_a_beeton_1861__1_1_2_1_1_1 n27_a_beeton_1861__1_1_2_2->n27_a_beeton_1861__1_1_2_2_1 n27_a_beeton_1861__1_1_2_3_1 P-ROLE n27_a_beeton_1861__1_1_2_3->n27_a_beeton_1861__1_1_2_3_1 n27_a_beeton_1861__1_1_2_3_2 NP n27_a_beeton_1861__1_1_2_3->n27_a_beeton_1861__1_1_2_3_2 n27_a_beeton_1861__1_1_2_3_1->n27_a_beeton_1861__1_1_2_3_1_1 n27_a_beeton_1861__1_1_2_3_2_1 D n27_a_beeton_1861__1_1_2_3_2->n27_a_beeton_1861__1_1_2_3_2_1 n27_a_beeton_1861__1_1_2_3_2_2 N n27_a_beeton_1861__1_1_2_3_2->n27_a_beeton_1861__1_1_2_3_2_2 n27_a_beeton_1861__1_1_2_3_2_1->n27_a_beeton_1861__1_1_2_3_2_1_1 n27_a_beeton_1861__1_1_2_3_2_2->n27_a_beeton_1861__1_1_2_3_2_2_1 n27_a_beeton_1861__1_1_2_4_1 IP-PPL2 n27_a_beeton_1861__1_1_2_4->n27_a_beeton_1861__1_1_2_4_1 n27_a_beeton_1861__1_1_2_4_1_1 NP-LGS n27_a_beeton_1861__1_1_2_4_1->n27_a_beeton_1861__1_1_2_4_1_1 n27_a_beeton_1861__1_1_2_4_1_2 ADVP-NIM n27_a_beeton_1861__1_1_2_4_1->n27_a_beeton_1861__1_1_2_4_1_2 n27_a_beeton_1861__1_1_2_4_1_3 VVN;__ n27_a_beeton_1861__1_1_2_4_1->n27_a_beeton_1861__1_1_2_4_1_3 n27_a_beeton_1861__1_1_2_4_1_1->n27_a_beeton_1861__1_1_2_4_1_1_1 n27_a_beeton_1861__1_1_2_4_1_2_1 ADV n27_a_beeton_1861__1_1_2_4_1_2->n27_a_beeton_1861__1_1_2_4_1_2_1 n27_a_beeton_1861__1_1_2_4_1_2_1->n27_a_beeton_1861__1_1_2_4_1_2_1_1 n27_a_beeton_1861__1_1_2_4_1_3->n27_a_beeton_1861__1_1_2_4_1_3_1 n27_a_beeton_1861__1_2->n27_a_beeton_1861__1_2_1 n27_a_beeton_1861__1_3_1 PRO;_provisional_ n27_a_beeton_1861__1_3->n27_a_beeton_1861__1_3_1 n27_a_beeton_1861__1_3_1->n27_a_beeton_1861__1_3_1_1 n27_a_beeton_1861__1_4->n27_a_beeton_1861__1_4_1 n27_a_beeton_1861__1_5_1 ADJ n27_a_beeton_1861__1_5->n27_a_beeton_1861__1_5_1 n27_a_beeton_1861__1_5_1->n27_a_beeton_1861__1_5_1_1 n27_a_beeton_1861__1_6_1 TO n27_a_beeton_1861__1_6->n27_a_beeton_1861__1_6_1 n27_a_beeton_1861__1_6_2 VB;__ n27_a_beeton_1861__1_6->n27_a_beeton_1861__1_6_2 n27_a_beeton_1861__1_6_3 NP-OB1 n27_a_beeton_1861__1_6->n27_a_beeton_1861__1_6_3 n27_a_beeton_1861__1_6_1->n27_a_beeton_1861__1_6_1_1 n27_a_beeton_1861__1_6_2->n27_a_beeton_1861__1_6_2_1 n27_a_beeton_1861__1_6_3_1 D n27_a_beeton_1861__1_6_3->n27_a_beeton_1861__1_6_3_1 n27_a_beeton_1861__1_6_3_2 ADJP n27_a_beeton_1861__1_6_3->n27_a_beeton_1861__1_6_3_2 n27_a_beeton_1861__1_6_3_3 N n27_a_beeton_1861__1_6_3->n27_a_beeton_1861__1_6_3_3 n27_a_beeton_1861__1_6_3_4 PP n27_a_beeton_1861__1_6_3->n27_a_beeton_1861__1_6_3_4 n27_a_beeton_1861__1_6_3_1->n27_a_beeton_1861__1_6_3_1_1 n27_a_beeton_1861__1_6_3_2_1 ADJ n27_a_beeton_1861__1_6_3_2->n27_a_beeton_1861__1_6_3_2_1 n27_a_beeton_1861__1_6_3_2_1->n27_a_beeton_1861__1_6_3_2_1_1 n27_a_beeton_1861__1_6_3_3->n27_a_beeton_1861__1_6_3_3_1 n27_a_beeton_1861__1_6_3_4_1 P-ROLE n27_a_beeton_1861__1_6_3_4->n27_a_beeton_1861__1_6_3_4_1 n27_a_beeton_1861__1_6_3_4_2 NP n27_a_beeton_1861__1_6_3_4->n27_a_beeton_1861__1_6_3_4_2 n27_a_beeton_1861__1_6_3_4_1->n27_a_beeton_1861__1_6_3_4_1_1 n27_a_beeton_1861__1_6_3_4_2_1 ADJP n27_a_beeton_1861__1_6_3_4_2->n27_a_beeton_1861__1_6_3_4_2_1 n27_a_beeton_1861__1_6_3_4_2_2 NS n27_a_beeton_1861__1_6_3_4_2->n27_a_beeton_1861__1_6_3_4_2_2 n27_a_beeton_1861__1_6_3_4_2_1_1 ADJ n27_a_beeton_1861__1_6_3_4_2_1->n27_a_beeton_1861__1_6_3_4_2_1_1 n27_a_beeton_1861__1_6_3_4_2_1_1->n27_a_beeton_1861__1_6_3_4_2_1_1_1 n27_a_beeton_1861__1_6_3_4_2_2->n27_a_beeton_1861__1_6_3_4_2_2_1 n27_a_beeton_1861__1_7->n27_a_beeton_1861__1_7_1 
( (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))