TSPC 42_a_lob

42_a_lob_g01
In the event, the first poll-tax of 1377 (also called the ‘tallage of groats’) while naturally rousing much resentment, produced but meagre returns — there was as yet no trained bureaucracy to make tax collecting either fair or productive.

arc(r_0042_0005__the_r_0042_0006__first_r_0042_0007__poll__hyphen__tax, r_0042_0009__1377, r_0042_0008__of).
arc(r_0042_0012__called, r_0042_0005__the_r_0042_0006__first_r_0042_0007__poll__hyphen__tax, arg1).
arc(r_0042_0012__called, r_0042_0011__also, nim32).
arc(r_0042_0012__called, r_0042_0013__the_r_0042_0015__tallage, prd).
arc(r_0042_0012__called, z_000_42_a_lob_g01_30, arg0).
arc(r_0042_0013__the_r_0042_0015__tallage, r_0042_0017__groats, r_0042_0016__of).
arc(r_0042_0020__while, r_0042_0022__rousing, restriction).
arc(r_0042_0020__while, r_0042_0026__produced, scope).
arc(r_0042_0022__rousing, r_0042_0021__naturally, nim58).
arc(r_0042_0022__rousing, r_0042_0024__resentment, arg1).
arc(r_0042_0024__resentment, r_0042_0023__much, attrib64).
arc(r_0042_0026__produced, r_0042_0002__the_r_0042_0003__event, r_0042_0001__In_nim7).
arc(r_0042_0026__produced, r_0042_0005__the_r_0042_0006__first_r_0042_0007__poll__hyphen__tax, arg0).
arc(r_0042_0026__produced, r_0042_0029__returns, arg1).
arc(r_0042_0028__meagre, r_0042_0027__but, qual75).
arc(r_0042_0029__returns, r_0042_0028__meagre, attrib74).
arc(r_0042_0031__there_r_0042_0032__was, r_0042_0033__as_yet, nim90).
arc(r_0042_0031__there_r_0042_0032__was, r_0042_0037__to_r_0042_0038__make, scope).
arc(r_0042_0034__no_quant, r_0042_0031__there_r_0042_0032__was, scope).
arc(r_0042_0034__no_quant, r_0042_0036__bureaucracy, restriction).
arc(r_0042_0036__bureaucracy, r_0042_0035__trained, attrib96).
arc(r_0042_0037__to_r_0042_0038__make, r_0042_0036__bureaucracy, arg0).
arc(r_0042_0037__to_r_0042_0038__make, r_0042_0039__tax_r_0042_0040__collecting, arg1).
arc(r_0042_0037__to_r_0042_0038__make, r_0042_0041__either_r_0042_0043__or, prd).
arc(r_0042_0041__either_r_0042_0043__or, r_0042_0042__fair, conj1).
arc(r_0042_0041__either_r_0042_0043__or, r_0042_0044__productive, conj2).
arc(z_000_42_a_lob_g01_2, r_0042_0020__while, conj1).
arc(z_000_42_a_lob_g01_2, r_0042_0034__no_quant, conj2).

fof(formula,axiom,
    ? [R_0042_0009__1377,R_0042_0005__THE_R_0042_0006__FIRST_R_0042_0007__POLL__HYPHEN__TAX,R_0042_0011__ALSO,R_0042_0017__GROATS,R_0042_0013__THE_R_0042_0015__TALLAGE,Z_000_42_A_LOB_G01_30,R_0042_0012__CALLED,R_0042_0021__NATURALLY,R_0042_0023__MUCH,R_0042_0024__RESENTMENT,R_0042_0022__ROUSING,R_0042_0002__THE_R_0042_0003__EVENT,R_0042_0027__BUT,R_0042_0028__MEAGRE,R_0042_0029__RETURNS,R_0042_0026__PRODUCED,R_0042_0020__WHILE,Z_000_42_A_LOB_G01_2] :
      ( r_0042_0002__the_r_0042_0003__event(R_0042_0002__THE_R_0042_0003__EVENT)
      & r_0042_0009__1377(R_0042_0009__1377)
      & r_0042_0011__also(R_0042_0011__ALSO)
      & r_0042_0017__groats(R_0042_0017__GROATS)
      & r_0042_0021__naturally(R_0042_0021__NATURALLY)
      & r_0042_0023__much(R_0042_0023__MUCH)
      & r_0042_0027__but(R_0042_0027__BUT)
      & z_000_42_a_lob_g01_30(Z_000_42_A_LOB_G01_30)
      & z_000_42_a_lob_g01_2(Z_000_42_A_LOB_G01_2)
      & ! [R_0042_0036__BUREAUCRACY,R_0042_0035__TRAINED] :
          ( ( r_0042_0035__trained(R_0042_0035__TRAINED)
            & r_0042_0036__bureaucracy(R_0042_0036__BUREAUCRACY)
            & has_attrib96(R_0042_0036__BUREAUCRACY,R_0042_0035__TRAINED) )
         => ? [R_0042_0033__AS_YET,R_0042_0039__TAX_R_0042_0040__COLLECTING,R_0042_0042__FAIR,R_0042_0044__PRODUCTIVE,R_0042_0041__EITHER_R_0042_0043__OR,R_0042_0031__THERE_R_0042_0032__WAS_R_0042_0037__TO_R_0042_0038__MAKE] :
              ( r_0042_0033__as_yet(R_0042_0033__AS_YET)
              & r_0042_0039__tax_r_0042_0040__collecting(R_0042_0039__TAX_R_0042_0040__COLLECTING)
              & r_0042_0042__fair(R_0042_0042__FAIR)
              & r_0042_0044__productive(R_0042_0044__PRODUCTIVE)
              & r_0042_0031__there_r_0042_0032__was_r_0042_0037__to_r_0042_0038__make(R_0042_0031__THERE_R_0042_0032__WAS_R_0042_0037__TO_R_0042_0038__MAKE)
              & has_prd(R_0042_0031__THERE_R_0042_0032__WAS_R_0042_0037__TO_R_0042_0038__MAKE,R_0042_0041__EITHER_R_0042_0043__OR)
              & r_0042_0041__either_r_0042_0043__or(R_0042_0041__EITHER_R_0042_0043__OR)
              & has_conj2(R_0042_0041__EITHER_R_0042_0043__OR,R_0042_0044__PRODUCTIVE)
              & has_conj1(R_0042_0041__EITHER_R_0042_0043__OR,R_0042_0042__FAIR)
              & has_arg1(R_0042_0031__THERE_R_0042_0032__WAS_R_0042_0037__TO_R_0042_0038__MAKE,R_0042_0039__TAX_R_0042_0040__COLLECTING)
              & has_arg0(R_0042_0031__THERE_R_0042_0032__WAS_R_0042_0037__TO_R_0042_0038__MAKE,R_0042_0036__BUREAUCRACY)
              & has_nim90(R_0042_0031__THERE_R_0042_0032__WAS_R_0042_0037__TO_R_0042_0038__MAKE,R_0042_0033__AS_YET) ) )
      & has_conj1(Z_000_42_A_LOB_G01_2,R_0042_0020__WHILE)
      & r_0042_0020__while(R_0042_0020__WHILE)
      & has_conj2(R_0042_0020__WHILE,R_0042_0026__PRODUCED)
      & r_0042_0026__produced(R_0042_0026__PRODUCED)
      & has_arg1(R_0042_0026__PRODUCED,R_0042_0029__RETURNS)
      & r_0042_0029__returns(R_0042_0029__RETURNS)
      & has_attrib74(R_0042_0029__RETURNS,R_0042_0028__MEAGRE)
      & r_0042_0028__meagre(R_0042_0028__MEAGRE)
      & has_qual75(R_0042_0028__MEAGRE,R_0042_0027__BUT)
      & has_arg0(R_0042_0026__PRODUCED,R_0042_0005__THE_R_0042_0006__FIRST_R_0042_0007__POLL__HYPHEN__TAX)
      & r_0042_0005__the_r_0042_0006__first_r_0042_0007__poll__hyphen__tax(R_0042_0005__THE_R_0042_0006__FIRST_R_0042_0007__POLL__HYPHEN__TAX)
      & has_r_0042_0008__of(R_0042_0005__THE_R_0042_0006__FIRST_R_0042_0007__POLL__HYPHEN__TAX,R_0042_0009__1377)
      & has_r_0042_0001__In_nim7(R_0042_0026__PRODUCED,R_0042_0002__THE_R_0042_0003__EVENT)
      & has_conj1(R_0042_0020__WHILE,R_0042_0022__ROUSING)
      & r_0042_0022__rousing(R_0042_0022__ROUSING)
      & has_arg1(R_0042_0022__ROUSING,R_0042_0024__RESENTMENT)
      & r_0042_0024__resentment(R_0042_0024__RESENTMENT)
      & has_attrib64(R_0042_0024__RESENTMENT,R_0042_0023__MUCH)
      & has_nim58(R_0042_0022__ROUSING,R_0042_0021__NATURALLY)
      & r_0042_0012__called(R_0042_0012__CALLED)
      & has_arg0(R_0042_0012__CALLED,Z_000_42_A_LOB_G01_30)
      & has_prd(R_0042_0012__CALLED,R_0042_0013__THE_R_0042_0015__TALLAGE)
      & r_0042_0013__the_r_0042_0015__tallage(R_0042_0013__THE_R_0042_0015__TALLAGE)
      & has_r_0042_0016__of(R_0042_0013__THE_R_0042_0015__TALLAGE,R_0042_0017__GROATS)
      & has_nim32(R_0042_0012__CALLED,R_0042_0011__ALSO)
      & has_arg1(R_0042_0012__CALLED,R_0042_0005__THE_R_0042_0006__FIRST_R_0042_0007__POLL__HYPHEN__TAX) ) ).

( (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE In;{in})
                              (NP (D the;{the})
                                  (N event;{event})))
                      (PUNC ,)
                      (NP-SBJ (D the;{the})
                              (NUM first;{first})
                              (N poll_<hyphen>_tax;{poll_tax})
                              (PP (P-ROLE of;{of})
                                  (NP (NPR 1377)))
                              (PULB -LRB-)
                              (IP-PPL (NP-LGS *)
                                      (ADVP-NIM (ADV also;{also}))
                                      (VVN;_Cn.n_ called;{call})
                                      (NP-PRD (D the;{the})
                                              (PULQ <lquo>)
                                              (N tallage;{tallage})
                                              (PP (P-ROLE of;{of})
                                                  (NP (NS groats;{groat})))
                                              (PURQ <rquo>)))
                              (PURB -RRB-))
                      (PP-SCON (P-CONN while;{while})
                               (IP-ADV (ADVP-NIM (ADV naturally;{naturally}))
                                       (VAG;_Tn_ rousing;{rouse})
                                       (NP-OB1 (ADJP (ADJ much;{much}))
                                               (N resentment;{resentment}))))
                      (PUNC ,)
                      (VBD;_Tn_ produced;{produce})
                      (NP-OB1 (ADJP (ADVP (ADV but;{but}))
                                    (ADJ meagre;{meagre}))
                              (NS returns;{return})))
                (PUNC <mdash>)
                (CONJP (ILYR (EX there;{there})
                             (BED;_ex_cat_Vt_ was;{be})
                             (ADVP-NIM (ADV as_yet;{as_yet}))
                             (NP-ESBJ (Q no;{no})
                                      (ADJP (ADJ trained;{trained}))
                                      (N bureaucracy;{bureaucracy}))
                             (IP-INF-CAT (TO to;{to})
                                         (VB;_Cn.a_ make;{make})
                                         (NP-OB1 (N tax;{tax})
                                                 (N collecting;{collecting}))
                                         (ADJP-PRD (AJLYR (CONJ either;{either})
                                                          (AJLYR (ADJ fair;{fair}))
                                                          (CONJP (CONJ or;{or})
                                                                 (AJLYR (ADJ productive;{productive})))))))))
          (PUNC .))
  (ID 42_a_lob_g01))