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 z_000_37_a_beeton_1861_1 r_0037_0001__To_r_0037_0002__Bottle To Bottle z_000_37_a_beeton_1861_1->r_0037_0001__To_r_0037_0002__Bottle [prd] x_000_37_a_beeton_1861_2 __ r_0037_0001__To_r_0037_0002__Bottle->x_000_37_a_beeton_1861_2 [arg0] r_0037_0003__Wine Wine r_0037_0001__To_r_0037_0002__Bottle->r_0037_0003__Wine [arg1] 
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__1_1_1_1 To n37_a_beeton_1861__1_1_2_1 Bottle n37_a_beeton_1861__1_1_3_1_1 Wine n37_a_beeton_1861__1_2_1 . n37_a_beeton_1861__1_3_1 <mdash> n37_a_beeton_1861__1 FRAG n37_a_beeton_1861__1_1 IP-INF-PRD n37_a_beeton_1861__1->n37_a_beeton_1861__1_1 n37_a_beeton_1861__1_2 PUNC n37_a_beeton_1861__1->n37_a_beeton_1861__1_2 n37_a_beeton_1861__1_3 PUNC n37_a_beeton_1861__1->n37_a_beeton_1861__1_3 n37_a_beeton_1861__1_1_1 TO n37_a_beeton_1861__1_1->n37_a_beeton_1861__1_1_1 n37_a_beeton_1861__1_1_2 VB;_Tn_ n37_a_beeton_1861__1_1->n37_a_beeton_1861__1_1_2 n37_a_beeton_1861__1_1_3 NP-OB1 n37_a_beeton_1861__1_1->n37_a_beeton_1861__1_1_3 n37_a_beeton_1861__1_1_1->n37_a_beeton_1861__1_1_1_1 n37_a_beeton_1861__1_1_2->n37_a_beeton_1861__1_1_2_1 n37_a_beeton_1861__1_1_3_1 N n37_a_beeton_1861__1_1_3->n37_a_beeton_1861__1_1_3_1 n37_a_beeton_1861__1_1_3_1->n37_a_beeton_1861__1_1_3_1_1 n37_a_beeton_1861__1_2->n37_a_beeton_1861__1_2_1 n37_a_beeton_1861__1_3->n37_a_beeton_1861__1_3_1 
( (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))