Context                Previous, Next                Top


30_a_beeton_1861
There are various modes of fining wine: isinglass, gelatine, and gum Arabic are all used for the purpose.

%3 r_0030_0001__There_r_0030_0002__are There are r_0030_0004__modes modes r_0030_0001__There_r_0030_0002__are->r_0030_0004__modes [arg0] r_0030_0003__various various r_0030_0004__modes->r_0030_0003__various [attrib] r_0030_0007__wine wine r_0030_0004__modes->r_0030_0007__wine of r_0030_0006__fining fining r_0030_0007__wine->r_0030_0006__fining [attrib] 
arc(r_0030_0001__There_r_0030_0002__are, r_0030_0004__modes, arg0).
arc(r_0030_0004__modes, r_0030_0003__various, attrib7).
arc(r_0030_0004__modes, r_0030_0007__wine, r_0030_0005__of).
arc(r_0030_0007__wine, r_0030_0006__fining, attrib16).


%3 r_0030_0007__wine wine r_0030_0006__fining fining r_0030_0007__wine->r_0030_0006__fining [attrib] r_0030_0004__modes modes r_0030_0004__modes->r_0030_0007__wine of r_0030_0003__various various r_0030_0004__modes->r_0030_0003__various [attrib] r_0030_0001__There_r_0030_0002__are There are r_0030_0001__There_r_0030_0002__are->r_0030_0004__modes [arg0] 
fof(formula,axiom,
    ? [R_0030_0003__VARIOUS,R_0030_0006__FINING,R_0030_0007__WINE,R_0030_0004__MODES,R_0030_0001__THERE_R_0030_0002__ARE] :
      ( r_0030_0003__various(R_0030_0003__VARIOUS)
      & r_0030_0006__fining(R_0030_0006__FINING)
      & r_0030_0001__There_r_0030_0002__are(R_0030_0001__THERE_R_0030_0002__ARE)
      & has_arg0(R_0030_0001__THERE_R_0030_0002__ARE,R_0030_0004__MODES)
      & r_0030_0004__modes(R_0030_0004__MODES)
      & has_r_0030_0005__of(R_0030_0004__MODES,R_0030_0007__WINE)
      & r_0030_0007__wine(R_0030_0007__WINE)
      & has_attrib16(R_0030_0007__WINE,R_0030_0006__FINING)
      & has_attrib7(R_0030_0004__MODES,R_0030_0003__VARIOUS) ) ).


n30_a_beeton_1861 n30_a_beeton_1861__1_1_1 There n30_a_beeton_1861__1_2_1 are n30_a_beeton_1861__1_3_1_1_1 various n30_a_beeton_1861__1_3_2_1 modes n30_a_beeton_1861__1_3_3_1_1 of n30_a_beeton_1861__1_3_3_2_1_1_1 fining n30_a_beeton_1861__1_3_3_2_2_1 wine n30_a_beeton_1861__1_4_1 : n30_a_beeton_1861__1_5_1_1_1_1_1_1 isinglass n30_a_beeton_1861__1_5_1_1_1_2_1 , n30_a_beeton_1861__1_5_1_1_1_3_1_1_1 gelatine n30_a_beeton_1861__1_5_1_1_1_4_1 , n30_a_beeton_1861__1_5_1_1_1_5_1_1 and n30_a_beeton_1861__1_5_1_1_1_5_2_1_1 gum n30_a_beeton_1861__1_5_1_1_1_5_2_2_1 Arabic n30_a_beeton_1861__1_5_1_2_1 are n30_a_beeton_1861__1_5_1_3_1_1 * n30_a_beeton_1861__1_5_1_3_2_1_1 all n30_a_beeton_1861__1_5_1_3_3_1 used n30_a_beeton_1861__1_5_1_3_4_1_1 for n30_a_beeton_1861__1_5_1_3_4_2_1_1 the n30_a_beeton_1861__1_5_1_3_4_2_2_1 purpose n30_a_beeton_1861__1_6_1 . n30_a_beeton_1861__1 IP-MAT n30_a_beeton_1861__1_1 EX n30_a_beeton_1861__1->n30_a_beeton_1861__1_1 n30_a_beeton_1861__1_2 BEP;_ex_V_ n30_a_beeton_1861__1->n30_a_beeton_1861__1_2 n30_a_beeton_1861__1_3 NP-ESBJ n30_a_beeton_1861__1->n30_a_beeton_1861__1_3 n30_a_beeton_1861__1_4 PUNC n30_a_beeton_1861__1->n30_a_beeton_1861__1_4 n30_a_beeton_1861__1_5 PRN n30_a_beeton_1861__1->n30_a_beeton_1861__1_5 n30_a_beeton_1861__1_6 PUNC n30_a_beeton_1861__1->n30_a_beeton_1861__1_6 n30_a_beeton_1861__1_1->n30_a_beeton_1861__1_1_1 n30_a_beeton_1861__1_2->n30_a_beeton_1861__1_2_1 n30_a_beeton_1861__1_3_1 ADJP n30_a_beeton_1861__1_3->n30_a_beeton_1861__1_3_1 n30_a_beeton_1861__1_3_2 NS n30_a_beeton_1861__1_3->n30_a_beeton_1861__1_3_2 n30_a_beeton_1861__1_3_3 PP n30_a_beeton_1861__1_3->n30_a_beeton_1861__1_3_3 n30_a_beeton_1861__1_3_1_1 ADJ n30_a_beeton_1861__1_3_1->n30_a_beeton_1861__1_3_1_1 n30_a_beeton_1861__1_3_1_1->n30_a_beeton_1861__1_3_1_1_1 n30_a_beeton_1861__1_3_2->n30_a_beeton_1861__1_3_2_1 n30_a_beeton_1861__1_3_3_1 P-ROLE n30_a_beeton_1861__1_3_3->n30_a_beeton_1861__1_3_3_1 n30_a_beeton_1861__1_3_3_2 NP n30_a_beeton_1861__1_3_3->n30_a_beeton_1861__1_3_3_2 n30_a_beeton_1861__1_3_3_1->n30_a_beeton_1861__1_3_3_1_1 n30_a_beeton_1861__1_3_3_2_1 ADJP n30_a_beeton_1861__1_3_3_2->n30_a_beeton_1861__1_3_3_2_1 n30_a_beeton_1861__1_3_3_2_2 N n30_a_beeton_1861__1_3_3_2->n30_a_beeton_1861__1_3_3_2_2 n30_a_beeton_1861__1_3_3_2_1_1 ADJ n30_a_beeton_1861__1_3_3_2_1->n30_a_beeton_1861__1_3_3_2_1_1 n30_a_beeton_1861__1_3_3_2_1_1->n30_a_beeton_1861__1_3_3_2_1_1_1 n30_a_beeton_1861__1_3_3_2_2->n30_a_beeton_1861__1_3_3_2_2_1 n30_a_beeton_1861__1_4->n30_a_beeton_1861__1_4_1 n30_a_beeton_1861__1_5_1 IP-MAT n30_a_beeton_1861__1_5->n30_a_beeton_1861__1_5_1 n30_a_beeton_1861__1_5_1_1 NP-SBJ n30_a_beeton_1861__1_5_1->n30_a_beeton_1861__1_5_1_1 n30_a_beeton_1861__1_5_1_2 BEP;_cat_VePASS_ n30_a_beeton_1861__1_5_1->n30_a_beeton_1861__1_5_1_2 n30_a_beeton_1861__1_5_1_3 IP-PPL-CAT n30_a_beeton_1861__1_5_1->n30_a_beeton_1861__1_5_1_3 n30_a_beeton_1861__1_5_1_1_1 NLYR n30_a_beeton_1861__1_5_1_1->n30_a_beeton_1861__1_5_1_1_1 n30_a_beeton_1861__1_5_1_1_1_1 NLYR n30_a_beeton_1861__1_5_1_1_1->n30_a_beeton_1861__1_5_1_1_1_1 n30_a_beeton_1861__1_5_1_1_1_2 PUNC n30_a_beeton_1861__1_5_1_1_1->n30_a_beeton_1861__1_5_1_1_1_2 n30_a_beeton_1861__1_5_1_1_1_3 CONJP n30_a_beeton_1861__1_5_1_1_1->n30_a_beeton_1861__1_5_1_1_1_3 n30_a_beeton_1861__1_5_1_1_1_4 PUNC n30_a_beeton_1861__1_5_1_1_1->n30_a_beeton_1861__1_5_1_1_1_4 n30_a_beeton_1861__1_5_1_1_1_5 CONJP n30_a_beeton_1861__1_5_1_1_1->n30_a_beeton_1861__1_5_1_1_1_5 n30_a_beeton_1861__1_5_1_1_1_1_1 N n30_a_beeton_1861__1_5_1_1_1_1->n30_a_beeton_1861__1_5_1_1_1_1_1 n30_a_beeton_1861__1_5_1_1_1_1_1->n30_a_beeton_1861__1_5_1_1_1_1_1_1 n30_a_beeton_1861__1_5_1_1_1_2->n30_a_beeton_1861__1_5_1_1_1_2_1 n30_a_beeton_1861__1_5_1_1_1_3_1 NLYR n30_a_beeton_1861__1_5_1_1_1_3->n30_a_beeton_1861__1_5_1_1_1_3_1 n30_a_beeton_1861__1_5_1_1_1_3_1_1 N n30_a_beeton_1861__1_5_1_1_1_3_1->n30_a_beeton_1861__1_5_1_1_1_3_1_1 n30_a_beeton_1861__1_5_1_1_1_3_1_1->n30_a_beeton_1861__1_5_1_1_1_3_1_1_1 n30_a_beeton_1861__1_5_1_1_1_4->n30_a_beeton_1861__1_5_1_1_1_4_1 n30_a_beeton_1861__1_5_1_1_1_5_1 CONJ n30_a_beeton_1861__1_5_1_1_1_5->n30_a_beeton_1861__1_5_1_1_1_5_1 n30_a_beeton_1861__1_5_1_1_1_5_2 NLYR n30_a_beeton_1861__1_5_1_1_1_5->n30_a_beeton_1861__1_5_1_1_1_5_2 n30_a_beeton_1861__1_5_1_1_1_5_1->n30_a_beeton_1861__1_5_1_1_1_5_1_1 n30_a_beeton_1861__1_5_1_1_1_5_2_1 N n30_a_beeton_1861__1_5_1_1_1_5_2->n30_a_beeton_1861__1_5_1_1_1_5_2_1 n30_a_beeton_1861__1_5_1_1_1_5_2_2 N n30_a_beeton_1861__1_5_1_1_1_5_2->n30_a_beeton_1861__1_5_1_1_1_5_2_2 n30_a_beeton_1861__1_5_1_1_1_5_2_1->n30_a_beeton_1861__1_5_1_1_1_5_2_1_1 n30_a_beeton_1861__1_5_1_1_1_5_2_2->n30_a_beeton_1861__1_5_1_1_1_5_2_2_1 n30_a_beeton_1861__1_5_1_2->n30_a_beeton_1861__1_5_1_2_1 n30_a_beeton_1861__1_5_1_3_1 NP-LGS n30_a_beeton_1861__1_5_1_3->n30_a_beeton_1861__1_5_1_3_1 n30_a_beeton_1861__1_5_1_3_2 ADVP-NIM n30_a_beeton_1861__1_5_1_3->n30_a_beeton_1861__1_5_1_3_2 n30_a_beeton_1861__1_5_1_3_3 VVN;__ n30_a_beeton_1861__1_5_1_3->n30_a_beeton_1861__1_5_1_3_3 n30_a_beeton_1861__1_5_1_3_4 PP-NIM n30_a_beeton_1861__1_5_1_3->n30_a_beeton_1861__1_5_1_3_4 n30_a_beeton_1861__1_5_1_3_1->n30_a_beeton_1861__1_5_1_3_1_1 n30_a_beeton_1861__1_5_1_3_2_1 ADV n30_a_beeton_1861__1_5_1_3_2->n30_a_beeton_1861__1_5_1_3_2_1 n30_a_beeton_1861__1_5_1_3_2_1->n30_a_beeton_1861__1_5_1_3_2_1_1 n30_a_beeton_1861__1_5_1_3_3->n30_a_beeton_1861__1_5_1_3_3_1 n30_a_beeton_1861__1_5_1_3_4_1 P-ROLE n30_a_beeton_1861__1_5_1_3_4->n30_a_beeton_1861__1_5_1_3_4_1 n30_a_beeton_1861__1_5_1_3_4_2 NP n30_a_beeton_1861__1_5_1_3_4->n30_a_beeton_1861__1_5_1_3_4_2 n30_a_beeton_1861__1_5_1_3_4_1->n30_a_beeton_1861__1_5_1_3_4_1_1 n30_a_beeton_1861__1_5_1_3_4_2_1 D n30_a_beeton_1861__1_5_1_3_4_2->n30_a_beeton_1861__1_5_1_3_4_2_1 n30_a_beeton_1861__1_5_1_3_4_2_2 N n30_a_beeton_1861__1_5_1_3_4_2->n30_a_beeton_1861__1_5_1_3_4_2_2 n30_a_beeton_1861__1_5_1_3_4_2_1->n30_a_beeton_1861__1_5_1_3_4_2_1_1 n30_a_beeton_1861__1_5_1_3_4_2_2->n30_a_beeton_1861__1_5_1_3_4_2_2_1 n30_a_beeton_1861__1_6->n30_a_beeton_1861__1_6_1 
( (IP-MAT (EX There;{there})
          (BEP;_ex_V_ are;{be})
          (NP-ESBJ (ADJP (ADJ various;{various}))
                   (NS modes;{mode})
                   (PP (P-ROLE of;{of})
                       (NP (ADJP (ADJ fining;{fining}))
                           (N wine;{wine}))))
          (PUNC :)
          (PRN (IP-MAT (NP-SBJ (NLYR (NLYR (N isinglass;{isinglass}))
                                     (PUNC ,)
                                     (CONJP (NLYR (N gelatine;{gelatine})))
                                     (PUNC ,)
                                     (CONJP (CONJ and;{and})
                                            (NLYR (N gum;{gum})
                                                  (N Arabic;{arabic})))))
                       (BEP;_cat_VePASS_ are;{be})
                       (IP-PPL-CAT (NP-LGS *)
                                   (ADVP-NIM (ADV all;{all}))
                                   (VVN;__ used;{use})
                                   (PP-NIM (P-ROLE for;{for})
                                           (NP (D the;{the})
                                               (N purpose;{purpose}))))))
          (PUNC .))
  (ID 30_a_beeton_1861;2166-2))