30_a_beeton_1861
There are various modes of fining wine: isinglass, gelatine, and gum Arabic are all used for the purpose.
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).
fof(formula,axiom,
? [R_30_1_THERE_ARE,R_30_4_MODES,R_30_3_VARIOUS,R_30_7_WINE,R_30_6_FINING] :
( various(R_30_3_VARIOUS)
& fining(R_30_6_FINING)
& there_are(R_30_1_THERE_ARE,R_30_4_MODES)
& modes(R_30_4_MODES)
& attrib7(R_30_4_MODES,R_30_3_VARIOUS)
& of(R_30_4_MODES,R_30_7_WINE)
& wine(R_30_7_WINE)
& attrib16(R_30_7_WINE,R_30_6_FINING) ) ).
( (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))