TSPC 41_a_lob

41_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.

( (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 41_a_lob_g01))

arc(r_0041_0005__the_r_0041_0006__first_r_0041_0007__poll__hyphen__tax,r_0041_0009__1377,r_0041_0008__of).
arc(r_0041_0012__called,r_0041_0005__the_r_0041_0006__first_r_0041_0007__poll__hyphen__tax,inv_arg1).
arc(r_0041_0012__called,r_0041_0011__also,nim).
arc(r_0041_0012__called,r_0041_0013__the_r_0041_0015__tallage,prd).
arc(r_0041_0012__called,z_0041_5007___star_,arg0).
arc(r_0041_0013__the_r_0041_0015__tallage,r_0041_0017__groats,r_0041_0016__of).
arc(r_0041_0020__while,r_0041_0022__rousing,restriction).
arc(r_0041_0020__while,r_0041_0026__produced,scope).
arc(r_0041_0022__rousing,r_0041_0021__naturally,nim).
arc(r_0041_0022__rousing,r_0041_0024__resentment,arg1).
arc(r_0041_0022__rousing,z_0041_5014,arg0).
arc(r_0041_0024__resentment,r_0041_0023__much,attrib).
arc(r_0041_0026__produced,r_0041_0002__the_r_0041_0003__event,r_0041_0001__In__nim).
arc(r_0041_0026__produced,r_0041_0005__the_r_0041_0006__first_r_0041_0007__poll__hyphen__tax,arg0).
arc(r_0041_0026__produced,r_0041_0029__returns,arg1).
arc(r_0041_0028__meagre,r_0041_0027__but,qual).
arc(r_0041_0029__returns,r_0041_0028__meagre,attrib).
arc(r_0041_0032__was,r_0041_0033__as_yet,nim).
arc(r_0041_0032__was,r_0041_0038__make,scope).
arc(r_0041_0034__no__quant,r_0041_0032__was,scope).
arc(r_0041_0034__no__quant,r_0041_0036__bureaucracy,restriction).
arc(r_0041_0036__bureaucracy,r_0041_0035__trained,attrib).
arc(r_0041_0038__make,r_0041_0036__bureaucracy,arg0).
arc(r_0041_0038__make,r_0041_0039__tax_r_0041_0040__collecting,arg1).
arc(r_0041_0038__make,r_0041_0041__either_r_0041_0043__or,prd).
arc(r_0041_0041__either_r_0041_0043__or,r_0041_0042__fair,conj1).
arc(r_0041_0041__either_r_0041_0043__or,r_0041_0044__productive,conj2).
arc(z_0041_5001,r_0041_0020__while,conj1).
arc(z_0041_5001,r_0041_0034__no__quant,conj2).

fof(formula,axiom,
    ? [R_0041_0021__NATURALLY,R_0041_0023__MUCH,R_0041_0024__RESENTMENT,Z_0041_5014,R_0041_0022__ROUSING,R_0041_0002__THE_R_0041_0003__EVENT,R_0041_0009__1377,R_0041_0011__ALSO,R_0041_0017__GROATS,R_0041_0013__THE_R_0041_0015__TALLAGE,Z_0041_5007___STAR_,R_0041_0012__CALLED,R_0041_0005__THE_R_0041_0006__FIRST_R_0041_0007__POLL__HYPHEN__TAX,R_0041_0027__BUT,R_0041_0028__MEAGRE,R_0041_0029__RETURNS,R_0041_0026__PRODUCED,R_0041_0020__WHILE,Z_0041_5001] :
      ( r_0041_0002__the_r_0041_0003__event(R_0041_0002__THE_R_0041_0003__EVENT)
      & r_0041_0009__1377(R_0041_0009__1377)
      & r_0041_0011__also(R_0041_0011__ALSO)
      & r_0041_0017__groats(R_0041_0017__GROATS)
      & r_0041_0021__naturally(R_0041_0021__NATURALLY)
      & r_0041_0023__much(R_0041_0023__MUCH)
      & r_0041_0027__but(R_0041_0027__BUT)
      & z_0041_5007___star_(Z_0041_5007___STAR_)
      & z_0041_5014(Z_0041_5014)
      & z_0041_5001(Z_0041_5001)
      & ! [R_0041_0036__BUREAUCRACY,R_0041_0035__TRAINED] :
          ( ( r_0041_0035__trained(R_0041_0035__TRAINED)
            & r_0041_0036__bureaucracy(R_0041_0036__BUREAUCRACY)
            & has_attrib(R_0041_0036__BUREAUCRACY,R_0041_0035__TRAINED) )
         => ? [R_0041_0033__AS_YET,R_0041_0039__TAX_R_0041_0040__COLLECTING,R_0041_0042__FAIR,R_0041_0044__PRODUCTIVE,R_0041_0041__EITHER_R_0041_0043__OR,R_0041_0032__WAS_R_0041_0038__MAKE] :
              ( r_0041_0033__as_yet(R_0041_0033__AS_YET)
              & r_0041_0039__tax_r_0041_0040__collecting(R_0041_0039__TAX_R_0041_0040__COLLECTING)
              & r_0041_0042__fair(R_0041_0042__FAIR)
              & r_0041_0044__productive(R_0041_0044__PRODUCTIVE)
              & r_0041_0032__was_r_0041_0038__make(R_0041_0032__WAS_R_0041_0038__MAKE)
              & has_prd(R_0041_0032__WAS_R_0041_0038__MAKE,R_0041_0041__EITHER_R_0041_0043__OR)
              & r_0041_0041__either_r_0041_0043__or(R_0041_0041__EITHER_R_0041_0043__OR)
              & has_conj2(R_0041_0041__EITHER_R_0041_0043__OR,R_0041_0044__PRODUCTIVE)
              & has_conj1(R_0041_0041__EITHER_R_0041_0043__OR,R_0041_0042__FAIR)
              & has_arg1(R_0041_0032__WAS_R_0041_0038__MAKE,R_0041_0039__TAX_R_0041_0040__COLLECTING)
              & has_arg0(R_0041_0032__WAS_R_0041_0038__MAKE,R_0041_0036__BUREAUCRACY)
              & has_nim(R_0041_0032__WAS_R_0041_0038__MAKE,R_0041_0033__AS_YET) ) )
      & has_conj1(Z_0041_5001,R_0041_0020__WHILE)
      & r_0041_0020__while(R_0041_0020__WHILE)
      & has_conj2(R_0041_0020__WHILE,R_0041_0026__PRODUCED)
      & r_0041_0026__produced(R_0041_0026__PRODUCED)
      & has_arg1(R_0041_0026__PRODUCED,R_0041_0029__RETURNS)
      & r_0041_0029__returns(R_0041_0029__RETURNS)
      & has_attrib(R_0041_0029__RETURNS,R_0041_0028__MEAGRE)
      & r_0041_0028__meagre(R_0041_0028__MEAGRE)
      & has_qual(R_0041_0028__MEAGRE,R_0041_0027__BUT)
      & has_arg0(R_0041_0026__PRODUCED,R_0041_0005__THE_R_0041_0006__FIRST_R_0041_0007__POLL__HYPHEN__TAX)
      & r_0041_0005__the_r_0041_0006__first_r_0041_0007__poll__hyphen__tax(R_0041_0005__THE_R_0041_0006__FIRST_R_0041_0007__POLL__HYPHEN__TAX)
      & has_inv_arg1(R_0041_0005__THE_R_0041_0006__FIRST_R_0041_0007__POLL__HYPHEN__TAX,R_0041_0012__CALLED)
      & r_0041_0012__called(R_0041_0012__CALLED)
      & has_arg0(R_0041_0012__CALLED,Z_0041_5007___STAR_)
      & has_prd(R_0041_0012__CALLED,R_0041_0013__THE_R_0041_0015__TALLAGE)
      & r_0041_0013__the_r_0041_0015__tallage(R_0041_0013__THE_R_0041_0015__TALLAGE)
      & has_r_0041_0016__of(R_0041_0013__THE_R_0041_0015__TALLAGE,R_0041_0017__GROATS)
      & has_nim(R_0041_0012__CALLED,R_0041_0011__ALSO)
      & has_r_0041_0008__of(R_0041_0005__THE_R_0041_0006__FIRST_R_0041_0007__POLL__HYPHEN__TAX,R_0041_0009__1377)
      & has_r_0041_0001__In__nim(R_0041_0026__PRODUCED,R_0041_0002__THE_R_0041_0003__EVENT)
      & has_conj1(R_0041_0020__WHILE,R_0041_0022__ROUSING)
      & r_0041_0022__rousing(R_0041_0022__ROUSING)
      & has_arg0(R_0041_0022__ROUSING,Z_0041_5014)
      & has_arg1(R_0041_0022__ROUSING,R_0041_0024__RESENTMENT)
      & r_0041_0024__resentment(R_0041_0024__RESENTMENT)
      & has_attrib(R_0041_0024__RESENTMENT,R_0041_0023__MUCH)
      & has_nim(R_0041_0022__ROUSING,R_0041_0021__NATURALLY) ) ).