arc(r_0025_0001__Nothing_quant, r_0025_0002__spreads, scope).
arc(r_0025_0001__Nothing_quant, z_000_25_a_beeton_1861_4, restriction).
arc(r_0025_0002__spreads, r_0025_0004__rapidly, nim9).
arc(r_0025_0002__spreads, r_0025_0006__society, r_0025_0005__in_nim20).
arc(r_0025_0002__spreads, z_000_25_a_beeton_1861_4, arg0).
arc(r_0025_0003__more, r_0025_0008__the_r_0025_0009__reputation, r_0025_0007__than).
arc(r_0025_0004__rapidly, r_0025_0003__more, qual10).
arc(r_0025_0008__the_r_0025_0009__reputation, r_0025_0011__a_r_0025_0013__wine__hyphen__cellar, r_0025_0010__of).
arc(r_0025_0011__a_r_0025_0013__wine__hyphen__cellar, r_0025_0012__good, attrib37).
arc(r_0025_0015__and, r_0025_0001__Nothing_quant, conj1).
arc(r_0025_0015__and, r_0025_0029__and, conj2).
arc(r_0025_0016__all_quant, r_0025_0020__is, scope).
arc(r_0025_0016__all_quant, z_000_25_a_beeton_1861_50, restriction).
arc(r_0025_0017__that_r_0025_0018__is, r_0025_0019__required, scope).
arc(r_0025_0019__required, z_000_25_a_beeton_1861_50, arg1).
arc(r_0025_0019__required, z_000_25_a_beeton_1861_61, arg0).
arc(r_0025_0020__is, r_0025_0021__wines, prd).
arc(r_0025_0020__is, z_000_25_a_beeton_1861_50, arg0).
arc(r_0025_0023__chosen, r_0025_0021__wines, arg1).
arc(r_0025_0023__chosen, r_0025_0022__well, nim75).
arc(r_0025_0023__chosen, z_000_25_a_beeton_1861_73, arg0).
arc(r_0025_0024__and, r_0025_0023__chosen, conj1).
arc(r_0025_0024__and, r_0025_0026__cared, conj2).
arc(r_0025_0026__cared, r_0025_0021__wines, arg1).
arc(r_0025_0026__cared, r_0025_0025__well, nim86).
arc(r_0025_0026__cared, z_000_25_a_beeton_1861_84, arg0).
arc(r_0025_0026__cared, z_000_25_a_beeton_1861_84, lgs).
arc(r_0025_0029__and, r_0025_0016__all_quant, conj1).
arc(r_0025_0029__and, r_0025_0038__will, conj2).
arc(r_0025_0031__a_r_0025_0033__knowledge, r_0025_0032__little, attrib106).
arc(r_0025_0036__applied, r_0025_0031__a_r_0025_0033__knowledge, arg1).
arc(r_0025_0036__applied, r_0025_0035__carefully, nim116).
arc(r_0025_0036__applied, z_000_25_a_beeton_1861_114, arg0).
arc(r_0025_0038__will, r_0025_0040__supply, scope).
arc(r_0025_0040__supply, r_0025_0030__this, arg1).
arc(r_0025_0040__supply, r_0025_0031__a_r_0025_0033__knowledge, arg0).
arc(r_0025_0040__supply, r_0025_0039__soon, nim128).

fof(formula,axiom,
    ? [R_0025_0030__THIS,R_0025_0032__LITTLE,R_0025_0031__A_R_0025_0033__KNOWLEDGE,R_0025_0039__SOON,R_0025_0038__WILL_R_0025_0040__SUPPLY,R_0025_0029__AND,R_0025_0015__AND,R_0025_0021__WINES,R_0025_0022__WELL,Z_000_25_A_BEETON_1861_73,R_0025_0023__CHOSEN,R_0025_0025__WELL,Z_000_25_A_BEETON_1861_84,R_0025_0026__CARED,R_0025_0024__AND,R_0025_0035__CAREFULLY,Z_000_25_A_BEETON_1861_114,R_0025_0036__APPLIED] :
      ( r_0025_0021__wines(R_0025_0021__WINES)
      & r_0025_0022__well(R_0025_0022__WELL)
      & r_0025_0025__well(R_0025_0025__WELL)
      & r_0025_0030__this(R_0025_0030__THIS)
      & r_0025_0032__little(R_0025_0032__LITTLE)
      & r_0025_0035__carefully(R_0025_0035__CAREFULLY)
      & r_0025_0039__soon(R_0025_0039__SOON)
      & z_000_25_a_beeton_1861_114(Z_000_25_A_BEETON_1861_114)
      & z_000_25_a_beeton_1861_73(Z_000_25_A_BEETON_1861_73)
      & z_000_25_a_beeton_1861_84(Z_000_25_A_BEETON_1861_84)
      & r_0025_0036__applied(R_0025_0036__APPLIED)
      & has_arg0(R_0025_0036__APPLIED,Z_000_25_A_BEETON_1861_114)
      & has_nim116(R_0025_0036__APPLIED,R_0025_0035__CAREFULLY)
      & has_arg1(R_0025_0036__APPLIED,R_0025_0031__A_R_0025_0033__KNOWLEDGE)
      & r_0025_0031__a_r_0025_0033__knowledge(R_0025_0031__A_R_0025_0033__KNOWLEDGE)
      & has_attrib106(R_0025_0031__A_R_0025_0033__KNOWLEDGE,R_0025_0032__LITTLE)
      & r_0025_0024__and(R_0025_0024__AND)
      & has_conj2(R_0025_0024__AND,R_0025_0026__CARED)
      & r_0025_0026__cared(R_0025_0026__CARED)
      & has_lgs(R_0025_0026__CARED,Z_000_25_A_BEETON_1861_84)
      & has_arg0(R_0025_0026__CARED,Z_000_25_A_BEETON_1861_84)
      & has_nim86(R_0025_0026__CARED,R_0025_0025__WELL)
      & has_arg1(R_0025_0026__CARED,R_0025_0021__WINES)
      & has_conj1(R_0025_0024__AND,R_0025_0023__CHOSEN)
      & r_0025_0023__chosen(R_0025_0023__CHOSEN)
      & has_arg0(R_0025_0023__CHOSEN,Z_000_25_A_BEETON_1861_73)
      & has_nim75(R_0025_0023__CHOSEN,R_0025_0022__WELL)
      & has_arg1(R_0025_0023__CHOSEN,R_0025_0021__WINES)
      & r_0025_0015__and(R_0025_0015__AND)
      & has_conj2(R_0025_0015__AND,R_0025_0029__AND)
      & r_0025_0029__and(R_0025_0029__AND)
      & has_conj2(R_0025_0029__AND,R_0025_0038__WILL_R_0025_0040__SUPPLY)
      & r_0025_0038__will_r_0025_0040__supply(R_0025_0038__WILL_R_0025_0040__SUPPLY)
      & has_nim128(R_0025_0038__WILL_R_0025_0040__SUPPLY,R_0025_0039__SOON)
      & has_arg0(R_0025_0038__WILL_R_0025_0040__SUPPLY,R_0025_0031__A_R_0025_0033__KNOWLEDGE)
      & has_arg1(R_0025_0038__WILL_R_0025_0040__SUPPLY,R_0025_0030__THIS)
      & ! [Z_000_25_A_BEETON_1861_50,Z_000_25_A_BEETON_1861_61,R_0025_0017__THAT_R_0025_0018__IS_R_0025_0019__REQUIRED] :
          ( ( z_000_25_a_beeton_1861_50(Z_000_25_A_BEETON_1861_50)
            & z_000_25_a_beeton_1861_61(Z_000_25_A_BEETON_1861_61)
            & r_0025_0017__that_r_0025_0018__is_r_0025_0019__required(R_0025_0017__THAT_R_0025_0018__IS_R_0025_0019__REQUIRED)
            & has_arg0(R_0025_0017__THAT_R_0025_0018__IS_R_0025_0019__REQUIRED,Z_000_25_A_BEETON_1861_61)
            & has_arg1(R_0025_0017__THAT_R_0025_0018__IS_R_0025_0019__REQUIRED,Z_000_25_A_BEETON_1861_50) )
         => ? [R_0025_0020__IS] :
              ( r_0025_0020__is(R_0025_0020__IS)
              & has_arg0(R_0025_0020__IS,Z_000_25_A_BEETON_1861_50)
              & has_prd(R_0025_0020__IS,R_0025_0021__WINES) ) )
      & ! [Z_000_25_A_BEETON_1861_4] :
          ( z_000_25_a_beeton_1861_4(Z_000_25_A_BEETON_1861_4)
         => ? [R_0025_0012__GOOD,R_0025_0011__A_R_0025_0013__WINE__HYPHEN__CELLAR,R_0025_0008__THE_R_0025_0009__REPUTATION,R_0025_0003__MORE,R_0025_0004__RAPIDLY,R_0025_0006__SOCIETY,R_0025_0002__SPREADS] :
              ( r_0025_0006__society(R_0025_0006__SOCIETY)
              & r_0025_0012__good(R_0025_0012__GOOD)
              & r_0025_0002__spreads(R_0025_0002__SPREADS)
              & has_arg0(R_0025_0002__SPREADS,Z_000_25_A_BEETON_1861_4)
              & has_r_0025_0005__in_nim20(R_0025_0002__SPREADS,R_0025_0006__SOCIETY)
              & has_nim9(R_0025_0002__SPREADS,R_0025_0004__RAPIDLY)
              & r_0025_0004__rapidly(R_0025_0004__RAPIDLY)
              & has_qual10(R_0025_0004__RAPIDLY,R_0025_0003__MORE)
              & r_0025_0003__more(R_0025_0003__MORE)
              & has_r_0025_0007__than(R_0025_0003__MORE,R_0025_0008__THE_R_0025_0009__REPUTATION)
              & r_0025_0008__the_r_0025_0009__reputation(R_0025_0008__THE_R_0025_0009__REPUTATION)
              & has_r_0025_0010__of(R_0025_0008__THE_R_0025_0009__REPUTATION,R_0025_0011__A_R_0025_0013__WINE__HYPHEN__CELLAR)
              & r_0025_0011__a_r_0025_0013__wine__hyphen__cellar(R_0025_0011__A_R_0025_0013__WINE__HYPHEN__CELLAR)
              & has_attrib37(R_0025_0011__A_R_0025_0013__WINE__HYPHEN__CELLAR,R_0025_0012__GOOD) ) ) ) ).

( (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 25_a_beeton_1861;2164-7))