Context                Previous, Next                Top


37_a_beeton_1861
To Bottle Wine. —

%3 r_0037_0001__To_r_0037_0002__Bottle To Bottle r_0037_0003__Wine Wine r_0037_0001__To_r_0037_0002__Bottle->r_0037_0003__Wine [arg1] x_000_37_a_beeton_1861_2 __ r_0037_0001__To_r_0037_0002__Bottle->x_000_37_a_beeton_1861_2 [arg0] z_000_37_a_beeton_1861_1 z_000_37_a_beeton_1861_1->r_0037_0001__To_r_0037_0002__Bottle [prd] 
arc(r_0037_0001__To_r_0037_0002__Bottle, r_0037_0003__Wine, arg1).
arc(r_0037_0001__To_r_0037_0002__Bottle, x_000_37_a_beeton_1861_2, arg0).
arc(z_000_37_a_beeton_1861_1, r_0037_0001__To_r_0037_0002__Bottle, prd).


%3 r_0037_0001__To_r_0037_0002__Bottle To Bottle r_0037_0003__Wine Wine r_0037_0001__To_r_0037_0002__Bottle->r_0037_0003__Wine [arg1] x_000_37_a_beeton_1861_2 __ r_0037_0001__To_r_0037_0002__Bottle->x_000_37_a_beeton_1861_2 [arg0] z_000_37_a_beeton_1861_1 z_000_37_a_beeton_1861_1->r_0037_0001__To_r_0037_0002__Bottle [prd] 
fof(formula,axiom,
    ? [Z_37_A_BEETON_1861_1,R_37_1_TO_BOTTLE,X_37_A_BEETON_1861_2,R_37_3_WINE] :
      ( wine(R_37_3_WINE)
      & z_37_a_beeton_1861_1(Z_37_A_BEETON_1861_1)
      & prd(Z_37_A_BEETON_1861_1,R_37_1_TO_BOTTLE)
      & to_Bottle(R_37_1_TO_BOTTLE,X_37_A_BEETON_1861_2,R_37_3_WINE) ) ).


n37_a_beeton_1861 n37_a_beeton_1861_4 To n37_a_beeton_1861_6 Bottle n37_a_beeton_1861_9 Wine n37_a_beeton_1861_11 . n37_a_beeton_1861_13 <mdash> n37_a_beeton_1861_1 FRAG n37_a_beeton_1861_2 IP-INF-PRD n37_a_beeton_1861_1->n37_a_beeton_1861_2 n37_a_beeton_1861_10 PUNC n37_a_beeton_1861_1->n37_a_beeton_1861_10 n37_a_beeton_1861_12 PUNC n37_a_beeton_1861_1->n37_a_beeton_1861_12 n37_a_beeton_1861_3 TO n37_a_beeton_1861_2->n37_a_beeton_1861_3 n37_a_beeton_1861_5 VB;_Tn_ n37_a_beeton_1861_2->n37_a_beeton_1861_5 n37_a_beeton_1861_7 NP-OB1 n37_a_beeton_1861_2->n37_a_beeton_1861_7 n37_a_beeton_1861_3->n37_a_beeton_1861_4 n37_a_beeton_1861_5->n37_a_beeton_1861_6 n37_a_beeton_1861_8 N n37_a_beeton_1861_7->n37_a_beeton_1861_8 n37_a_beeton_1861_8->n37_a_beeton_1861_9 n37_a_beeton_1861_10->n37_a_beeton_1861_11 n37_a_beeton_1861_12->n37_a_beeton_1861_13 
( (FRAG (IP-INF-PRD (TO To;{to})
                    (VB;_Tn_ Bottle;{bottle})
                    (NP-OB1 (N Wine;{wine})))
        (PUNC .)
        (PUNC <mdash>))
  (ID 37_a_beeton_1861;2167-1))