TSPC 24_a_beeton

24_a_beeton_1861
Nothing spreads more rapidly in society than the reputation of a good wine-cellar, and all that is required is wines well chosen and well cared for; and this a little knowledge, carefully applied, will soon supply.

( (IP-MAT (ILYR (ILYR (NP-SBJ (Q;_nphd_ Nothing;{nothing}))
                      (VBP;__ spreads;{spread})
                      (ADVP-NIM (ADVP (ADVR more;{more})
                                      (PP *ICH*-148))
                                (ADV rapidly;{rapidly}))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (N society;{society})))
                      (PP-EPD-148 (P-ROLE than;{than})
                                  (NP (D the;{the})
                                      (N reputation;{reputation})
                                      (PP (P-ROLE of;{of})
                                          (NP (D a;{a})
                                              (ADJP (ADJ good;{good}))
                                              (N wine_<hyphen>_cellar;{wine_cellar}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ILYR (ILYR (NP-SBJ (Q;_nphd_ all;{all})
                                                 (IP-REL (C that;{that})
                                                         (NP-SBJ *T*)
                                                         (BEP;_cat_VePASS_ is;{be})
                                                         (IP-PPL-CAT (NP-LGS *)
                                                                     (VVN;__ required;{require}))))
                                         (BEP;_Ln_ is;{be})
                                         (NP-PRD (NS wines;{wine})
                                                 (IP-PPL (ILYR (ILYR (NP-LGS *)
                                                                     (ADVP-NIM (ADV well;{well}))
                                                                     (VVN;_Tn_ chosen;{choose}))
                                                               (CONJP (CONJ and;{and})
                                                                      (ILYR (NP-LGS *)
                                                                            (ADVP-NIM (ADV well;{well}))
                                                                            (VVN;_Ipr_ cared;{care[for]})
                                                                            (PP-CLR (P-ROLE for;{for}))))))))
                                   (PUNC ;)
                                   (CONJP (CONJ and;{and})
                                          (ILYR (NP-TPC-120 (D;_nphd_ this;{this}))
                                                (NP-SBJ (D a;{a})
                                                        (ADJP (ADJ little;{little}))
                                                        (N knowledge;{knowledge})
                                                        (PUNC ,)
                                                        (IP-PPL (NP-LGS *)
                                                                (ADVP-NIM (ADV carefully;{carefully}))
                                                                (VVN;__ applied;{apply})))
                                                (PUNC ,)
                                                (MD;_cat_Vi_ will;{will})
                                                (IP-INF-CAT (NP-OB1 *ICH*-120)
                                                            (ADVP-NIM (ADV soon;{soon}))
                                                            (VB;__ supply;{supply}))))))))
          (PUNC .))
  (ID 24_a_beeton_1861;2164-7))

arc(r_0024_0001__Nothing__quant,r_0024_0002__spreads,scope).
arc(r_0024_0001__Nothing__quant,z_0024_5003,restriction).
arc(r_0024_0002__spreads,r_0024_0004__rapidly,nim).
arc(r_0024_0002__spreads,r_0024_0006__society,r_0024_0005__in__nim).
arc(r_0024_0002__spreads,z_0024_5003,arg0).
arc(r_0024_0003__more,r_0024_0008__the_r_0024_0009__reputation,r_0024_0007__than).
arc(r_0024_0004__rapidly,r_0024_0003__more,qual).
arc(r_0024_0008__the_r_0024_0009__reputation,r_0024_0011__a_r_0024_0013__wine__hyphen__cellar,r_0024_0010__of).
arc(r_0024_0011__a_r_0024_0013__wine__hyphen__cellar,r_0024_0012__good,attrib).
arc(r_0024_0015__and,r_0024_0001__Nothing__quant,conj1).
arc(r_0024_0015__and,r_0024_0029__and,conj2).
arc(r_0024_0016__all__quant,r_0024_0020__is,scope).
arc(r_0024_0016__all__quant,z_0024_5019,restriction).
arc(r_0024_0018__is,r_0024_0019__required,scope).
arc(r_0024_0019__required,z_0024_5016___star_,arg0).
arc(r_0024_0019__required,z_0024_5019,inv_arg1).
arc(r_0024_0020__is,r_0024_0021__wines,prd).
arc(r_0024_0020__is,z_0024_5019,arg0).
arc(r_0024_0023__chosen,r_0024_0021__wines,inv_arg1).
arc(r_0024_0023__chosen,r_0024_0022__well,nim).
arc(r_0024_0023__chosen,z_0024_5022___star_,arg0).
arc(r_0024_0024__and,r_0024_0023__chosen,conj1).
arc(r_0024_0024__and,r_0024_0026__cared_r_0024_0027__for,conj2).
arc(r_0024_0026__cared_r_0024_0027__for,r_0024_0021__wines,inv_arg1).
arc(r_0024_0026__cared_r_0024_0027__for,r_0024_0025__well,nim).
arc(r_0024_0026__cared_r_0024_0027__for,z_0024_5025___star_,arg0).
arc(r_0024_0029__and,r_0024_0016__all__quant,conj1).
arc(r_0024_0029__and,r_0024_0038__will,conj2).
arc(r_0024_0031__a_r_0024_0033__knowledge,r_0024_0032__little,attrib).
arc(r_0024_0036__applied,r_0024_0031__a_r_0024_0033__knowledge,inv_arg1).
arc(r_0024_0036__applied,r_0024_0035__carefully,nim).
arc(r_0024_0036__applied,z_0024_5032___star_,arg0).
arc(r_0024_0038__will,r_0024_0040__supply,scope).
arc(r_0024_0040__supply,r_0024_0030__this,arg1).
arc(r_0024_0040__supply,r_0024_0031__a_r_0024_0033__knowledge,arg0).
arc(r_0024_0040__supply,r_0024_0039__soon,nim).

fof(formula,axiom,
    ? [R_0024_0030__THIS,R_0024_0032__LITTLE,R_0024_0035__CAREFULLY,Z_0024_5032___STAR_,R_0024_0036__APPLIED,R_0024_0031__A_R_0024_0033__KNOWLEDGE,R_0024_0039__SOON,R_0024_0038__WILL_R_0024_0040__SUPPLY,R_0024_0029__AND,R_0024_0015__AND,R_0024_0022__WELL,Z_0024_5022___STAR_,R_0024_0023__CHOSEN,R_0024_0025__WELL,Z_0024_5025___STAR_,R_0024_0026__CARED_R_0024_0027__FOR,R_0024_0024__AND] :
      ( r_0024_0022__well(R_0024_0022__WELL)
      & r_0024_0025__well(R_0024_0025__WELL)
      & r_0024_0030__this(R_0024_0030__THIS)
      & r_0024_0032__little(R_0024_0032__LITTLE)
      & r_0024_0035__carefully(R_0024_0035__CAREFULLY)
      & r_0024_0039__soon(R_0024_0039__SOON)
      & z_0024_5022___star_(Z_0024_5022___STAR_)
      & z_0024_5025___star_(Z_0024_5025___STAR_)
      & z_0024_5032___star_(Z_0024_5032___STAR_)
      & r_0024_0024__and(R_0024_0024__AND)
      & has_conj2(R_0024_0024__AND,R_0024_0026__CARED_R_0024_0027__FOR)
      & r_0024_0026__cared_r_0024_0027__for(R_0024_0026__CARED_R_0024_0027__FOR)
      & has_arg0(R_0024_0026__CARED_R_0024_0027__FOR,Z_0024_5025___STAR_)
      & has_nim(R_0024_0026__CARED_R_0024_0027__FOR,R_0024_0025__WELL)
      & has_conj1(R_0024_0024__AND,R_0024_0023__CHOSEN)
      & r_0024_0023__chosen(R_0024_0023__CHOSEN)
      & has_arg0(R_0024_0023__CHOSEN,Z_0024_5022___STAR_)
      & has_nim(R_0024_0023__CHOSEN,R_0024_0022__WELL)
      & r_0024_0015__and(R_0024_0015__AND)
      & has_conj2(R_0024_0015__AND,R_0024_0029__AND)
      & r_0024_0029__and(R_0024_0029__AND)
      & has_conj2(R_0024_0029__AND,R_0024_0038__WILL_R_0024_0040__SUPPLY)
      & r_0024_0038__will_r_0024_0040__supply(R_0024_0038__WILL_R_0024_0040__SUPPLY)
      & has_nim(R_0024_0038__WILL_R_0024_0040__SUPPLY,R_0024_0039__SOON)
      & has_arg0(R_0024_0038__WILL_R_0024_0040__SUPPLY,R_0024_0031__A_R_0024_0033__KNOWLEDGE)
      & r_0024_0031__a_r_0024_0033__knowledge(R_0024_0031__A_R_0024_0033__KNOWLEDGE)
      & has_inv_arg1(R_0024_0031__A_R_0024_0033__KNOWLEDGE,R_0024_0036__APPLIED)
      & r_0024_0036__applied(R_0024_0036__APPLIED)
      & has_arg0(R_0024_0036__APPLIED,Z_0024_5032___STAR_)
      & has_nim(R_0024_0036__APPLIED,R_0024_0035__CAREFULLY)
      & has_attrib(R_0024_0031__A_R_0024_0033__KNOWLEDGE,R_0024_0032__LITTLE)
      & has_arg1(R_0024_0038__WILL_R_0024_0040__SUPPLY,R_0024_0030__THIS)
      & ! [Z_0024_5019,Z_0024_5016___STAR_,R_0024_0018__IS_R_0024_0019__REQUIRED] :
          ( ( z_0024_5016___star_(Z_0024_5016___STAR_)
            & z_0024_5019(Z_0024_5019)
            & has_inv_arg1(Z_0024_5019,R_0024_0018__IS_R_0024_0019__REQUIRED)
            & r_0024_0018__is_r_0024_0019__required(R_0024_0018__IS_R_0024_0019__REQUIRED)
            & has_arg0(R_0024_0018__IS_R_0024_0019__REQUIRED,Z_0024_5016___STAR_) )
         => ? [R_0024_0021__WINES,R_0024_0020__IS] :
              ( r_0024_0020__is(R_0024_0020__IS)
              & has_arg0(R_0024_0020__IS,Z_0024_5019)
              & has_prd(R_0024_0020__IS,R_0024_0021__WINES)
              & r_0024_0021__wines(R_0024_0021__WINES)
              & has_inv_arg1(R_0024_0021__WINES,R_0024_0026__CARED_R_0024_0027__FOR)
              & has_inv_arg1(R_0024_0021__WINES,R_0024_0023__CHOSEN) ) )
      & ! [Z_0024_5003] :
          ( z_0024_5003(Z_0024_5003)
         => ? [R_0024_0012__GOOD,R_0024_0011__A_R_0024_0013__WINE__HYPHEN__CELLAR,R_0024_0008__THE_R_0024_0009__REPUTATION,R_0024_0003__MORE,R_0024_0004__RAPIDLY,R_0024_0006__SOCIETY,R_0024_0002__SPREADS] :
              ( r_0024_0006__society(R_0024_0006__SOCIETY)
              & r_0024_0012__good(R_0024_0012__GOOD)
              & r_0024_0002__spreads(R_0024_0002__SPREADS)
              & has_arg0(R_0024_0002__SPREADS,Z_0024_5003)
              & has_r_0024_0005__in__nim(R_0024_0002__SPREADS,R_0024_0006__SOCIETY)
              & has_nim(R_0024_0002__SPREADS,R_0024_0004__RAPIDLY)
              & r_0024_0004__rapidly(R_0024_0004__RAPIDLY)
              & has_qual(R_0024_0004__RAPIDLY,R_0024_0003__MORE)
              & r_0024_0003__more(R_0024_0003__MORE)
              & has_r_0024_0007__than(R_0024_0003__MORE,R_0024_0008__THE_R_0024_0009__REPUTATION)
              & r_0024_0008__the_r_0024_0009__reputation(R_0024_0008__THE_R_0024_0009__REPUTATION)
              & has_r_0024_0010__of(R_0024_0008__THE_R_0024_0009__REPUTATION,R_0024_0011__A_R_0024_0013__WINE__HYPHEN__CELLAR)
              & r_0024_0011__a_r_0024_0013__wine__hyphen__cellar(R_0024_0011__A_R_0024_0013__WINE__HYPHEN__CELLAR)
              & has_attrib(R_0024_0011__A_R_0024_0013__WINE__HYPHEN__CELLAR,R_0024_0012__GOOD) ) ) ) ).