TSPC 25_a_lob

25_a_lob_g01
When ‘his’ war did not bring victory and booty, a new group of Lords might oust the unsuccessful leaders, and the Commons, who usually supplied the hard cash, might be bold enough to demand the production of accounts, and even at times the impeachment of the unsuccessful.

( (IP-MAT (ILYR (ILYR (PP-SCON (P-CONN When;{when})
                               (IP-ADV (NP-SBJ (PULQ <lquo>)
                                               (NP-GEN (PRO;_genm_ his;{his}))
                                               (PURQ <rquo>)
                                               (N war;{war}))
                                       (DOD did;{do})
                                       (NEG not;{not})
                                       (VB;_Tn_ bring;{bring})
                                       (NP-OB1 (NLYR (NLYR (N victory;{victory}))
                                                     (CONJP (CONJ and;{and})
                                                            (NLYR (N booty;{booty})))))))
                      (PUNC ,)
                      (NP-SBJ (D a;{a})
                              (ADJP (ADJ new;{new}))
                              (N group;{group})
                              (PP (P-ROLE of;{of})
                                  (NP (NS Lords;{lord}))))
                      (MD;_cat_Vi_ might;{may})
                      (IP-INF-CAT (VB;_Tn_ oust;{oust})
                                  (NP-OB1 (D the;{the})
                                          (ADJP (ADJ unsuccessful;{unsuccessful}))
                                          (NS leaders;{leader}))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (NPR Commons;{Commons})
                                     (PUNC ,)
                                     (IP-REL (NP-SBJ (RPRO who;{who}))
                                             (ADVP-NIM (ADV usually;{usually}))
                                             (VBD;_Tn_ supplied;{supply})
                                             (NP-OB1 (D the;{the})
                                                     (ADJP (ADJ hard;{hard}))
                                                     (N cash;{cash}))))
                             (PUNC ,)
                             (MD;_cat_Vi_ might;{may})
                             (IP-INF-CAT (BE;_La_ be;{be})
                                         (ADJP-PRD (ADJ bold;{bold})
                                                   (ADVP (ADV enough;{enough})
                                                         (IP-INF (TO to;{to})
                                                                 (VB;_Tn_ demand;{demand})
                                                                 (NP-OB1 (NLYR (NLYR (D the;{the})
                                                                                     (N production;{production})
                                                                                     (PP (P-ROLE of;{of})
                                                                                         (NP (NS accounts;{account}))))
                                                                               (PUNC ,)
                                                                               (CONJP (CONJ and;{and})
                                                                                      (NLYR (ADVP-NIM (ADV even;{even})
                                                                                                      (PP (P-ROLE at;{at})
                                                                                                          (NP (NS times;{time}))))
                                                                                            (D the;{the})
                                                                                            (N impeachment;{impeachment})
                                                                                            (PP (P-ROLE of;{of})
                                                                                                (NP (D the;{the})
                                                                                                    (ADJP (ADJ unsuccessful;{unsuccessful})))))))))))))))
          (PUNC .))
  (ID 25_a_lob_g01))

arc(r_0025_0001__When,r_0025_0007__not,restriction).
arc(r_0025_0001__When,r_0025_0018__might,scope).
arc(r_0025_0005__war,r_0025_0003__his,gen).
arc(r_0025_0006__did_r_0025_0008__bring,r_0025_0005__war,arg0).
arc(r_0025_0006__did_r_0025_0008__bring,r_0025_0010__and,arg1).
arc(r_0025_0007__not,r_0025_0006__did_r_0025_0008__bring,keep_scope).
arc(r_0025_0010__and,r_0025_0009__victory,conj1).
arc(r_0025_0010__and,r_0025_0011__booty,conj2).
arc(r_0025_0013__a_r_0025_0015__group,r_0025_0014__new,attrib).
arc(r_0025_0013__a_r_0025_0015__group,r_0025_0017__Lords,r_0025_0016__of).
arc(r_0025_0018__might,r_0025_0019__oust,scope).
arc(r_0025_0019__oust,r_0025_0013__a_r_0025_0015__group,arg0).
arc(r_0025_0019__oust,r_0025_0020__the_r_0025_0022__leaders,arg1).
arc(r_0025_0020__the_r_0025_0022__leaders,r_0025_0021__unsuccessful,attrib).
arc(r_0025_0024__and,r_0025_0001__When,conj1).
arc(r_0025_0024__and,r_0025_0035__might,conj2).
arc(r_0025_0030__supplied,r_0025_0025__the_r_0025_0026__Commons,arg0).
arc(r_0025_0030__supplied,r_0025_0029__usually,nim).
arc(r_0025_0030__supplied,r_0025_0031__the_r_0025_0033__cash,arg1).
arc(r_0025_0031__the_r_0025_0033__cash,r_0025_0032__hard,attrib).
arc(r_0025_0035__might,r_0025_0036__be,scope).
arc(r_0025_0036__be,r_0025_0025__the_r_0025_0026__Commons,arg0).
arc(r_0025_0036__be,r_0025_0037__bold,prd).
arc(r_0025_0037__bold,r_0025_0038__enough,qual).
arc(r_0025_0038__enough,r_0025_0040__demand,emb).
arc(r_0025_0040__demand,r_0025_0046__and,arg1).
arc(r_0025_0040__demand,z_0025_5025,arg0).
arc(r_0025_0041__the_r_0025_0042__production,r_0025_0044__accounts,r_0025_0043__of).
arc(r_0025_0046__and,r_0025_0041__the_r_0025_0042__production,conj1).
arc(r_0025_0046__and,r_0025_0050__the_r_0025_0051__impeachment,conj2).
arc(r_0025_0047__even,r_0025_0049__times,r_0025_0048__at).
arc(r_0025_0050__the_r_0025_0051__impeachment,r_0025_0047__even,nim).
arc(r_0025_0050__the_r_0025_0051__impeachment,r_0025_0053__the,r_0025_0052__of).
arc(r_0025_0053__the,r_0025_0054__unsuccessful,attrib).

fof(formula,axiom,
    ? [R_0025_0025__THE_R_0025_0026__COMMONS,R_0025_0044__ACCOUNTS,R_0025_0041__THE_R_0025_0042__PRODUCTION,R_0025_0049__TIMES,R_0025_0047__EVEN,R_0025_0054__UNSUCCESSFUL,R_0025_0053__THE,R_0025_0050__THE_R_0025_0051__IMPEACHMENT,R_0025_0046__AND,Z_0025_5025,R_0025_0040__DEMAND,R_0025_0038__ENOUGH,R_0025_0037__BOLD,R_0025_0035__MIGHT_R_0025_0036__BE,R_0025_0024__AND,R_0025_0029__USUALLY,R_0025_0032__HARD,R_0025_0031__THE_R_0025_0033__CASH,R_0025_0030__SUPPLIED] :
      ( r_0025_0025__the_r_0025_0026__Commons(R_0025_0025__THE_R_0025_0026__COMMONS)
      & r_0025_0029__usually(R_0025_0029__USUALLY)
      & r_0025_0032__hard(R_0025_0032__HARD)
      & r_0025_0044__accounts(R_0025_0044__ACCOUNTS)
      & r_0025_0049__times(R_0025_0049__TIMES)
      & r_0025_0054__unsuccessful(R_0025_0054__UNSUCCESSFUL)
      & z_0025_5025(Z_0025_5025)
      & r_0025_0030__supplied(R_0025_0030__SUPPLIED)
      & has_arg1(R_0025_0030__SUPPLIED,R_0025_0031__THE_R_0025_0033__CASH)
      & r_0025_0031__the_r_0025_0033__cash(R_0025_0031__THE_R_0025_0033__CASH)
      & has_attrib(R_0025_0031__THE_R_0025_0033__CASH,R_0025_0032__HARD)
      & has_nim(R_0025_0030__SUPPLIED,R_0025_0029__USUALLY)
      & has_arg0(R_0025_0030__SUPPLIED,R_0025_0025__THE_R_0025_0026__COMMONS)
      & r_0025_0024__and(R_0025_0024__AND)
      & has_conj2(R_0025_0024__AND,R_0025_0035__MIGHT_R_0025_0036__BE)
      & r_0025_0035__might_r_0025_0036__be(R_0025_0035__MIGHT_R_0025_0036__BE)
      & has_prd(R_0025_0035__MIGHT_R_0025_0036__BE,R_0025_0037__BOLD)
      & r_0025_0037__bold(R_0025_0037__BOLD)
      & has_qual(R_0025_0037__BOLD,R_0025_0038__ENOUGH)
      & r_0025_0038__enough(R_0025_0038__ENOUGH)
      & has_emb(R_0025_0038__ENOUGH,R_0025_0040__DEMAND)
      & r_0025_0040__demand(R_0025_0040__DEMAND)
      & has_arg0(R_0025_0040__DEMAND,Z_0025_5025)
      & has_arg1(R_0025_0040__DEMAND,R_0025_0046__AND)
      & r_0025_0046__and(R_0025_0046__AND)
      & has_conj2(R_0025_0046__AND,R_0025_0050__THE_R_0025_0051__IMPEACHMENT)
      & r_0025_0050__the_r_0025_0051__impeachment(R_0025_0050__THE_R_0025_0051__IMPEACHMENT)
      & has_r_0025_0052__of(R_0025_0050__THE_R_0025_0051__IMPEACHMENT,R_0025_0053__THE)
      & r_0025_0053__the(R_0025_0053__THE)
      & has_attrib(R_0025_0053__THE,R_0025_0054__UNSUCCESSFUL)
      & has_nim(R_0025_0050__THE_R_0025_0051__IMPEACHMENT,R_0025_0047__EVEN)
      & r_0025_0047__even(R_0025_0047__EVEN)
      & has_r_0025_0048__at(R_0025_0047__EVEN,R_0025_0049__TIMES)
      & has_conj1(R_0025_0046__AND,R_0025_0041__THE_R_0025_0042__PRODUCTION)
      & r_0025_0041__the_r_0025_0042__production(R_0025_0041__THE_R_0025_0042__PRODUCTION)
      & has_r_0025_0043__of(R_0025_0041__THE_R_0025_0042__PRODUCTION,R_0025_0044__ACCOUNTS)
      & has_arg0(R_0025_0035__MIGHT_R_0025_0036__BE,R_0025_0025__THE_R_0025_0026__COMMONS)
      & ! [R_0025_0007__NOT] :
          ( ~ ? [R_0025_0003__HIS,R_0025_0005__WAR,R_0025_0009__VICTORY,R_0025_0011__BOOTY,R_0025_0010__AND,R_0025_0006__DID_R_0025_0008__BRING] :
                ( r_0025_0003__his(R_0025_0003__HIS)
                & r_0025_0009__victory(R_0025_0009__VICTORY)
                & r_0025_0011__booty(R_0025_0011__BOOTY)
                & r_0025_0006__did_r_0025_0008__bring(R_0025_0006__DID_R_0025_0008__BRING)
                & has_arg1(R_0025_0006__DID_R_0025_0008__BRING,R_0025_0010__AND)
                & r_0025_0010__and(R_0025_0010__AND)
                & has_conj2(R_0025_0010__AND,R_0025_0011__BOOTY)
                & has_conj1(R_0025_0010__AND,R_0025_0009__VICTORY)
                & has_arg0(R_0025_0006__DID_R_0025_0008__BRING,R_0025_0005__WAR)
                & r_0025_0005__war(R_0025_0005__WAR)
                & has_gen(R_0025_0005__WAR,R_0025_0003__HIS) )
         => ? [R_0025_0014__NEW,R_0025_0017__LORDS,R_0025_0013__A_R_0025_0015__GROUP,R_0025_0021__UNSUCCESSFUL,R_0025_0020__THE_R_0025_0022__LEADERS,R_0025_0018__MIGHT_R_0025_0019__OUST] :
              ( r_0025_0014__new(R_0025_0014__NEW)
              & r_0025_0017__Lords(R_0025_0017__LORDS)
              & r_0025_0021__unsuccessful(R_0025_0021__UNSUCCESSFUL)
              & r_0025_0018__might_r_0025_0019__oust(R_0025_0018__MIGHT_R_0025_0019__OUST)
              & has_arg1(R_0025_0018__MIGHT_R_0025_0019__OUST,R_0025_0020__THE_R_0025_0022__LEADERS)
              & r_0025_0020__the_r_0025_0022__leaders(R_0025_0020__THE_R_0025_0022__LEADERS)
              & has_attrib(R_0025_0020__THE_R_0025_0022__LEADERS,R_0025_0021__UNSUCCESSFUL)
              & has_arg0(R_0025_0018__MIGHT_R_0025_0019__OUST,R_0025_0013__A_R_0025_0015__GROUP)
              & r_0025_0013__a_r_0025_0015__group(R_0025_0013__A_R_0025_0015__GROUP)
              & has_r_0025_0016__of(R_0025_0013__A_R_0025_0015__GROUP,R_0025_0017__LORDS)
              & has_attrib(R_0025_0013__A_R_0025_0015__GROUP,R_0025_0014__NEW) ) ) ) ).