TSPC 24_a_lob

24_a_lob_g01
A mediaeval tax was therefore in essence a forced payment whose return was the uncertain bounty of booty and the vague advantages of military glory; it was therefore always granted grudgingly and coupled with the vain hope that, in the words of parliament after parliament, the King might ‘live of his own resources and carry on his war’.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{TAX} (D A;{a})
                                    (ADJP (ADJ mediaeval;{mediaeval}))
                                    (N tax;{tax}))
                      (BED;_Ln_ was;{be})
                      (ADVP-NIM (ADV therefore;{therefore}))
                      (PP-NIM (P-ROLE in;{in})
                              (NP (N essence;{essence})))
                      (NP-PRD (D a;{a})
                              (ADJP (ADJ forced;{forced}))
                              (N payment;{payment})
                              (IP-REL (NP-SBJ (NP-GEN (RPRO;_genm_ whose;{whose}))
                                              (N return;{return}))
                                      (BED;_Ln_ was;{be})
                                      (NP-PRD (NLYR (NLYR (D the;{the})
                                                          (ADJP (ADJ uncertain;{uncertain}))
                                                          (N bounty;{bounty})
                                                          (PP (P-ROLE of;{of})
                                                              (NP (N booty;{booty}))))
                                                    (CONJP (CONJ and;{and})
                                                           (NLYR (D the;{the})
                                                                 (ADJP (ADJ vague;{vague}))
                                                                 (NS advantages;{advantage})
                                                                 (PP (P-ROLE of;{of})
                                                                     (NP (ADJP (ADJ military;{military}))
                                                                         (N glory;{glory}))))))))))
                (PUNC ;)
                (CONJP (ILYR (NP-SBJ;{TAX} (PRO it;{it}))
                             (BED;_cat_VePASS_ was;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (ADVP-NIM (ADV therefore;{therefore}))
                                         (ILYR (ILYR (ADVP-NIM (ADV always;{always}))
                                                     (VVN;_Tn_ granted;{grant})
                                                     (ADVP-NIM (ADV grudgingly;{grudgingly})))
                                               (CONJP (CONJ and;{and})
                                                      (ILYR (VVN;__ coupled;{couple})
                                                            (PP-NIM (P-ROLE with;{with})
                                                                    (NP (D the;{the})
                                                                        (ADJP (ADJ vain;{vain}))
                                                                        (N hope;{hope})
                                                                        (CP-THT (IP-SUB (C that;{that})
                                                                                        (PUNC ,)
                                                                                        (PP-NIM (P-ROLE in;{in})
                                                                                                (NP (D the;{the})
                                                                                                    (NS words;{word})
                                                                                                    (PP (P-ROLE of;{of})
                                                                                                        (NP (N parliament;{parliament})
                                                                                                            (PP (P-ROLE after;{after})
                                                                                                                (NP (N parliament;{parliament})))))))
                                                                                        (PUNC ,)
                                                                                        (NP-SBJ;{KING} (D the;{the})
                                                                                                       (N King;{king}))
                                                                                        (MD;_cat_Vi_ might;{may})
                                                                                        (IP-INF-CAT (PULQ <lquo>)
                                                                                                    (ILYR (ILYR (VB;__ live;{live})
                                                                                                                (PP-NIM (P-ROLE of;{of})
                                                                                                                        (NP (NP-GEN (NP-GEN;{KING} (PRO;_genm_ his;{his}))
                                                                                                                                    (ADJP (ADJ own;{own})))
                                                                                                                            (NS resources;{resource}))))
                                                                                                          (CONJP (CONJ and;{and})
                                                                                                                 (ILYR (VB;__ carry;{carry})
                                                                                                                       (RP on;{on})
                                                                                                                       (NP-OB1 (NP-GEN;{KING} (PRO;_genm_ his;{his}))
                                                                                                                               (N war;{war}))))))
                                                                                        (PURQ <rquo>))))))))))))
          (PUNC .))
  (ID 24_a_lob_g01))

arc(r_0024_0001__A_r_0024_0003__tax,r_0024_0002__mediaeval,attrib).
arc(r_0024_0004__was,r_0024_0001__A_r_0024_0003__tax,arg0).
arc(r_0024_0004__was,r_0024_0005__therefore,nim).
arc(r_0024_0004__was,r_0024_0007__essence,r_0024_0006__in__nim).
arc(r_0024_0004__was,r_0024_0008__a_r_0024_0010__payment,prd).
arc(r_0024_0008__a_r_0024_0010__payment,r_0024_0009__forced,attrib).
arc(r_0024_0012__return,r_0024_0008__a_r_0024_0010__payment,gen).
arc(r_0024_0013__was,r_0024_0012__return,arg0).
arc(r_0024_0013__was,r_0024_0019__and,prd).
arc(r_0024_0014__the_r_0024_0016__bounty,r_0024_0015__uncertain,attrib).
arc(r_0024_0014__the_r_0024_0016__bounty,r_0024_0018__booty,r_0024_0017__of).
arc(r_0024_0019__and,r_0024_0014__the_r_0024_0016__bounty,conj1).
arc(r_0024_0019__and,r_0024_0020__the_r_0024_0022__advantages,conj2).
arc(r_0024_0020__the_r_0024_0022__advantages,r_0024_0021__vague,attrib).
arc(r_0024_0020__the_r_0024_0022__advantages,r_0024_0025__glory,r_0024_0023__of).
arc(r_0024_0025__glory,r_0024_0024__military,attrib).
arc(r_0024_0028__was,r_0024_0033__and,scope).
arc(r_0024_0031__granted,r_0024_0001__A_r_0024_0003__tax,arg1).
arc(r_0024_0031__granted,r_0024_0029__therefore,nim).
arc(r_0024_0031__granted,r_0024_0030__always,nim).
arc(r_0024_0031__granted,r_0024_0032__grudgingly,nim).
arc(r_0024_0031__granted,z_0024_5022___star_,arg0).
arc(r_0024_0033__and,r_0024_0031__granted,conj1).
arc(r_0024_0033__and,r_0024_0034__coupled,conj2).
arc(r_0024_0034__coupled,r_0024_0001__A_r_0024_0003__tax,arg1).
arc(r_0024_0034__coupled,r_0024_0029__therefore,nim).
arc(r_0024_0034__coupled,r_0024_0036__the_r_0024_0038__hope,r_0024_0035__with__nim).
arc(r_0024_0034__coupled,z_0024_5022___star_,arg0).
arc(r_0024_0036__the_r_0024_0038__hope,r_0024_0037__vain,attrib).
arc(r_0024_0036__the_r_0024_0038__hope,r_0024_0051__might,emb).
arc(r_0024_0042__the_r_0024_0043__words,r_0024_0045__parliament,r_0024_0044__of).
arc(r_0024_0045__parliament,r_0024_0047__parliament,r_0024_0046__after).
arc(r_0024_0051__might,r_0024_0042__the_r_0024_0043__words,r_0024_0041__in__nim).
arc(r_0024_0051__might,r_0024_0058__and,scope).
arc(r_0024_0053__live,r_0024_0049__the_r_0024_0050__King,arg0).
arc(r_0024_0053__live,r_0024_0057__resources,r_0024_0054__of__nim).
arc(r_0024_0057__resources,z_0024_5038,gen).
arc(r_0024_0058__and,r_0024_0053__live,conj1).
arc(r_0024_0058__and,r_0024_0059__carry_r_0024_0060__on,conj2).
arc(r_0024_0059__carry_r_0024_0060__on,r_0024_0049__the_r_0024_0050__King,arg0).
arc(r_0024_0059__carry_r_0024_0060__on,r_0024_0062__war,arg1).
arc(r_0024_0062__war,r_0024_0049__the_r_0024_0050__King,gen).
arc(z_0024_5001,r_0024_0004__was,conj1).
arc(z_0024_5001,r_0024_0028__was,conj2).
arc(z_0024_5038,r_0024_0049__the_r_0024_0050__King,gen).
arc(z_0024_5038,r_0024_0056__own,attrib).

fof(formula,axiom,
    ? [R_0024_0009__FORCED,R_0024_0008__A_R_0024_0010__PAYMENT,R_0024_0012__RETURN,R_0024_0015__UNCERTAIN,R_0024_0018__BOOTY,R_0024_0014__THE_R_0024_0016__BOUNTY,R_0024_0021__VAGUE,R_0024_0024__MILITARY,R_0024_0025__GLORY,R_0024_0020__THE_R_0024_0022__ADVANTAGES,R_0024_0019__AND,R_0024_0013__WAS,R_0024_0002__MEDIAEVAL,R_0024_0001__A_R_0024_0003__TAX,R_0024_0005__THEREFORE,R_0024_0007__ESSENCE,R_0024_0004__WAS,R_0024_0029__THEREFORE,R_0024_0030__ALWAYS,R_0024_0032__GRUDGINGLY,Z_0024_5022___STAR_,R_0024_0031__GRANTED,R_0024_0037__VAIN,R_0024_0047__PARLIAMENT,R_0024_0045__PARLIAMENT,R_0024_0042__THE_R_0024_0043__WORDS,R_0024_0049__THE_R_0024_0050__KING,R_0024_0056__OWN,Z_0024_5038,R_0024_0057__RESOURCES,R_0024_0053__LIVE,R_0024_0062__WAR,R_0024_0059__CARRY_R_0024_0060__ON,R_0024_0058__AND,R_0024_0051__MIGHT,R_0024_0036__THE_R_0024_0038__HOPE,R_0024_0034__COUPLED,R_0024_0033__AND,R_0024_0028__WAS,Z_0024_5001] :
      ( r_0024_0002__mediaeval(R_0024_0002__MEDIAEVAL)
      & r_0024_0005__therefore(R_0024_0005__THEREFORE)
      & r_0024_0007__essence(R_0024_0007__ESSENCE)
      & r_0024_0009__forced(R_0024_0009__FORCED)
      & r_0024_0015__uncertain(R_0024_0015__UNCERTAIN)
      & r_0024_0018__booty(R_0024_0018__BOOTY)
      & r_0024_0021__vague(R_0024_0021__VAGUE)
      & r_0024_0024__military(R_0024_0024__MILITARY)
      & r_0024_0029__therefore(R_0024_0029__THEREFORE)
      & r_0024_0030__always(R_0024_0030__ALWAYS)
      & r_0024_0032__grudgingly(R_0024_0032__GRUDGINGLY)
      & r_0024_0037__vain(R_0024_0037__VAIN)
      & r_0024_0047__parliament(R_0024_0047__PARLIAMENT)
      & r_0024_0049__the_r_0024_0050__King(R_0024_0049__THE_R_0024_0050__KING)
      & r_0024_0056__own(R_0024_0056__OWN)
      & z_0024_5022___star_(Z_0024_5022___STAR_)
      & z_0024_5001(Z_0024_5001)
      & has_conj2(Z_0024_5001,R_0024_0028__WAS)
      & r_0024_0028__was(R_0024_0028__WAS)
      & has_keep_scope(R_0024_0028__WAS,R_0024_0033__AND)
      & r_0024_0033__and(R_0024_0033__AND)
      & has_conj2(R_0024_0033__AND,R_0024_0034__COUPLED)
      & r_0024_0034__coupled(R_0024_0034__COUPLED)
      & has_arg0(R_0024_0034__COUPLED,Z_0024_5022___STAR_)
      & has_r_0024_0035__with__nim(R_0024_0034__COUPLED,R_0024_0036__THE_R_0024_0038__HOPE)
      & r_0024_0036__the_r_0024_0038__hope(R_0024_0036__THE_R_0024_0038__HOPE)
      & has_emb(R_0024_0036__THE_R_0024_0038__HOPE,R_0024_0051__MIGHT)
      & r_0024_0051__might(R_0024_0051__MIGHT)
      & has_keep_scope(R_0024_0051__MIGHT,R_0024_0058__AND)
      & r_0024_0058__and(R_0024_0058__AND)
      & has_conj2(R_0024_0058__AND,R_0024_0059__CARRY_R_0024_0060__ON)
      & r_0024_0059__carry_r_0024_0060__on(R_0024_0059__CARRY_R_0024_0060__ON)
      & has_arg1(R_0024_0059__CARRY_R_0024_0060__ON,R_0024_0062__WAR)
      & r_0024_0062__war(R_0024_0062__WAR)
      & has_gen(R_0024_0062__WAR,R_0024_0049__THE_R_0024_0050__KING)
      & has_arg0(R_0024_0059__CARRY_R_0024_0060__ON,R_0024_0049__THE_R_0024_0050__KING)
      & has_conj1(R_0024_0058__AND,R_0024_0053__LIVE)
      & r_0024_0053__live(R_0024_0053__LIVE)
      & has_r_0024_0054__of__nim(R_0024_0053__LIVE,R_0024_0057__RESOURCES)
      & r_0024_0057__resources(R_0024_0057__RESOURCES)
      & has_gen(R_0024_0057__RESOURCES,Z_0024_5038)
      & z_0024_5038(Z_0024_5038)
      & has_attrib(Z_0024_5038,R_0024_0056__OWN)
      & has_gen(Z_0024_5038,R_0024_0049__THE_R_0024_0050__KING)
      & has_arg0(R_0024_0053__LIVE,R_0024_0049__THE_R_0024_0050__KING)
      & has_r_0024_0041__in__nim(R_0024_0051__MIGHT,R_0024_0042__THE_R_0024_0043__WORDS)
      & r_0024_0042__the_r_0024_0043__words(R_0024_0042__THE_R_0024_0043__WORDS)
      & has_r_0024_0044__of(R_0024_0042__THE_R_0024_0043__WORDS,R_0024_0045__PARLIAMENT)
      & r_0024_0045__parliament(R_0024_0045__PARLIAMENT)
      & has_r_0024_0046__after(R_0024_0045__PARLIAMENT,R_0024_0047__PARLIAMENT)
      & has_attrib(R_0024_0036__THE_R_0024_0038__HOPE,R_0024_0037__VAIN)
      & has_nim(R_0024_0034__COUPLED,R_0024_0029__THEREFORE)
      & has_arg1(R_0024_0034__COUPLED,R_0024_0001__A_R_0024_0003__TAX)
      & r_0024_0001__A_r_0024_0003__tax(R_0024_0001__A_R_0024_0003__TAX)
      & has_attrib(R_0024_0001__A_R_0024_0003__TAX,R_0024_0002__MEDIAEVAL)
      & has_conj1(R_0024_0033__AND,R_0024_0031__GRANTED)
      & r_0024_0031__granted(R_0024_0031__GRANTED)
      & has_arg0(R_0024_0031__GRANTED,Z_0024_5022___STAR_)
      & has_nim(R_0024_0031__GRANTED,R_0024_0032__GRUDGINGLY)
      & has_nim(R_0024_0031__GRANTED,R_0024_0030__ALWAYS)
      & has_nim(R_0024_0031__GRANTED,R_0024_0029__THEREFORE)
      & has_arg1(R_0024_0031__GRANTED,R_0024_0001__A_R_0024_0003__TAX)
      & has_conj1(Z_0024_5001,R_0024_0004__WAS)
      & r_0024_0004__was(R_0024_0004__WAS)
      & has_prd(R_0024_0004__WAS,R_0024_0008__A_R_0024_0010__PAYMENT)
      & r_0024_0008__a_r_0024_0010__payment(R_0024_0008__A_R_0024_0010__PAYMENT)
      & has_attrib(R_0024_0008__A_R_0024_0010__PAYMENT,R_0024_0009__FORCED)
      & has_r_0024_0006__in__nim(R_0024_0004__WAS,R_0024_0007__ESSENCE)
      & has_nim(R_0024_0004__WAS,R_0024_0005__THEREFORE)
      & has_arg0(R_0024_0004__WAS,R_0024_0001__A_R_0024_0003__TAX)
      & r_0024_0013__was(R_0024_0013__WAS)
      & has_prd(R_0024_0013__WAS,R_0024_0019__AND)
      & r_0024_0019__and(R_0024_0019__AND)
      & has_conj2(R_0024_0019__AND,R_0024_0020__THE_R_0024_0022__ADVANTAGES)
      & r_0024_0020__the_r_0024_0022__advantages(R_0024_0020__THE_R_0024_0022__ADVANTAGES)
      & has_r_0024_0023__of(R_0024_0020__THE_R_0024_0022__ADVANTAGES,R_0024_0025__GLORY)
      & r_0024_0025__glory(R_0024_0025__GLORY)
      & has_attrib(R_0024_0025__GLORY,R_0024_0024__MILITARY)
      & has_attrib(R_0024_0020__THE_R_0024_0022__ADVANTAGES,R_0024_0021__VAGUE)
      & has_conj1(R_0024_0019__AND,R_0024_0014__THE_R_0024_0016__BOUNTY)
      & r_0024_0014__the_r_0024_0016__bounty(R_0024_0014__THE_R_0024_0016__BOUNTY)
      & has_r_0024_0017__of(R_0024_0014__THE_R_0024_0016__BOUNTY,R_0024_0018__BOOTY)
      & has_attrib(R_0024_0014__THE_R_0024_0016__BOUNTY,R_0024_0015__UNCERTAIN)
      & has_arg0(R_0024_0013__WAS,R_0024_0012__RETURN)
      & r_0024_0012__return(R_0024_0012__RETURN)
      & has_gen(R_0024_0012__RETURN,R_0024_0008__A_R_0024_0010__PAYMENT) ) ).