TSPC 30_a_lob

30_a_lob_g01
When the King and his council required additional funds, they were usually granted an export tax on the wool trade, collected by means of that ‘staple’ system which ensured that prices, quality and tax could be efficiently supervised and controlled, together with a subsidy or tax on all movable property.

( (IP-MAT (PP-SCON (P-CONN When;{when})
                   (IP-ADV (NP-SBJ;{KING+COUNCIL} (NLYR (NLYR;{KING} (D the;{the})
                                                                     (N King;{king}))
                                                        (CONJP (CONJ and;{and})
                                                               (NLYR (NP-GEN;{KING} (PRO;_genm_ his;{his}))
                                                                     (N council;{council})))))
                           (VBD;__ required;{require})
                           (NP-OB1 (ADJP (ADJ additional;{additional}))
                                   (NS funds;{fund}))))
          (PUNC ,)
          (NP-SBJ;{KING+COUNCIL} (PRO they;{they}))
          (BED;_cat_VePASS_ were;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (ADVP-NIM (ADV usually;{usually}))
                      (VVN;__ granted;{grant})
                      (NP-OB1 (D an;{an})
                              (ADJP (ADJ export;{export}))
                              (N tax;{tax})
                              (PP (P-ROLE on;{on})
                                  (NP (D the;{the})
                                      (N wool;{wool})
                                      (N trade;{trade})))
                              (PUNC ,)
                              (IP-PPL (VVN;__ collected;{collect})
                                      (NP-OB1 (NS by_means;{by_means})
                                              (PP (P-ROLE of;{of})
                                                  (NP (D that;{that})
                                                      (PULQ <lquo>)
                                                      (N staple;{staple})
                                                      (PURQ <rquo>)
                                                      (N system;{system})
                                                      (IP-REL (NP-SBJ (RPRO which;{which}))
                                                              (VBD;__ ensured;{ensure})
                                                              (CP-THT-OB1 (IP-SUB (C that;{that})
                                                                                  (NP-SBJ (NLYR (NLYR (NS prices;{price}))
                                                                                                (PUNC ,)
                                                                                                (CONJP (NLYR (N quality;{quality})))
                                                                                                (CONJP (CONJ and;{and})
                                                                                                       (NLYR (N tax;{tax})))))
                                                                                  (MD;_cat_Vi_ could;{can})
                                                                                  (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                                                                              (IP-PPL-CAT (NP-LGS *)
                                                                                                          (ADVP-NIM (ADV efficiently;{efficiently}))
                                                                                                          (ILYR (ILYR (VVN;__ supervised;{supervise}))
                                                                                                                (CONJP (CONJ and;{and})
                                                                                                                       (ILYR (VVN;__ controlled;{control}))))
                                                                                                          (PUNC ,)
                                                                                                          (ADVP-NIM (ADV together;{together}))
                                                                                                          (PP-NIM (P-ROLE with;{with})
                                                                                                                  (NP (D a;{a})
                                                                                                                      (NLYR (NLYR (N subsidy;{subsidy}))
                                                                                                                            (CONJP (CONJ or;{or})
                                                                                                                                   (NLYR (N tax;{tax}))))
                                                                                                                      (PP (P-ROLE on;{on})
                                                                                                                          (NP (Q all;{all})
                                                                                                                              (ADJP (ADJ movable;{movable}))
                                                                                                                              (N property;{property}))))))))))))))))
          (PUNC .))
  (ID 30_a_lob_g01))

arc(r_0030_0001__When,r_0030_0007__required,restriction).
arc(r_0030_0001__When,r_0030_0012__were,scope).
arc(r_0030_0004__and,r_0030_0002__the_r_0030_0003__King,conj1).
arc(r_0030_0004__and,r_0030_0006__council,conj2).
arc(r_0030_0006__council,r_0030_0002__the_r_0030_0003__King,gen).
arc(r_0030_0007__required,r_0030_0004__and,arg0).
arc(r_0030_0007__required,r_0030_0009__funds,arg1).
arc(r_0030_0009__funds,r_0030_0008__additional,attrib).
arc(r_0030_0012__were,r_0030_0014__granted,scope).
arc(r_0030_0014__granted,r_0030_0004__and,arg2).
arc(r_0030_0014__granted,r_0030_0013__usually,nim).
arc(r_0030_0014__granted,r_0030_0015__an_r_0030_0017__tax,arg1).
arc(r_0030_0014__granted,z_0030_5038___star_,arg0).
arc(r_0030_0015__an_r_0030_0017__tax,r_0030_0016__export,attrib).
arc(r_0030_0015__an_r_0030_0017__tax,r_0030_0019__the_r_0030_0020__wool_r_0030_0021__trade,r_0030_0018__on).
arc(r_0030_0023__collected,r_0030_0015__an_r_0030_0017__tax,inv_arg0).
arc(r_0030_0023__collected,r_0030_0024__by_means,arg1).
arc(r_0030_0024__by_means,r_0030_0026__that_r_0030_0028__staple_r_0030_0030__system,r_0030_0025__of).
arc(r_0030_0032__ensured,r_0030_0026__that_r_0030_0028__staple_r_0030_0030__system,arg0).
arc(r_0030_0032__ensured,r_0030_0039__could,arg1).
arc(r_0030_0037__and,r_0030_0034__prices,conj1).
arc(r_0030_0037__and,r_0030_0036__quality,conj2).
arc(r_0030_0037__and,r_0030_0038__tax,conj3).
arc(r_0030_0039__could,r_0030_0040__be,scope).
arc(r_0030_0040__be,r_0030_0043__and,scope).
arc(r_0030_0042__supervised,r_0030_0037__and,arg1).
arc(r_0030_0042__supervised,r_0030_0041__efficiently,nim).
arc(r_0030_0042__supervised,r_0030_0046__together,nim).
arc(r_0030_0042__supervised,r_0030_0048__a_r_0030_0049__subsidy_r_0030_0050__or_r_0030_0051__tax,r_0030_0047__with__nim).
arc(r_0030_0042__supervised,z_0030_5028___star_,arg0).
arc(r_0030_0043__and,r_0030_0042__supervised,conj1).
arc(r_0030_0043__and,r_0030_0044__controlled,conj2).
arc(r_0030_0044__controlled,r_0030_0037__and,arg1).
arc(r_0030_0044__controlled,r_0030_0041__efficiently,nim).
arc(r_0030_0044__controlled,r_0030_0046__together,nim).
arc(r_0030_0044__controlled,r_0030_0048__a_r_0030_0049__subsidy_r_0030_0050__or_r_0030_0051__tax,r_0030_0047__with__nim).
arc(r_0030_0044__controlled,z_0030_5028___star_,arg0).
arc(r_0030_0048__a_r_0030_0049__subsidy_r_0030_0050__or_r_0030_0051__tax,r_0030_0055__property,r_0030_0052__on).
arc(r_0030_0053__all__quant,r_0030_0048__a_r_0030_0049__subsidy_r_0030_0050__or_r_0030_0051__tax,scope).
arc(r_0030_0053__all__quant,r_0030_0055__property,restriction).
arc(r_0030_0055__property,r_0030_0054__movable,attrib).

fof(formula,axiom,
    ( ! [R_0030_0055__PROPERTY,R_0030_0026__THAT_R_0030_0028__STAPLE_R_0030_0030__SYSTEM,R_0030_0034__PRICES,R_0030_0036__QUALITY,R_0030_0038__TAX,R_0030_0037__AND,R_0030_0041__EFFICIENTLY,R_0030_0046__TOGETHER,R_0030_0054__MOVABLE,R_0030_0048__A_R_0030_0049__SUBSIDY_R_0030_0050__OR_R_0030_0051__TAX,Z_0030_5028___STAR_,R_0030_0042__SUPERVISED,R_0030_0044__CONTROLLED,R_0030_0043__AND,R_0030_0039__COULD_R_0030_0040__BE,R_0030_0032__ENSURED] :
        ( ( r_0030_0026__that_r_0030_0028__staple_r_0030_0030__system(R_0030_0026__THAT_R_0030_0028__STAPLE_R_0030_0030__SYSTEM)
          & r_0030_0034__prices(R_0030_0034__PRICES)
          & r_0030_0036__quality(R_0030_0036__QUALITY)
          & r_0030_0038__tax(R_0030_0038__TAX)
          & r_0030_0041__efficiently(R_0030_0041__EFFICIENTLY)
          & r_0030_0046__together(R_0030_0046__TOGETHER)
          & r_0030_0054__movable(R_0030_0054__MOVABLE)
          & z_0030_5028___star_(Z_0030_5028___STAR_)
          & r_0030_0032__ensured(R_0030_0032__ENSURED)
          & has_arg1(R_0030_0032__ENSURED,R_0030_0039__COULD_R_0030_0040__BE)
          & r_0030_0039__could_r_0030_0040__be(R_0030_0039__COULD_R_0030_0040__BE)
          & has_keep_scope(R_0030_0039__COULD_R_0030_0040__BE,R_0030_0043__AND)
          & r_0030_0043__and(R_0030_0043__AND)
          & has_conj2(R_0030_0043__AND,R_0030_0044__CONTROLLED)
          & r_0030_0044__controlled(R_0030_0044__CONTROLLED)
          & has_arg0(R_0030_0044__CONTROLLED,Z_0030_5028___STAR_)
          & has_r_0030_0047__with__nim(R_0030_0044__CONTROLLED,R_0030_0048__A_R_0030_0049__SUBSIDY_R_0030_0050__OR_R_0030_0051__TAX)
          & r_0030_0048__a_r_0030_0049__subsidy_r_0030_0050__or_r_0030_0051__tax(R_0030_0048__A_R_0030_0049__SUBSIDY_R_0030_0050__OR_R_0030_0051__TAX)
          & has_r_0030_0052__on(R_0030_0048__A_R_0030_0049__SUBSIDY_R_0030_0050__OR_R_0030_0051__TAX,R_0030_0055__PROPERTY)
          & r_0030_0055__property(R_0030_0055__PROPERTY)
          & has_attrib(R_0030_0055__PROPERTY,R_0030_0054__MOVABLE)
          & has_nim(R_0030_0044__CONTROLLED,R_0030_0046__TOGETHER)
          & has_nim(R_0030_0044__CONTROLLED,R_0030_0041__EFFICIENTLY)
          & has_arg1(R_0030_0044__CONTROLLED,R_0030_0037__AND)
          & r_0030_0037__and(R_0030_0037__AND)
          & has_conj3(R_0030_0037__AND,R_0030_0038__TAX)
          & has_conj2(R_0030_0037__AND,R_0030_0036__QUALITY)
          & has_conj1(R_0030_0037__AND,R_0030_0034__PRICES)
          & has_conj1(R_0030_0043__AND,R_0030_0042__SUPERVISED)
          & r_0030_0042__supervised(R_0030_0042__SUPERVISED)
          & has_arg0(R_0030_0042__SUPERVISED,Z_0030_5028___STAR_)
          & has_r_0030_0047__with__nim(R_0030_0042__SUPERVISED,R_0030_0048__A_R_0030_0049__SUBSIDY_R_0030_0050__OR_R_0030_0051__TAX)
          & has_nim(R_0030_0042__SUPERVISED,R_0030_0046__TOGETHER)
          & has_nim(R_0030_0042__SUPERVISED,R_0030_0041__EFFICIENTLY)
          & has_arg1(R_0030_0042__SUPERVISED,R_0030_0037__AND)
          & has_arg0(R_0030_0032__ENSURED,R_0030_0026__THAT_R_0030_0028__STAPLE_R_0030_0030__SYSTEM) )
       => ? [R_0030_0042__SUPERVISED__AND__R_0030_0044__CONTROLLED] :
            ( r_0030_0042__supervised__and__r_0030_0044__controlled(R_0030_0042__SUPERVISED__AND__R_0030_0044__CONTROLLED)
            & has_conj1(R_0030_0042__SUPERVISED__AND__R_0030_0044__CONTROLLED,R_0030_0042__SUPERVISED)
            & has_conj2(R_0030_0042__SUPERVISED__AND__R_0030_0044__CONTROLLED,R_0030_0044__CONTROLLED) ) )
    & ! [R_0030_0007__REQUIRED,R_0030_0002__THE_R_0030_0003__KING,R_0030_0006__COUNCIL,R_0030_0004__AND,R_0030_0008__ADDITIONAL,R_0030_0009__FUNDS] :
        ( ( r_0030_0002__the_r_0030_0003__King(R_0030_0002__THE_R_0030_0003__KING)
          & r_0030_0008__additional(R_0030_0008__ADDITIONAL)
          & r_0030_0007__required(R_0030_0007__REQUIRED)
          & has_arg1(R_0030_0007__REQUIRED,R_0030_0009__FUNDS)
          & r_0030_0009__funds(R_0030_0009__FUNDS)
          & has_attrib(R_0030_0009__FUNDS,R_0030_0008__ADDITIONAL)
          & has_arg0(R_0030_0007__REQUIRED,R_0030_0004__AND)
          & r_0030_0004__and(R_0030_0004__AND)
          & has_conj2(R_0030_0004__AND,R_0030_0006__COUNCIL)
          & r_0030_0006__council(R_0030_0006__COUNCIL)
          & has_gen(R_0030_0006__COUNCIL,R_0030_0002__THE_R_0030_0003__KING)
          & has_conj1(R_0030_0004__AND,R_0030_0002__THE_R_0030_0003__KING) )
       => ? [R_0030_0013__USUALLY,R_0030_0016__EXPORT,R_0030_0019__THE_R_0030_0020__WOOL_R_0030_0021__TRADE,R_0030_0026__THAT_R_0030_0028__STAPLE_R_0030_0030__SYSTEM,R_0030_0024__BY_MEANS,R_0030_0023__COLLECTED,R_0030_0015__AN_R_0030_0017__TAX,Z_0030_5038___STAR_,R_0030_0012__WERE_R_0030_0014__GRANTED] :
            ( r_0030_0013__usually(R_0030_0013__USUALLY)
            & r_0030_0016__export(R_0030_0016__EXPORT)
            & r_0030_0019__the_r_0030_0020__wool_r_0030_0021__trade(R_0030_0019__THE_R_0030_0020__WOOL_R_0030_0021__TRADE)
            & r_0030_0026__that_r_0030_0028__staple_r_0030_0030__system(R_0030_0026__THAT_R_0030_0028__STAPLE_R_0030_0030__SYSTEM)
            & z_0030_5038___star_(Z_0030_5038___STAR_)
            & r_0030_0012__were_r_0030_0014__granted(R_0030_0012__WERE_R_0030_0014__GRANTED)
            & has_arg0(R_0030_0012__WERE_R_0030_0014__GRANTED,Z_0030_5038___STAR_)
            & has_arg1(R_0030_0012__WERE_R_0030_0014__GRANTED,R_0030_0015__AN_R_0030_0017__TAX)
            & r_0030_0015__an_r_0030_0017__tax(R_0030_0015__AN_R_0030_0017__TAX)
            & has_inv_arg0(R_0030_0015__AN_R_0030_0017__TAX,R_0030_0023__COLLECTED)
            & r_0030_0023__collected(R_0030_0023__COLLECTED)
            & has_arg1(R_0030_0023__COLLECTED,R_0030_0024__BY_MEANS)
            & r_0030_0024__by_means(R_0030_0024__BY_MEANS)
            & has_r_0030_0025__of(R_0030_0024__BY_MEANS,R_0030_0026__THAT_R_0030_0028__STAPLE_R_0030_0030__SYSTEM)
            & has_r_0030_0018__on(R_0030_0015__AN_R_0030_0017__TAX,R_0030_0019__THE_R_0030_0020__WOOL_R_0030_0021__TRADE)
            & has_attrib(R_0030_0015__AN_R_0030_0017__TAX,R_0030_0016__EXPORT)
            & has_nim(R_0030_0012__WERE_R_0030_0014__GRANTED,R_0030_0013__USUALLY)
            & has_arg2(R_0030_0012__WERE_R_0030_0014__GRANTED,R_0030_0004__AND) ) ) ) ).