Context                Previous, Next                Top


34_a_beeton_1861
To Bottle Wine. —

n34_a_beeton_1861 n34_a_beeton_1861__1_1_1 To n34_a_beeton_1861__1_2_1 Bottle n34_a_beeton_1861__1_3_1_1 Wine n34_a_beeton_1861__1_4_1 . n34_a_beeton_1861__1_5_1 <mdash> n34_a_beeton_1861__1 IP-INF n34_a_beeton_1861__1_1 TO n34_a_beeton_1861__1->n34_a_beeton_1861__1_1 n34_a_beeton_1861__1_2 VB;__ n34_a_beeton_1861__1->n34_a_beeton_1861__1_2 n34_a_beeton_1861__1_3 NP-OB1 n34_a_beeton_1861__1->n34_a_beeton_1861__1_3 n34_a_beeton_1861__1_4 PUNC n34_a_beeton_1861__1->n34_a_beeton_1861__1_4 n34_a_beeton_1861__1_5 PUNC n34_a_beeton_1861__1->n34_a_beeton_1861__1_5 n34_a_beeton_1861__1_1->n34_a_beeton_1861__1_1_1 n34_a_beeton_1861__1_2->n34_a_beeton_1861__1_2_1 n34_a_beeton_1861__1_3_1 N n34_a_beeton_1861__1_3->n34_a_beeton_1861__1_3_1 n34_a_beeton_1861__1_3_1->n34_a_beeton_1861__1_3_1_1 n34_a_beeton_1861__1_4->n34_a_beeton_1861__1_4_1 n34_a_beeton_1861__1_5->n34_a_beeton_1861__1_5_1 
( (IP-INF (TO To;{to})
          (VB;__ Bottle;{bottle})
          (NP-OB1 (N Wine;{wine}))
          (PUNC .)
          (PUNC <mdash>))
  (ID 34_a_beeton_1861;2167-1))


%3 r_0034_0002__Bottle Bottle z_0034_5002 r_0034_0002__Bottle->z_0034_5002 [arg0] r_0034_0003__Wine Wine r_0034_0002__Bottle->r_0034_0003__Wine [arg1] 
arc(r_0034_0002__Bottle,r_0034_0003__Wine,arg1).
arc(r_0034_0002__Bottle,z_0034_5002,arg0).


%3 r_0034_0002__Bottle Bottle r_0034_0003__Wine Wine r_0034_0002__Bottle->r_0034_0003__Wine [arg1] z_0034_5002 r_0034_0002__Bottle->z_0034_5002 [arg0] 
fof(formula,axiom,
    ? [R_0034_0003__WINE,Z_0034_5002,R_0034_0002__BOTTLE] :
      ( r_0034_0003__Wine(R_0034_0003__WINE)
      & z_0034_5002(Z_0034_5002)
      & r_0034_0002__Bottle(R_0034_0002__BOTTLE)
      & has_arg0(R_0034_0002__BOTTLE,Z_0034_5002)
      & has_arg1(R_0034_0002__BOTTLE,R_0034_0003__WINE) ) ).