TSPC 17_a_lob

17_a_lob_g01
But none of these deductions were drawn at the time, because large-scale war required money, and the citizens who had the money were not yet sufficiently at one with nobles and King to think their money well spent in financing a ruling class which despised them.

arc(r_0017_0001__But_r_0017_0018__and, r_0017_0002__none_quant, conj1).
arc(r_0017_0001__But_r_0017_0018__and, r_0017_0025__were, conj2).
arc(r_0017_0002__none_quant, r_0017_0012__because, scope).
arc(r_0017_0002__none_quant, z_000_17_a_lob_g01_6, restriction).
arc(r_0017_0006__were, r_0017_0007__drawn, scope).
arc(r_0017_0007__drawn, r_0017_0009__the_r_0017_0010__time, r_0017_0008__at_nim27).
arc(r_0017_0007__drawn, z_000_17_a_lob_g01_20, arg0).
arc(r_0017_0007__drawn, z_000_17_a_lob_g01_6, arg1).
arc(r_0017_0012__because, r_0017_0006__were, scope).
arc(r_0017_0012__because, r_0017_0015__required, restriction).
arc(r_0017_0014__war, r_0017_0013__large__hyphen__scale, attrib39).
arc(r_0017_0015__required, r_0017_0014__war, arg0).
arc(r_0017_0015__required, r_0017_0016__money, arg1).
arc(r_0017_0022__had, r_0017_0019__the_r_0017_0020__citizens, arg0).
arc(r_0017_0022__had, r_0017_0023__the_r_0017_0024__money, arg1).
arc(r_0017_0025__were, r_0017_0019__the_r_0017_0020__citizens, arg0).
arc(r_0017_0025__were, r_0017_0026__not_r_0017_0027__yet, nim73).
arc(r_0017_0025__were, r_0017_0028__sufficiently, nim78).
arc(r_0017_0025__were, r_0017_0030__one, r_0017_0029__at_clr84).
arc(r_0017_0030__one, r_0017_0033__and, r_0017_0031__with).
arc(r_0017_0030__one, r_0017_0035__to_r_0017_0036__think, emb101).
arc(r_0017_0033__and, r_0017_0032__nobles, conj1).
arc(r_0017_0033__and, r_0017_0034__King, conj2).
arc(r_0017_0035__to_r_0017_0036__think, r_0017_0038__money, arg1).
arc(r_0017_0035__to_r_0017_0036__think, z_000_17_a_lob_g01_101, arg0).
arc(r_0017_0038__money, r_0017_0019__the_r_0017_0020__citizens, gen).
arc(r_0017_0040__spent, r_0017_0038__money, arg1).
arc(r_0017_0040__spent, r_0017_0039__well, nim115).
arc(r_0017_0040__spent, r_0017_0042__financing, r_0017_0041__in_nim123).
arc(r_0017_0040__spent, z_000_17_a_lob_g01_113, arg0).
arc(r_0017_0042__financing, r_0017_0043__a_r_0017_0044__ruling_r_0017_0045__class, arg1).
arc(r_0017_0042__financing, z_000_17_a_lob_g01_123, arg0).
arc(r_0017_0047__despised, r_0017_0019__the_r_0017_0020__citizens, arg1).
arc(r_0017_0047__despised, r_0017_0043__a_r_0017_0044__ruling_r_0017_0045__class, arg0).
arc(z_000_17_a_lob_g01_6, r_0017_0004__these_r_0017_0005__deductions, r_0017_0003__of).

fof(formula,axiom,
    ? [R_0017_0019__THE_R_0017_0020__CITIZENS,R_0017_0026__NOT_R_0017_0027__YET,R_0017_0028__SUFFICIENTLY,R_0017_0032__NOBLES,R_0017_0034__KING,R_0017_0033__AND,R_0017_0038__MONEY,Z_000_17_A_LOB_G01_101,R_0017_0035__TO_R_0017_0036__THINK,R_0017_0030__ONE,R_0017_0025__WERE,R_0017_0001__BUT_R_0017_0018__AND,R_0017_0023__THE_R_0017_0024__MONEY,R_0017_0022__HAD,R_0017_0039__WELL,R_0017_0043__A_R_0017_0044__RULING_R_0017_0045__CLASS,Z_000_17_A_LOB_G01_123,R_0017_0042__FINANCING,Z_000_17_A_LOB_G01_113,R_0017_0040__SPENT,R_0017_0047__DESPISED] :
      ( r_0017_0019__the_r_0017_0020__citizens(R_0017_0019__THE_R_0017_0020__CITIZENS)
      & r_0017_0023__the_r_0017_0024__money(R_0017_0023__THE_R_0017_0024__MONEY)
      & r_0017_0026__not_r_0017_0027__yet(R_0017_0026__NOT_R_0017_0027__YET)
      & r_0017_0028__sufficiently(R_0017_0028__SUFFICIENTLY)
      & r_0017_0032__nobles(R_0017_0032__NOBLES)
      & r_0017_0034__King(R_0017_0034__KING)
      & r_0017_0039__well(R_0017_0039__WELL)
      & r_0017_0043__a_r_0017_0044__ruling_r_0017_0045__class(R_0017_0043__A_R_0017_0044__RULING_R_0017_0045__CLASS)
      & z_000_17_a_lob_g01_101(Z_000_17_A_LOB_G01_101)
      & z_000_17_a_lob_g01_113(Z_000_17_A_LOB_G01_113)
      & z_000_17_a_lob_g01_123(Z_000_17_A_LOB_G01_123)
      & r_0017_0047__despised(R_0017_0047__DESPISED)
      & has_arg0(R_0017_0047__DESPISED,R_0017_0043__A_R_0017_0044__RULING_R_0017_0045__CLASS)
      & has_arg1(R_0017_0047__DESPISED,R_0017_0019__THE_R_0017_0020__CITIZENS)
      & r_0017_0040__spent(R_0017_0040__SPENT)
      & has_arg0(R_0017_0040__SPENT,Z_000_17_A_LOB_G01_113)
      & has_r_0017_0041__in_nim123(R_0017_0040__SPENT,R_0017_0042__FINANCING)
      & r_0017_0042__financing(R_0017_0042__FINANCING)
      & has_arg0(R_0017_0042__FINANCING,Z_000_17_A_LOB_G01_123)
      & has_arg1(R_0017_0042__FINANCING,R_0017_0043__A_R_0017_0044__RULING_R_0017_0045__CLASS)
      & has_nim115(R_0017_0040__SPENT,R_0017_0039__WELL)
      & has_arg1(R_0017_0040__SPENT,R_0017_0038__MONEY)
      & r_0017_0038__money(R_0017_0038__MONEY)
      & has_gen(R_0017_0038__MONEY,R_0017_0019__THE_R_0017_0020__CITIZENS)
      & r_0017_0022__had(R_0017_0022__HAD)
      & has_arg1(R_0017_0022__HAD,R_0017_0023__THE_R_0017_0024__MONEY)
      & has_arg0(R_0017_0022__HAD,R_0017_0019__THE_R_0017_0020__CITIZENS)
      & r_0017_0001__But_r_0017_0018__and(R_0017_0001__BUT_R_0017_0018__AND)
      & has_conj2(R_0017_0001__BUT_R_0017_0018__AND,R_0017_0025__WERE)
      & r_0017_0025__were(R_0017_0025__WERE)
      & has_r_0017_0029__at_clr84(R_0017_0025__WERE,R_0017_0030__ONE)
      & r_0017_0030__one(R_0017_0030__ONE)
      & has_emb101(R_0017_0030__ONE,R_0017_0035__TO_R_0017_0036__THINK)
      & r_0017_0035__to_r_0017_0036__think(R_0017_0035__TO_R_0017_0036__THINK)
      & has_arg0(R_0017_0035__TO_R_0017_0036__THINK,Z_000_17_A_LOB_G01_101)
      & has_arg1(R_0017_0035__TO_R_0017_0036__THINK,R_0017_0038__MONEY)
      & has_r_0017_0031__with(R_0017_0030__ONE,R_0017_0033__AND)
      & r_0017_0033__and(R_0017_0033__AND)
      & has_conj2(R_0017_0033__AND,R_0017_0034__KING)
      & has_conj1(R_0017_0033__AND,R_0017_0032__NOBLES)
      & has_nim78(R_0017_0025__WERE,R_0017_0028__SUFFICIENTLY)
      & has_nim73(R_0017_0025__WERE,R_0017_0026__NOT_R_0017_0027__YET)
      & has_arg0(R_0017_0025__WERE,R_0017_0019__THE_R_0017_0020__CITIZENS)
      & ! [Z_000_17_A_LOB_G01_6,R_0017_0004__THESE_R_0017_0005__DEDUCTIONS] :
          ( ( r_0017_0004__these_r_0017_0005__deductions(R_0017_0004__THESE_R_0017_0005__DEDUCTIONS)
            & z_000_17_a_lob_g01_6(Z_000_17_A_LOB_G01_6)
            & has_r_0017_0003__of(Z_000_17_A_LOB_G01_6,R_0017_0004__THESE_R_0017_0005__DEDUCTIONS) )
         => ? [R_0017_0009__THE_R_0017_0010__TIME,Z_000_17_A_LOB_G01_20,R_0017_0006__WERE_R_0017_0007__DRAWN,R_0017_0013__LARGE__HYPHEN__SCALE,R_0017_0014__WAR,R_0017_0016__MONEY,R_0017_0015__REQUIRED,R_0017_0012__BECAUSE] :
              ( r_0017_0009__the_r_0017_0010__time(R_0017_0009__THE_R_0017_0010__TIME)
              & r_0017_0013__large__hyphen__scale(R_0017_0013__LARGE__HYPHEN__SCALE)
              & r_0017_0016__money(R_0017_0016__MONEY)
              & z_000_17_a_lob_g01_20(Z_000_17_A_LOB_G01_20)
              & r_0017_0012__because(R_0017_0012__BECAUSE)
              & has_conj1(R_0017_0012__BECAUSE,R_0017_0015__REQUIRED)
              & r_0017_0015__required(R_0017_0015__REQUIRED)
              & has_arg1(R_0017_0015__REQUIRED,R_0017_0016__MONEY)
              & has_arg0(R_0017_0015__REQUIRED,R_0017_0014__WAR)
              & r_0017_0014__war(R_0017_0014__WAR)
              & has_attrib39(R_0017_0014__WAR,R_0017_0013__LARGE__HYPHEN__SCALE)
              & has_conj2(R_0017_0012__BECAUSE,R_0017_0006__WERE_R_0017_0007__DRAWN)
              & r_0017_0006__were_r_0017_0007__drawn(R_0017_0006__WERE_R_0017_0007__DRAWN)
              & has_arg1(R_0017_0006__WERE_R_0017_0007__DRAWN,Z_000_17_A_LOB_G01_6)
              & has_arg0(R_0017_0006__WERE_R_0017_0007__DRAWN,Z_000_17_A_LOB_G01_20)
              & has_r_0017_0008__at_nim27(R_0017_0006__WERE_R_0017_0007__DRAWN,R_0017_0009__THE_R_0017_0010__TIME) ) ) ) ).

( (IP-MAT (ILYR (CONJ;_cl_ But;{but})
                (ILYR (NP-SBJ (Q;_nphd_ none;{none})
                              (PP (P-ROLE of;{of})
                                  (NP (D these;{these})
                                      (NS deductions;{deduction}))))
                      (BED;_cat_VePASS_ were;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;_Tn_ drawn;{draw})
                                  (PP-NIM (P-ROLE at;{at})
                                          (NP (D the;{the})
                                              (N time;{time}))))
                      (PUNC ,)
                      (PP-SCON (P-CONN because;{because})
                               (IP-ADV (NP-SBJ (ADJP (ADJ large_<hyphen>_scale;{large_scale}))
                                               (N war;{war}))
                                       (VBD;_Tn_ required;{require})
                                       (NP-OB1 (N money;{money})))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ;{CITIZENS} (D the;{the})
                                                (NS citizens;{citizen})
                                                (IP-REL (NP-SBJ (RPRO who;{who}))
                                                        (HVD;_Tn_ had;{have})
                                                        (NP-OB1 (D the;{the})
                                                                (N money;{money}))))
                             (BED;_Ipr_ were;{be[at]})
                             (ADVP-NIM (NEG not;{not})
                                       (ADV yet;{yet}))
                             (ADVP-NIM (ADV sufficiently;{sufficiently}))
                             (PP-CLR (P-ROLE at;{at})
                                     (NP (NUM one;{one})
                                         (PP (P-ROLE with;{with})
                                             (NP (NLYR (NLYR (NS nobles;{noble}))
                                                       (CONJP (CONJ and;{and})
                                                              (NLYR (NPR King;{King}))))))
                                         (IP-INF (TO to;{to})
                                                 (VB;_Tn_ think;{think})
                                                 (NP-OB1 (NP-GEN;{CITIZENS} (PRO;_genm_ their;{their}))
                                                         (N money;{money})
                                                         (IP-PPL (NP-LGS *)
                                                                 (ADVP-NIM (ADV well;{well}))
                                                                 (VVN;_Tn.pr_ spent;{spend})
                                                                 (PP-NIM (P-ROLE in;{in})
                                                                         (IP-PPL (VAG;_Tn_ financing;{finance})
                                                                                 (NP-OB1 (D a;{a})
                                                                                         (N ruling;{ruling})
                                                                                         (N class;{class})
                                                                                         (IP-REL (NP-SBJ (RPRO which;{which}))
                                                                                                 (VBD;_Tn_ despised;{despise})
                                                                                                 (NP-OB1;{CITIZENS} (PRO them;{they}))))))))))))))
          (PUNC .))
  (ID 17_a_lob_g01))