TSPC 27_a_beeton

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

( (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 27_a_beeton_1861;2166-2))

arc(r_0027_0002__are,r_0027_0004__modes,arg0).
arc(r_0027_0002__are,r_0027_0016__are,prn).
arc(r_0027_0004__modes,r_0027_0003__various,attrib).
arc(r_0027_0004__modes,r_0027_0007__wine,r_0027_0005__of).
arc(r_0027_0007__wine,r_0027_0006__fining,attrib).
arc(r_0027_0013__and,r_0027_0009__isinglass,conj1).
arc(r_0027_0013__and,r_0027_0011__gelatine,conj2).
arc(r_0027_0013__and,r_0027_0014__gum_r_0027_0015__Arabic,conj3).
arc(r_0027_0016__are,r_0027_0018__used,scope).
arc(r_0027_0018__used,r_0027_0013__and,arg1).
arc(r_0027_0018__used,r_0027_0017__all,nim).
arc(r_0027_0018__used,r_0027_0020__the_r_0027_0021__purpose,r_0027_0019__for__nim).
arc(r_0027_0018__used,z_0027_5009___star_,arg0).

fof(formula,axiom,
    ? [R_0027_0003__VARIOUS,R_0027_0006__FINING,R_0027_0007__WINE,R_0027_0004__MODES,R_0027_0009__ISINGLASS,R_0027_0011__GELATINE,R_0027_0014__GUM_R_0027_0015__ARABIC,R_0027_0013__AND,R_0027_0017__ALL,R_0027_0020__THE_R_0027_0021__PURPOSE,Z_0027_5009___STAR_,R_0027_0016__ARE_R_0027_0018__USED,R_0027_0002__ARE] :
      ( r_0027_0003__various(R_0027_0003__VARIOUS)
      & r_0027_0006__fining(R_0027_0006__FINING)
      & r_0027_0009__isinglass(R_0027_0009__ISINGLASS)
      & r_0027_0011__gelatine(R_0027_0011__GELATINE)
      & r_0027_0014__gum_r_0027_0015__Arabic(R_0027_0014__GUM_R_0027_0015__ARABIC)
      & r_0027_0017__all(R_0027_0017__ALL)
      & r_0027_0020__the_r_0027_0021__purpose(R_0027_0020__THE_R_0027_0021__PURPOSE)
      & z_0027_5009___star_(Z_0027_5009___STAR_)
      & r_0027_0002__are(R_0027_0002__ARE)
      & has_prn(R_0027_0002__ARE,R_0027_0016__ARE_R_0027_0018__USED)
      & r_0027_0016__are_r_0027_0018__used(R_0027_0016__ARE_R_0027_0018__USED)
      & has_arg0(R_0027_0016__ARE_R_0027_0018__USED,Z_0027_5009___STAR_)
      & has_r_0027_0019__for__nim(R_0027_0016__ARE_R_0027_0018__USED,R_0027_0020__THE_R_0027_0021__PURPOSE)
      & has_nim(R_0027_0016__ARE_R_0027_0018__USED,R_0027_0017__ALL)
      & has_arg1(R_0027_0016__ARE_R_0027_0018__USED,R_0027_0013__AND)
      & r_0027_0013__and(R_0027_0013__AND)
      & has_conj3(R_0027_0013__AND,R_0027_0014__GUM_R_0027_0015__ARABIC)
      & has_conj2(R_0027_0013__AND,R_0027_0011__GELATINE)
      & has_conj1(R_0027_0013__AND,R_0027_0009__ISINGLASS)
      & has_arg0(R_0027_0002__ARE,R_0027_0004__MODES)
      & r_0027_0004__modes(R_0027_0004__MODES)
      & has_r_0027_0005__of(R_0027_0004__MODES,R_0027_0007__WINE)
      & r_0027_0007__wine(R_0027_0007__WINE)
      & has_attrib(R_0027_0007__WINE,R_0027_0006__FINING)
      & has_attrib(R_0027_0004__MODES,R_0027_0003__VARIOUS) ) ).