TSPC 39_a_lob

39_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.

( (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 39_a_lob_g01))

arc(r_0039_0003__injustice,r_0039_0001__Its,gen).
arc(r_0039_0003__injustice,r_0039_0002__obvious,attrib).
arc(r_0039_0004__was,r_0039_0003__injustice,arg0).
arc(r_0039_0004__was,r_0039_0008__all__quant,prd).
arc(r_0039_0007__assessed,r_0039_0006__it,arg0).
arc(r_0039_0007__assessed,r_0039_0009__men,arg1).
arc(r_0039_0007__assessed,r_0039_0010__equally,nim).
arc(r_0039_0008__all__quant,r_0039_0007__assessed,scope).
arc(r_0039_0008__all__quant,r_0039_0009__men,restriction).
arc(r_0039_0012__the,r_0039_0013__poor,attrib).
arc(r_0039_0014__paid,r_0039_0012__the,arg0).
arc(r_0039_0014__paid,r_0039_0016__the,arg1).
arc(r_0039_0016__the,r_0039_0015__exactly,qual).
arc(r_0039_0016__the,r_0039_0017__same,attrib).
arc(r_0039_0017__same,r_0039_0019__the,r_0039_0018__as).
arc(r_0039_0019__the,r_0039_0020__rich,attrib).
arc(r_0039_0022__but_r_0039_0033__and,r_0039_0014__paid,conj1).
arc(r_0039_0022__but_r_0039_0033__and,r_0039_0028__had,conj2).
arc(r_0039_0022__but_r_0039_0033__and,r_0039_0034__as,conj3).
arc(r_0039_0025__hitherto,r_0039_0024__as,qual).
arc(r_0039_0026__the,r_0039_0027__poor,attrib).
arc(r_0039_0028__had,r_0039_0025__hitherto,nim).
arc(r_0039_0028__had,r_0039_0030__paid,scope).
arc(r_0039_0030__paid,r_0039_0026__the,arg0).
arc(r_0039_0030__paid,r_0039_0029__never,nim).
arc(r_0039_0030__paid,r_0039_0031__anything,arg1).
arc(r_0039_0034__as,r_0039_0038__supplied,restriction).
arc(r_0039_0034__as,r_0039_0045__was,scope).
arc(r_0039_0035__the,r_0039_0036__rich,attrib).
arc(r_0039_0038__supplied,r_0039_0035__the,arg0).
arc(r_0039_0038__supplied,r_0039_0037__still,nim).
arc(r_0039_0038__supplied,r_0039_0039__the_r_0039_0041__revenues,arg1).
arc(r_0039_0038__supplied,r_0039_0042__as_well,nim).
arc(r_0039_0039__the_r_0039_0041__revenues,r_0039_0040__traditional,attrib).
arc(r_0039_0045__was,r_0039_0046__a_r_0039_0047__case,arg0).
arc(r_0039_0046__a_r_0039_0047__case,r_0039_0049__a_r_0039_0050__tax,r_0039_0048__for).
arc(r_0039_0052__took,r_0039_0049__a_r_0039_0050__tax,arg0).
arc(r_0039_0052__took,r_0039_0053__a_little,nim).
arc(r_0039_0052__took,z_0039_5030,r_0039_0054__from__nim).
arc(r_0039_0055__everybody__quant,r_0039_0052__took,scope).
arc(r_0039_0055__everybody__quant,z_0039_5030,restriction).
arc(z_0039_5001,r_0039_0004__was,conj1).
arc(z_0039_5001,r_0039_0022__but_r_0039_0033__and,conj2).

fof(formula,axiom,
    ? [R_0039_0001__ITS,R_0039_0002__OBVIOUS,R_0039_0003__INJUSTICE,R_0039_0004__WAS,R_0039_0013__POOR,R_0039_0012__THE,R_0039_0015__EXACTLY,R_0039_0020__RICH,R_0039_0019__THE,R_0039_0017__SAME,R_0039_0016__THE,R_0039_0014__PAID,R_0039_0024__AS,R_0039_0025__HITHERTO,R_0039_0027__POOR,R_0039_0026__THE,R_0039_0029__NEVER,R_0039_0031__ANYTHING,R_0039_0028__HAD_R_0039_0030__PAID,R_0039_0036__RICH,R_0039_0035__THE,R_0039_0037__STILL,R_0039_0040__TRADITIONAL,R_0039_0039__THE_R_0039_0041__REVENUES,R_0039_0042__AS_WELL,R_0039_0038__SUPPLIED,R_0039_0049__A_R_0039_0050__TAX,R_0039_0046__A_R_0039_0047__CASE,R_0039_0045__WAS,R_0039_0034__AS,R_0039_0022__BUT_R_0039_0033__AND,Z_0039_5001] :
      ( r_0039_0001__Its(R_0039_0001__ITS)
      & r_0039_0002__obvious(R_0039_0002__OBVIOUS)
      & r_0039_0013__poor(R_0039_0013__POOR)
      & r_0039_0015__exactly(R_0039_0015__EXACTLY)
      & r_0039_0020__rich(R_0039_0020__RICH)
      & r_0039_0024__as(R_0039_0024__AS)
      & r_0039_0027__poor(R_0039_0027__POOR)
      & r_0039_0029__never(R_0039_0029__NEVER)
      & r_0039_0031__anything(R_0039_0031__ANYTHING)
      & r_0039_0036__rich(R_0039_0036__RICH)
      & r_0039_0037__still(R_0039_0037__STILL)
      & r_0039_0040__traditional(R_0039_0040__TRADITIONAL)
      & r_0039_0042__as_well(R_0039_0042__AS_WELL)
      & r_0039_0049__a_r_0039_0050__tax(R_0039_0049__A_R_0039_0050__TAX)
      & z_0039_5001(Z_0039_5001)
      & has_conj2(Z_0039_5001,R_0039_0022__BUT_R_0039_0033__AND)
      & r_0039_0022__but_r_0039_0033__and(R_0039_0022__BUT_R_0039_0033__AND)
      & has_conj3(R_0039_0022__BUT_R_0039_0033__AND,R_0039_0034__AS)
      & r_0039_0034__as(R_0039_0034__AS)
      & has_conj2(R_0039_0034__AS,R_0039_0045__WAS)
      & r_0039_0045__was(R_0039_0045__WAS)
      & has_arg0(R_0039_0045__WAS,R_0039_0046__A_R_0039_0047__CASE)
      & r_0039_0046__a_r_0039_0047__case(R_0039_0046__A_R_0039_0047__CASE)
      & has_r_0039_0048__for(R_0039_0046__A_R_0039_0047__CASE,R_0039_0049__A_R_0039_0050__TAX)
      & has_conj1(R_0039_0034__AS,R_0039_0038__SUPPLIED)
      & r_0039_0038__supplied(R_0039_0038__SUPPLIED)
      & has_nim(R_0039_0038__SUPPLIED,R_0039_0042__AS_WELL)
      & has_arg1(R_0039_0038__SUPPLIED,R_0039_0039__THE_R_0039_0041__REVENUES)
      & r_0039_0039__the_r_0039_0041__revenues(R_0039_0039__THE_R_0039_0041__REVENUES)
      & has_attrib(R_0039_0039__THE_R_0039_0041__REVENUES,R_0039_0040__TRADITIONAL)
      & has_nim(R_0039_0038__SUPPLIED,R_0039_0037__STILL)
      & has_arg0(R_0039_0038__SUPPLIED,R_0039_0035__THE)
      & r_0039_0035__the(R_0039_0035__THE)
      & has_attrib(R_0039_0035__THE,R_0039_0036__RICH)
      & has_conj2(R_0039_0022__BUT_R_0039_0033__AND,R_0039_0028__HAD_R_0039_0030__PAID)
      & r_0039_0028__had_r_0039_0030__paid(R_0039_0028__HAD_R_0039_0030__PAID)
      & has_arg1(R_0039_0028__HAD_R_0039_0030__PAID,R_0039_0031__ANYTHING)
      & has_nim(R_0039_0028__HAD_R_0039_0030__PAID,R_0039_0029__NEVER)
      & has_arg0(R_0039_0028__HAD_R_0039_0030__PAID,R_0039_0026__THE)
      & r_0039_0026__the(R_0039_0026__THE)
      & has_attrib(R_0039_0026__THE,R_0039_0027__POOR)
      & has_nim(R_0039_0028__HAD_R_0039_0030__PAID,R_0039_0025__HITHERTO)
      & r_0039_0025__hitherto(R_0039_0025__HITHERTO)
      & has_qual(R_0039_0025__HITHERTO,R_0039_0024__AS)
      & has_conj1(R_0039_0022__BUT_R_0039_0033__AND,R_0039_0014__PAID)
      & r_0039_0014__paid(R_0039_0014__PAID)
      & has_arg1(R_0039_0014__PAID,R_0039_0016__THE)
      & r_0039_0016__the(R_0039_0016__THE)
      & has_attrib(R_0039_0016__THE,R_0039_0017__SAME)
      & r_0039_0017__same(R_0039_0017__SAME)
      & has_r_0039_0018__as(R_0039_0017__SAME,R_0039_0019__THE)
      & r_0039_0019__the(R_0039_0019__THE)
      & has_attrib(R_0039_0019__THE,R_0039_0020__RICH)
      & has_qual(R_0039_0016__THE,R_0039_0015__EXACTLY)
      & has_arg0(R_0039_0014__PAID,R_0039_0012__THE)
      & r_0039_0012__the(R_0039_0012__THE)
      & has_attrib(R_0039_0012__THE,R_0039_0013__POOR)
      & has_conj1(Z_0039_5001,R_0039_0004__WAS)
      & r_0039_0004__was(R_0039_0004__WAS)
      & ! [R_0039_0009__MEN] :
          ( r_0039_0009__men(R_0039_0009__MEN)
         => ? [R_0039_0006__IT,R_0039_0010__EQUALLY,R_0039_0007__ASSESSED] :
              ( r_0039_0006__it(R_0039_0006__IT)
              & r_0039_0010__equally(R_0039_0010__EQUALLY)
              & r_0039_0007__assessed(R_0039_0007__ASSESSED)
              & has_nim(R_0039_0007__ASSESSED,R_0039_0010__EQUALLY)
              & has_arg1(R_0039_0007__ASSESSED,R_0039_0009__MEN)
              & has_arg0(R_0039_0007__ASSESSED,R_0039_0006__IT) ) )
      & has_arg0(R_0039_0004__WAS,R_0039_0003__INJUSTICE)
      & r_0039_0003__injustice(R_0039_0003__INJUSTICE)
      & has_attrib(R_0039_0003__INJUSTICE,R_0039_0002__OBVIOUS)
      & has_gen(R_0039_0003__INJUSTICE,R_0039_0001__ITS)
      & ! [Z_0039_5030] :
          ( z_0039_5030(Z_0039_5030)
         => ? [R_0039_0053__A_LITTLE,R_0039_0052__TOOK] :
              ( r_0039_0053__a_little(R_0039_0053__A_LITTLE)
              & r_0039_0052__took(R_0039_0052__TOOK)
              & has_r_0039_0054__from__nim(R_0039_0052__TOOK,Z_0039_5030)
              & has_nim(R_0039_0052__TOOK,R_0039_0053__A_LITTLE)
              & has_arg0(R_0039_0052__TOOK,R_0039_0049__A_R_0039_0050__TAX) ) ) ) ).