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,
    ? [R_0037_0003__WINE,X_000_37_A_BEETON_1861_2,R_0037_0001__TO_R_0037_0002__BOTTLE,Z_000_37_A_BEETON_1861_1] :
      ( r_0037_0003__Wine(R_0037_0003__WINE)
      & x_000_37_a_beeton_1861_2(X_000_37_A_BEETON_1861_2)
      & z_000_37_a_beeton_1861_1(Z_000_37_A_BEETON_1861_1)
      & has_prd(Z_000_37_A_BEETON_1861_1,R_0037_0001__TO_R_0037_0002__BOTTLE)
      & r_0037_0001__To_r_0037_0002__Bottle(R_0037_0001__TO_R_0037_0002__BOTTLE)
      & has_arg0(R_0037_0001__TO_R_0037_0002__BOTTLE,X_000_37_A_BEETON_1861_2)
      & has_arg1(R_0037_0001__TO_R_0037_0002__BOTTLE,R_0037_0003__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))