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,
    ? [Z_40_A_LOB_G01_2,R_40_4_WAS,R_40_3_INJUSTICE,R_40_2_OBVIOUS,R_40_1_ITS,R_40_22_BUT_AND,R_40_14_PAID,R_40_12_THE,R_40_13_POOR,R_40_16_THE,R_40_17_SAME,R_40_19_THE,R_40_20_RICH,R_40_15_EXACTLY,R_40_28_HAD_PAID,R_40_26_THE,R_40_27_POOR,R_40_31_ANYTHING,R_40_25_HITHERTO,R_40_24_AS,R_40_29_NEVER,R_40_34_AS,R_40_38_SUPPLIED,R_40_35_THE,R_40_36_RICH,R_40_39_THE_REVENUES,R_40_40_TRADITIONAL,R_40_37_STILL,R_40_42_AS_WELL,R_40_44_THERE_WAS,R_40_46_A_CASE,R_40_49_A_TAX] :
      ( obvious(R_40_2_OBVIOUS)
      & its(R_40_1_ITS)
      & poor(R_40_13_POOR)
      & rich(R_40_20_RICH)
      & exactly(R_40_15_EXACTLY)
      & poor(R_40_27_POOR)
      & anything(R_40_31_ANYTHING)
      & as(R_40_24_AS)
      & never(R_40_29_NEVER)
      & rich(R_40_36_RICH)
      & traditional(R_40_40_TRADITIONAL)
      & still(R_40_37_STILL)
      & as_well(R_40_42_AS_WELL)
      & a_tax(R_40_49_A_TAX)
      & ! [Z_40_A_LOB_G01_158] :
          ( true
         => ? [R_40_52_TOOK,R_40_53_A_LITTLE] :
              ( a_little(R_40_53_A_LITTLE)
              & took(R_40_52_TOOK,R_40_49_A_TAX)
              & nim152(R_40_52_TOOK,R_40_53_A_LITTLE)
              & from_nim158(R_40_52_TOOK,Z_40_A_LOB_G01_158) ) )
      & z_40_a_lob_g01_2(Z_40_A_LOB_G01_2)
      & conj1(Z_40_A_LOB_G01_2,R_40_4_WAS)
      & ! [R_40_9_MEN] :
          ( men(R_40_9_MEN)
         => ? [R_40_5_THAT_ASSESSED,R_40_10_EQUALLY] :
              ( equally(R_40_10_EQUALLY)
              & that_assessed(R_40_5_THAT_ASSESSED,R_40_3_INJUSTICE,R_40_9_MEN)
              & nim29(R_40_5_THAT_ASSESSED,R_40_10_EQUALLY) ) )
      & prd(PRD)
      & was(R_40_4_WAS,R_40_3_INJUSTICE)
      & injustice(R_40_3_INJUSTICE)
      & attrib8(R_40_3_INJUSTICE,R_40_2_OBVIOUS)
      & gen(R_40_3_INJUSTICE,R_40_1_ITS)
      & conj2(Z_40_A_LOB_G01_2,R_40_22_BUT_AND)
      & but_and(R_40_22_BUT_AND)
      & conj1(R_40_22_BUT_AND,R_40_14_PAID)
      & paid(R_40_14_PAID,R_40_12_THE,R_40_16_THE)
      & the(R_40_12_THE)
      & attrib41(R_40_12_THE,R_40_13_POOR)
      & the(R_40_16_THE)
      & attrib52(R_40_16_THE,R_40_17_SAME)
      & same(R_40_17_SAME)
      & as(R_40_17_SAME,R_40_19_THE)
      & the(R_40_19_THE)
      & attrib61(R_40_19_THE,R_40_20_RICH)
      & qual47(R_40_16_THE,R_40_15_EXACTLY)
      & conj2(R_40_22_BUT_AND,R_40_28_HAD_PAID)
      & had_paid(R_40_28_HAD_PAID,R_40_26_THE,R_40_31_ANYTHING)
      & the(R_40_26_THE)
      & attrib81(R_40_26_THE,R_40_27_POOR)
      & nim72(R_40_28_HAD_PAID,R_40_25_HITHERTO)
      & hitherto(R_40_25_HITHERTO)
      & qual73(R_40_25_HITHERTO,R_40_24_AS)
      & nim87(R_40_28_HAD_PAID,R_40_29_NEVER)
      & conj3(R_40_22_BUT_AND,R_40_34_AS)
      & as(R_40_34_AS)
      & conj1(R_40_34_AS,R_40_38_SUPPLIED)
      & supplied(R_40_38_SUPPLIED,R_40_35_THE,R_40_39_THE_REVENUES)
      & the(R_40_35_THE)
      & attrib108(R_40_35_THE,R_40_36_RICH)
      & the_revenues(R_40_39_THE_REVENUES)
      & attrib119(R_40_39_THE_REVENUES,R_40_40_TRADITIONAL)
      & nim111(R_40_38_SUPPLIED,R_40_37_STILL)
      & nim124(R_40_38_SUPPLIED,R_40_42_AS_WELL)
      & conj2(R_40_34_AS,R_40_44_THERE_WAS)
      & there_was(R_40_44_THERE_WAS,R_40_46_A_CASE)
      & a_case(R_40_46_A_CASE)
      & for(R_40_46_A_CASE,R_40_49_A_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))