TSPC 40_a_lob

40_a_lob_g01
Its obvious injustice was that it assessed all men equally — the poor paid exactly the same as the rich; but, as hitherto the poor had never paid anything, and as the rich still supplied the traditional revenues as well, there was a case for a tax which took a little from everybody.

arc(r_0040_0003__injustice, r_0040_0001__Its, gen).
arc(r_0040_0003__injustice, r_0040_0002__obvious, attrib8).
arc(r_0040_0004__was, r_0040_0003__injustice, arg0).
arc(r_0040_0004__was, r_0040_0008__all_quant, prd).
arc(r_0040_0005__that_r_0040_0007__assessed, r_0040_0003__injustice, arg0).
arc(r_0040_0005__that_r_0040_0007__assessed, r_0040_0009__men, arg1).
arc(r_0040_0005__that_r_0040_0007__assessed, r_0040_0010__equally, nim29).
arc(r_0040_0008__all_quant, r_0040_0005__that_r_0040_0007__assessed, scope).
arc(r_0040_0008__all_quant, r_0040_0009__men, restriction).
arc(r_0040_0012__the, r_0040_0013__poor, attrib41).
arc(r_0040_0014__paid, r_0040_0012__the, arg0).
arc(r_0040_0014__paid, r_0040_0016__the, arg1).
arc(r_0040_0016__the, r_0040_0015__exactly, qual47).
arc(r_0040_0016__the, r_0040_0017__same, attrib52).
arc(r_0040_0017__same, r_0040_0019__the, r_0040_0018__as).
arc(r_0040_0019__the, r_0040_0020__rich, attrib61).
arc(r_0040_0022__but_r_0040_0033__and, r_0040_0014__paid, conj1).
arc(r_0040_0022__but_r_0040_0033__and, r_0040_0028__had, conj2).
arc(r_0040_0022__but_r_0040_0033__and, r_0040_0034__as, conj3).
arc(r_0040_0025__hitherto, r_0040_0024__as, qual73).
arc(r_0040_0026__the, r_0040_0027__poor, attrib81).
arc(r_0040_0028__had, r_0040_0025__hitherto, nim72).
arc(r_0040_0028__had, r_0040_0030__paid, scope).
arc(r_0040_0030__paid, r_0040_0026__the, arg0).
arc(r_0040_0030__paid, r_0040_0029__never, nim87).
arc(r_0040_0030__paid, r_0040_0031__anything, arg1).
arc(r_0040_0034__as, r_0040_0038__supplied, restriction).
arc(r_0040_0034__as, r_0040_0044__there_r_0040_0045__was, scope).
arc(r_0040_0035__the, r_0040_0036__rich, attrib108).
arc(r_0040_0038__supplied, r_0040_0035__the, arg0).
arc(r_0040_0038__supplied, r_0040_0037__still, nim111).
arc(r_0040_0038__supplied, r_0040_0039__the_r_0040_0041__revenues, arg1).
arc(r_0040_0038__supplied, r_0040_0042__as_well, nim124).
arc(r_0040_0039__the_r_0040_0041__revenues, r_0040_0040__traditional, attrib119).
arc(r_0040_0044__there_r_0040_0045__was, r_0040_0046__a_r_0040_0047__case, arg0).
arc(r_0040_0046__a_r_0040_0047__case, r_0040_0049__a_r_0040_0050__tax, r_0040_0048__for).
arc(r_0040_0052__took, r_0040_0049__a_r_0040_0050__tax, arg0).
arc(r_0040_0052__took, r_0040_0053__a_little, nim152).
arc(r_0040_0052__took, z_000_40_a_lob_g01_158, r_0040_0054__from_nim158).
arc(r_0040_0055__everybody_quant, r_0040_0052__took, scope).
arc(r_0040_0055__everybody_quant, z_000_40_a_lob_g01_158, restriction).
arc(z_000_40_a_lob_g01_2, r_0040_0004__was, conj1).
arc(z_000_40_a_lob_g01_2, r_0040_0022__but_r_0040_0033__and, conj2).

fof(formula,axiom,
    ? [R_0040_0001__ITS,R_0040_0002__OBVIOUS,R_0040_0003__INJUSTICE,R_0040_0004__WAS,R_0040_0013__POOR,R_0040_0012__THE,R_0040_0015__EXACTLY,R_0040_0020__RICH,R_0040_0019__THE,R_0040_0017__SAME,R_0040_0016__THE,R_0040_0014__PAID,R_0040_0024__AS,R_0040_0025__HITHERTO,R_0040_0027__POOR,R_0040_0026__THE,R_0040_0029__NEVER,R_0040_0031__ANYTHING,R_0040_0028__HAD_R_0040_0030__PAID,R_0040_0036__RICH,R_0040_0035__THE,R_0040_0037__STILL,R_0040_0040__TRADITIONAL,R_0040_0039__THE_R_0040_0041__REVENUES,R_0040_0042__AS_WELL,R_0040_0038__SUPPLIED,R_0040_0049__A_R_0040_0050__TAX,R_0040_0046__A_R_0040_0047__CASE,R_0040_0044__THERE_R_0040_0045__WAS,R_0040_0034__AS,R_0040_0022__BUT_R_0040_0033__AND,Z_000_40_A_LOB_G01_2] :
      ( r_0040_0001__Its(R_0040_0001__ITS)
      & r_0040_0002__obvious(R_0040_0002__OBVIOUS)
      & r_0040_0013__poor(R_0040_0013__POOR)
      & r_0040_0015__exactly(R_0040_0015__EXACTLY)
      & r_0040_0020__rich(R_0040_0020__RICH)
      & r_0040_0024__as(R_0040_0024__AS)
      & r_0040_0027__poor(R_0040_0027__POOR)
      & r_0040_0029__never(R_0040_0029__NEVER)
      & r_0040_0031__anything(R_0040_0031__ANYTHING)
      & r_0040_0036__rich(R_0040_0036__RICH)
      & r_0040_0037__still(R_0040_0037__STILL)
      & r_0040_0040__traditional(R_0040_0040__TRADITIONAL)
      & r_0040_0042__as_well(R_0040_0042__AS_WELL)
      & r_0040_0049__a_r_0040_0050__tax(R_0040_0049__A_R_0040_0050__TAX)
      & z_000_40_a_lob_g01_2(Z_000_40_A_LOB_G01_2)
      & has_conj2(Z_000_40_A_LOB_G01_2,R_0040_0022__BUT_R_0040_0033__AND)
      & r_0040_0022__but_r_0040_0033__and(R_0040_0022__BUT_R_0040_0033__AND)
      & has_conj3(R_0040_0022__BUT_R_0040_0033__AND,R_0040_0034__AS)
      & r_0040_0034__as(R_0040_0034__AS)
      & has_conj2(R_0040_0034__AS,R_0040_0044__THERE_R_0040_0045__WAS)
      & r_0040_0044__there_r_0040_0045__was(R_0040_0044__THERE_R_0040_0045__WAS)
      & has_arg0(R_0040_0044__THERE_R_0040_0045__WAS,R_0040_0046__A_R_0040_0047__CASE)
      & r_0040_0046__a_r_0040_0047__case(R_0040_0046__A_R_0040_0047__CASE)
      & has_r_0040_0048__for(R_0040_0046__A_R_0040_0047__CASE,R_0040_0049__A_R_0040_0050__TAX)
      & has_conj1(R_0040_0034__AS,R_0040_0038__SUPPLIED)
      & r_0040_0038__supplied(R_0040_0038__SUPPLIED)
      & has_nim124(R_0040_0038__SUPPLIED,R_0040_0042__AS_WELL)
      & has_arg1(R_0040_0038__SUPPLIED,R_0040_0039__THE_R_0040_0041__REVENUES)
      & r_0040_0039__the_r_0040_0041__revenues(R_0040_0039__THE_R_0040_0041__REVENUES)
      & has_attrib119(R_0040_0039__THE_R_0040_0041__REVENUES,R_0040_0040__TRADITIONAL)
      & has_nim111(R_0040_0038__SUPPLIED,R_0040_0037__STILL)
      & has_arg0(R_0040_0038__SUPPLIED,R_0040_0035__THE)
      & r_0040_0035__the(R_0040_0035__THE)
      & has_attrib108(R_0040_0035__THE,R_0040_0036__RICH)
      & has_conj2(R_0040_0022__BUT_R_0040_0033__AND,R_0040_0028__HAD_R_0040_0030__PAID)
      & r_0040_0028__had_r_0040_0030__paid(R_0040_0028__HAD_R_0040_0030__PAID)
      & has_arg1(R_0040_0028__HAD_R_0040_0030__PAID,R_0040_0031__ANYTHING)
      & has_nim87(R_0040_0028__HAD_R_0040_0030__PAID,R_0040_0029__NEVER)
      & has_arg0(R_0040_0028__HAD_R_0040_0030__PAID,R_0040_0026__THE)
      & r_0040_0026__the(R_0040_0026__THE)
      & has_attrib81(R_0040_0026__THE,R_0040_0027__POOR)
      & has_nim72(R_0040_0028__HAD_R_0040_0030__PAID,R_0040_0025__HITHERTO)
      & r_0040_0025__hitherto(R_0040_0025__HITHERTO)
      & has_qual73(R_0040_0025__HITHERTO,R_0040_0024__AS)
      & has_conj1(R_0040_0022__BUT_R_0040_0033__AND,R_0040_0014__PAID)
      & r_0040_0014__paid(R_0040_0014__PAID)
      & has_arg1(R_0040_0014__PAID,R_0040_0016__THE)
      & r_0040_0016__the(R_0040_0016__THE)
      & has_attrib52(R_0040_0016__THE,R_0040_0017__SAME)
      & r_0040_0017__same(R_0040_0017__SAME)
      & has_r_0040_0018__as(R_0040_0017__SAME,R_0040_0019__THE)
      & r_0040_0019__the(R_0040_0019__THE)
      & has_attrib61(R_0040_0019__THE,R_0040_0020__RICH)
      & has_qual47(R_0040_0016__THE,R_0040_0015__EXACTLY)
      & has_arg0(R_0040_0014__PAID,R_0040_0012__THE)
      & r_0040_0012__the(R_0040_0012__THE)
      & has_attrib41(R_0040_0012__THE,R_0040_0013__POOR)
      & has_conj1(Z_000_40_A_LOB_G01_2,R_0040_0004__WAS)
      & r_0040_0004__was(R_0040_0004__WAS)
      & ! [R_0040_0009__MEN] :
          ( r_0040_0009__men(R_0040_0009__MEN)
         => ? [R_0040_0010__EQUALLY,R_0040_0005__THAT_R_0040_0007__ASSESSED] :
              ( r_0040_0010__equally(R_0040_0010__EQUALLY)
              & r_0040_0005__that_r_0040_0007__assessed(R_0040_0005__THAT_R_0040_0007__ASSESSED)
              & has_nim29(R_0040_0005__THAT_R_0040_0007__ASSESSED,R_0040_0010__EQUALLY)
              & has_arg1(R_0040_0005__THAT_R_0040_0007__ASSESSED,R_0040_0009__MEN)
              & has_arg0(R_0040_0005__THAT_R_0040_0007__ASSESSED,R_0040_0003__INJUSTICE) ) )
      & has_arg0(R_0040_0004__WAS,R_0040_0003__INJUSTICE)
      & r_0040_0003__injustice(R_0040_0003__INJUSTICE)
      & has_attrib8(R_0040_0003__INJUSTICE,R_0040_0002__OBVIOUS)
      & has_gen(R_0040_0003__INJUSTICE,R_0040_0001__ITS)
      & ! [Z_000_40_A_LOB_G01_158] :
          ( z_000_40_a_lob_g01_158(Z_000_40_A_LOB_G01_158)
         => ? [R_0040_0053__A_LITTLE,R_0040_0052__TOOK] :
              ( r_0040_0053__a_little(R_0040_0053__A_LITTLE)
              & r_0040_0052__took(R_0040_0052__TOOK)
              & has_r_0040_0054__from_nim158(R_0040_0052__TOOK,Z_000_40_A_LOB_G01_158)
              & has_nim152(R_0040_0052__TOOK,R_0040_0053__A_LITTLE)
              & has_arg0(R_0040_0052__TOOK,R_0040_0049__A_R_0040_0050__TAX) ) ) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (NP-GEN (PRO;_genm_ Its;{its}))
                              (ADJP (ADJ obvious;{obvious}))
                              (N injustice;{injustice}))
                      (BED;_equ_Vf_ was;{be})
                      (CP-THT-PRD (IP-SUB (C that;{that})
                                          (NP-SBJ (PRO it;{it}))
                                          (VBP;__ assessed;{assess})
                                          (NP-OB1 (Q all;{all})
                                                  (NS men;{man}))
                                          (ADVP-NIM (ADV equally;{equally})))))
                (PUNC <mdash>)
                (CONJP (ILYR (ILYR (ILYR (NP-SBJ (D the;{the})
                                                 (ADJP (ADJ poor;{poor})))
                                         (VBD;__ paid;{pay})
                                         (NP-OB1 (ADVP (ADV exactly;{exactly}))
                                                 (D the;{the})
                                                 (ADJP (ADJ same;{same})
                                                       (PP (P-ROLE as;{as})
                                                           (NP (D the;{the})
                                                               (ADJP (ADJ rich;{rich})))))))
                                   (PUNC ;)
                                   (CONJP (CONJ but;{but})
                                          (PUNC ,)
                                          (ILYR (ADVP-NIM (ADVP (ADV as;{as}))
                                                          (ADV hitherto;{hitherto}))
                                                (NP-SBJ (D the;{the})
                                                        (ADJP (ADJ poor;{poor})))
                                                (HVD;_cat_Ve_ had;{have})
                                                (IP-PPL-CAT (ADVP-NIM (ADV never;{never}))
                                                            (VVN;__ paid;{pay})
                                                            (NP-OB1 (D;_nphd_ anything;{anything})))))
                                   (PUNC ,)
                                   (CONJP (CONJ and;{and})
                                          (ILYR (PP-SCON (P-CONN as;{as})
                                                         (IP-ADV (NP-SBJ (D the;{the})
                                                                         (ADJP (ADJ rich;{rich})))
                                                                 (ADVP-NIM (ADV still;{still}))
                                                                 (VBD;__ supplied;{supply})
                                                                 (NP-OB1 (D the;{the})
                                                                         (ADJP (ADJ traditional;{traditional}))
                                                                         (NS revenues;{revenue}))
                                                                 (ADVP-NIM (ADV as_well;{as_well}))))
                                                (PUNC ,)
                                                (EX there;{there})
                                                (BED;_ex_V_ was;{be})
                                                (NP-ESBJ (D a;{a})
                                                         (N case;{case})
                                                         (PP (P-ROLE for;{for})
                                                             (NP (D a;{a})
                                                                 (N tax;{tax})
                                                                 (IP-REL (NP-SBJ (RPRO which;{which}))
                                                                         (VBD;__ took;{take})
                                                                         (ADVP-NIM (ADV a_little;{a_little}))
                                                                         (PP-NIM (P-ROLE from;{from})
                                                                                 (NP (Q;_nphd_ everybody;{everybody})))))))))))))
          (PUNC .))
  (ID 40_a_lob_g01))