TSPC 18_a_lob

18_a_lob_g01
The Commons were glad enough to enjoy the fruits of victory, they were not so eager to advance the needs of dynastic or baronial wars or even to provide the means for economic war, largely because it was not yet established that those who supplied means should also have control of ends.

( (IP-MAT (ILYR (ILYR (NP-SBJ;{COMMONS} (D The;{the})
                                        (NPRS Commons;{Commons}))
                      (BED;_La_ were;{be})
                      (ADJP-PRD (ADJ glad;{glad})
                                (ADVP (ADV enough;{enough})
                                      (IP-INF (TO to;{to})
                                              (VB;_Tn_ enjoy;{enjoy})
                                              (NP-OB1 (D the;{the})
                                                      (NS fruits;{fruit})
                                                      (PP (P-ROLE of;{of})
                                                          (NP (N victory;{victory}))))))))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ;{COMMONS} (PRO they;{they}))
                             (BED;_La_ were;{be})
                             (ADJP-PRD (ADVP (NEG not;{not})
                                             (ADV so;{so}))
                                       (ADJ eager;{eager})
                                       (IP-INF (ILYR (ILYR (TO to;{to})
                                                           (VB;_Tn_ advance;{advance})
                                                           (NP-OB1 (D the;{the})
                                                                   (NS needs;{need})
                                                                   (PP (P-ROLE of;{of})
                                                                       (NP (ADJP (AJLYR (AJLYR (ADJ dynastic;{dynastic}))
                                                                                        (CONJP (CONJ or;{or})
                                                                                               (AJLYR (ADJ baronial;{baronial})))))
                                                                           (NS wars;{war})))))
                                                     (CONJP (CONJ or;{or})
                                                            (ILYR (ADVP-NIM (ADV even;{even}))
                                                                  (TO to;{to})
                                                                  (VB;_Tn_ provide;{provide})
                                                                  (NP-OB1 (D the;{the})
                                                                          (N means;{mean})
                                                                          (PP (P-ROLE for;{for})
                                                                              (NP (ADJP (ADJ economic;{economic}))
                                                                                  (N war;{war})))))))))
                             (PUNC ,)
                             (PP-SCON (ADVP-NIM (ADV largely;{largely}))
                                      (P-CONN because;{because})
                                      (IP-ADV (NP-SBJ (PRO;_provisional_ it;{it}))
                                              (BED;_cat_VePASS_ was;{be})
                                              (IP-PPL-CAT (NP-LGS *)
                                                          (ADVP-NIM (NEG not;{not})
                                                                    (ADV yet;{yet}))
                                                          (VVN;_Tn_ established;{establish})
                                                          (CP-THT-NSBJ (IP-SUB (C that;{that})
                                                                               (NP-SBJ (D;_nphd_ those;{those})
                                                                                       (IP-REL (NP-SBJ (RPRO who;{who}))
                                                                                               (VBD;_Tn_ supplied;{supply})
                                                                                               (NP-OB1 (NS means;{mean}))))
                                                                               (MD;_cat_Vi_ should;{shall})
                                                                               (IP-INF-CAT (ADVP-NIM (ADV also;{also}))
                                                                                           (HV;_Tn_ have;{have})
                                                                                           (NP-OB1 (N control;{control})
                                                                                                   (PP (P-ROLE of;{of})
                                                                                                       (NP (NS ends;{end})))))))))))))
          (PUNC .))
  (ID 18_a_lob_g01))

arc(r_0018_0003__were,r_0018_0001__The_r_0018_0002__Commons,arg0).
arc(r_0018_0003__were,r_0018_0004__glad,prd).
arc(r_0018_0004__glad,r_0018_0005__enough,qual).
arc(r_0018_0005__enough,r_0018_0007__enjoy,emb).
arc(r_0018_0007__enjoy,r_0018_0008__the_r_0018_0009__fruits,arg1).
arc(r_0018_0007__enjoy,z_0018_5006,arg0).
arc(r_0018_0008__the_r_0018_0009__fruits,r_0018_0011__victory,r_0018_0010__of).
arc(r_0018_0014__were,r_0018_0001__The_r_0018_0002__Commons,arg0).
arc(r_0018_0014__were,r_0018_0017__eager,prd).
arc(r_0018_0017__eager,r_0018_0015__not_r_0018_0016__so,qual).
arc(r_0018_0017__eager,r_0018_0027__or,emb).
arc(r_0018_0019__advance,r_0018_0020__the_r_0018_0021__needs,arg1).
arc(r_0018_0019__advance,z_0018_5032,arg0).
arc(r_0018_0020__the_r_0018_0021__needs,r_0018_0026__wars,r_0018_0022__of).
arc(r_0018_0024__or,r_0018_0023__dynastic,conj1).
arc(r_0018_0024__or,r_0018_0025__baronial,conj2).
arc(r_0018_0026__wars,r_0018_0024__or,attrib).
arc(r_0018_0027__or,r_0018_0019__advance,conj1).
arc(r_0018_0027__or,r_0018_0030__provide,conj2).
arc(r_0018_0030__provide,r_0018_0028__even,nim).
arc(r_0018_0030__provide,r_0018_0031__the_r_0018_0032__means,arg1).
arc(r_0018_0030__provide,z_0018_5032,arg0).
arc(r_0018_0031__the_r_0018_0032__means,r_0018_0035__war,r_0018_0033__for).
arc(r_0018_0035__war,r_0018_0034__economic,attrib).
arc(r_0018_0037__largely_r_0018_0038__because,r_0018_0014__were,scope).
arc(r_0018_0037__largely_r_0018_0038__because,r_0018_0040__was,restriction).
arc(r_0018_0040__was,r_0018_0043__established,scope).
arc(r_0018_0043__established,r_0018_0041__not_r_0018_0042__yet,nim).
arc(r_0018_0043__established,r_0018_0049__should,arg1).
arc(r_0018_0043__established,z_0018_5025___star_,arg0).
arc(r_0018_0047__supplied,r_0018_0045__those,arg0).
arc(r_0018_0047__supplied,r_0018_0048__means,arg1).
arc(r_0018_0049__should,r_0018_0051__have,scope).
arc(r_0018_0051__have,r_0018_0045__those,arg0).
arc(r_0018_0051__have,r_0018_0050__also,nim).
arc(r_0018_0051__have,r_0018_0052__control,arg1).
arc(r_0018_0052__control,r_0018_0054__ends,r_0018_0053__of).
arc(z_0018_5001,r_0018_0003__were,conj1).
arc(z_0018_5001,r_0018_0037__largely_r_0018_0038__because,conj2).

fof(formula,axiom,
    ? [R_0018_0045__THOSE,R_0018_0048__MEANS,R_0018_0047__SUPPLIED,R_0018_0001__THE_R_0018_0002__COMMONS,R_0018_0011__VICTORY,R_0018_0008__THE_R_0018_0009__FRUITS,Z_0018_5006,R_0018_0007__ENJOY,R_0018_0005__ENOUGH,R_0018_0004__GLAD,R_0018_0003__WERE,R_0018_0015__NOT_R_0018_0016__SO,R_0018_0023__DYNASTIC,R_0018_0025__BARONIAL,R_0018_0024__OR,R_0018_0026__WARS,R_0018_0020__THE_R_0018_0021__NEEDS,Z_0018_5032,R_0018_0019__ADVANCE,R_0018_0028__EVEN,R_0018_0034__ECONOMIC,R_0018_0035__WAR,R_0018_0031__THE_R_0018_0032__MEANS,R_0018_0030__PROVIDE,R_0018_0027__OR,R_0018_0017__EAGER,R_0018_0014__WERE,R_0018_0041__NOT_R_0018_0042__YET,R_0018_0050__ALSO,R_0018_0054__ENDS,R_0018_0052__CONTROL,R_0018_0049__SHOULD_R_0018_0051__HAVE,Z_0018_5025___STAR_,R_0018_0040__WAS_R_0018_0043__ESTABLISHED,R_0018_0037__LARGELY_R_0018_0038__BECAUSE,Z_0018_5001] :
      ( r_0018_0001__The_r_0018_0002__Commons(R_0018_0001__THE_R_0018_0002__COMMONS)
      & r_0018_0011__victory(R_0018_0011__VICTORY)
      & r_0018_0015__not_r_0018_0016__so(R_0018_0015__NOT_R_0018_0016__SO)
      & r_0018_0023__dynastic(R_0018_0023__DYNASTIC)
      & r_0018_0025__baronial(R_0018_0025__BARONIAL)
      & r_0018_0028__even(R_0018_0028__EVEN)
      & r_0018_0034__economic(R_0018_0034__ECONOMIC)
      & r_0018_0041__not_r_0018_0042__yet(R_0018_0041__NOT_R_0018_0042__YET)
      & r_0018_0045__those(R_0018_0045__THOSE)
      & r_0018_0048__means(R_0018_0048__MEANS)
      & r_0018_0050__also(R_0018_0050__ALSO)
      & r_0018_0054__ends(R_0018_0054__ENDS)
      & z_0018_5006(Z_0018_5006)
      & z_0018_5025___star_(Z_0018_5025___STAR_)
      & z_0018_5032(Z_0018_5032)
      & z_0018_5001(Z_0018_5001)
      & has_conj2(Z_0018_5001,R_0018_0037__LARGELY_R_0018_0038__BECAUSE)
      & r_0018_0037__largely_r_0018_0038__because(R_0018_0037__LARGELY_R_0018_0038__BECAUSE)
      & has_conj1(R_0018_0037__LARGELY_R_0018_0038__BECAUSE,R_0018_0040__WAS_R_0018_0043__ESTABLISHED)
      & r_0018_0040__was_r_0018_0043__established(R_0018_0040__WAS_R_0018_0043__ESTABLISHED)
      & has_arg0(R_0018_0040__WAS_R_0018_0043__ESTABLISHED,Z_0018_5025___STAR_)
      & has_arg1(R_0018_0040__WAS_R_0018_0043__ESTABLISHED,R_0018_0049__SHOULD_R_0018_0051__HAVE)
      & r_0018_0049__should_r_0018_0051__have(R_0018_0049__SHOULD_R_0018_0051__HAVE)
      & has_arg1(R_0018_0049__SHOULD_R_0018_0051__HAVE,R_0018_0052__CONTROL)
      & r_0018_0052__control(R_0018_0052__CONTROL)
      & has_r_0018_0053__of(R_0018_0052__CONTROL,R_0018_0054__ENDS)
      & has_nim(R_0018_0049__SHOULD_R_0018_0051__HAVE,R_0018_0050__ALSO)
      & has_arg0(R_0018_0049__SHOULD_R_0018_0051__HAVE,R_0018_0045__THOSE)
      & has_nim(R_0018_0040__WAS_R_0018_0043__ESTABLISHED,R_0018_0041__NOT_R_0018_0042__YET)
      & has_conj2(R_0018_0037__LARGELY_R_0018_0038__BECAUSE,R_0018_0014__WERE)
      & r_0018_0014__were(R_0018_0014__WERE)
      & has_prd(R_0018_0014__WERE,R_0018_0017__EAGER)
      & r_0018_0017__eager(R_0018_0017__EAGER)
      & has_emb(R_0018_0017__EAGER,R_0018_0027__OR)
      & r_0018_0027__or(R_0018_0027__OR)
      & has_conj2(R_0018_0027__OR,R_0018_0030__PROVIDE)
      & r_0018_0030__provide(R_0018_0030__PROVIDE)
      & has_arg0(R_0018_0030__PROVIDE,Z_0018_5032)
      & has_arg1(R_0018_0030__PROVIDE,R_0018_0031__THE_R_0018_0032__MEANS)
      & r_0018_0031__the_r_0018_0032__means(R_0018_0031__THE_R_0018_0032__MEANS)
      & has_r_0018_0033__for(R_0018_0031__THE_R_0018_0032__MEANS,R_0018_0035__WAR)
      & r_0018_0035__war(R_0018_0035__WAR)
      & has_attrib(R_0018_0035__WAR,R_0018_0034__ECONOMIC)
      & has_nim(R_0018_0030__PROVIDE,R_0018_0028__EVEN)
      & has_conj1(R_0018_0027__OR,R_0018_0019__ADVANCE)
      & r_0018_0019__advance(R_0018_0019__ADVANCE)
      & has_arg0(R_0018_0019__ADVANCE,Z_0018_5032)
      & has_arg1(R_0018_0019__ADVANCE,R_0018_0020__THE_R_0018_0021__NEEDS)
      & r_0018_0020__the_r_0018_0021__needs(R_0018_0020__THE_R_0018_0021__NEEDS)
      & has_r_0018_0022__of(R_0018_0020__THE_R_0018_0021__NEEDS,R_0018_0026__WARS)
      & r_0018_0026__wars(R_0018_0026__WARS)
      & has_attrib(R_0018_0026__WARS,R_0018_0024__OR)
      & r_0018_0024__or(R_0018_0024__OR)
      & has_conj2(R_0018_0024__OR,R_0018_0025__BARONIAL)
      & has_conj1(R_0018_0024__OR,R_0018_0023__DYNASTIC)
      & has_qual(R_0018_0017__EAGER,R_0018_0015__NOT_R_0018_0016__SO)
      & has_arg0(R_0018_0014__WERE,R_0018_0001__THE_R_0018_0002__COMMONS)
      & has_conj1(Z_0018_5001,R_0018_0003__WERE)
      & r_0018_0003__were(R_0018_0003__WERE)
      & has_prd(R_0018_0003__WERE,R_0018_0004__GLAD)
      & r_0018_0004__glad(R_0018_0004__GLAD)
      & has_qual(R_0018_0004__GLAD,R_0018_0005__ENOUGH)
      & r_0018_0005__enough(R_0018_0005__ENOUGH)
      & has_emb(R_0018_0005__ENOUGH,R_0018_0007__ENJOY)
      & r_0018_0007__enjoy(R_0018_0007__ENJOY)
      & has_arg0(R_0018_0007__ENJOY,Z_0018_5006)
      & has_arg1(R_0018_0007__ENJOY,R_0018_0008__THE_R_0018_0009__FRUITS)
      & r_0018_0008__the_r_0018_0009__fruits(R_0018_0008__THE_R_0018_0009__FRUITS)
      & has_r_0018_0010__of(R_0018_0008__THE_R_0018_0009__FRUITS,R_0018_0011__VICTORY)
      & has_arg0(R_0018_0003__WERE,R_0018_0001__THE_R_0018_0002__COMMONS)
      & r_0018_0047__supplied(R_0018_0047__SUPPLIED)
      & has_arg1(R_0018_0047__SUPPLIED,R_0018_0048__MEANS)
      & has_arg0(R_0018_0047__SUPPLIED,R_0018_0045__THOSE) ) ).