TSPC 63_a_lob

63_a_lob_g01
The manifest injustice of this method had been to a certain degree corrected by the sliding scale of the second poll-tax, but this lesson was ignored, and the injustice trebled in weight by a flat-rate tax at treble the rate — every adult had to pay three groats, but this time an adult was re-defined as anyone over fifteen.

arc(r_0063_0001__The_r_0063_0003__injustice, r_0063_0002__manifest, attrib7).
arc(r_0063_0001__The_r_0063_0003__injustice, r_0063_0005__this_r_0063_0006__method, r_0063_0004__of).
arc(r_0063_0007__had, r_0063_0008__been, scope).
arc(r_0063_0008__been, r_0063_0013__corrected, scope).
arc(r_0063_0010__a_r_0063_0012__degree, r_0063_0011__certain, attrib32).
arc(r_0063_0013__corrected, r_0063_0001__The_r_0063_0003__injustice, arg1).
arc(r_0063_0013__corrected, r_0063_0010__a_r_0063_0012__degree, r_0063_0009__to_nim29).
arc(r_0063_0013__corrected, r_0063_0015__the_r_0063_0017__scale, arg0).
arc(r_0063_0015__the_r_0063_0017__scale, r_0063_0019__the_r_0063_0020__second_r_0063_0021__poll__hyphen__tax, r_0063_0018__of).
arc(r_0063_0016__sliding, r_0063_0015__the_r_0063_0017__scale, arg0).
arc(r_0063_0023__but, r_0063_0007__had, conj1).
arc(r_0063_0023__but, r_0063_0029__and, conj2).
arc(r_0063_0023__but, r_0063_0052__but, conj3).
arc(r_0063_0026__was, r_0063_0027__ignored, scope).
arc(r_0063_0027__ignored, r_0063_0024__this_r_0063_0025__lesson, arg1).
arc(r_0063_0027__ignored, z_000_63_a_lob_g01_76, arg0).
arc(r_0063_0029__and, r_0063_0026__was, conj1).
arc(r_0063_0029__and, r_0063_0032__trebled, conj2).
arc(r_0063_0032__trebled, r_0063_0030__the_r_0063_0031__injustice, arg0).
arc(r_0063_0032__trebled, r_0063_0034__weight, r_0063_0033__in_nim96).
arc(r_0063_0034__weight, r_0063_0036__a_r_0063_0038__tax, r_0063_0035__by).
arc(r_0063_0036__a_r_0063_0038__tax, r_0063_0037__flat__hyphen__rate, attrib105).
arc(r_0063_0036__a_r_0063_0038__tax, r_0063_0040__treble, r_0063_0039__at).
arc(r_0063_0040__treble, r_0063_0041__the_r_0063_0042__rate, arg1).
arc(r_0063_0040__treble, z_000_63_a_lob_g01_113, arg0).
arc(r_0063_0044__every_quant, r_0063_0045__adult, restriction).
arc(r_0063_0044__every_quant, r_0063_0046__had, scope).
arc(r_0063_0046__had, r_0063_0047__to_r_0063_0048__pay, scope).
arc(r_0063_0047__to_r_0063_0048__pay, r_0063_0045__adult, arg0).
arc(r_0063_0047__to_r_0063_0048__pay, r_0063_0049__three_r_0063_0050__groats, arg1).
arc(r_0063_0052__but, r_0063_0044__every_quant, conj1).
arc(r_0063_0052__but, r_0063_0057__was, conj2).
arc(r_0063_0057__was, r_0063_0053__this_r_0063_0054__time, nim150).
arc(r_0063_0057__was, r_0063_0058__re__hyphen__defined, scope).
arc(r_0063_0058__re__hyphen__defined, r_0063_0055__an_r_0063_0056__adult, arg1).
arc(r_0063_0058__re__hyphen__defined, r_0063_0060__anyone, prd).
arc(r_0063_0058__re__hyphen__defined, z_000_63_a_lob_g01_163, arg0).
arc(r_0063_0060__anyone, r_0063_0062__fifteen, r_0063_0061__over).

fof(formula,axiom,
    ? [R_0063_0019__THE_R_0063_0020__SECOND_R_0063_0021__POLL__HYPHEN__TAX,R_0063_0015__THE_R_0063_0017__SCALE,R_0063_0016__SLIDING,R_0063_0002__MANIFEST,R_0063_0005__THIS_R_0063_0006__METHOD,R_0063_0001__THE_R_0063_0003__INJUSTICE,R_0063_0011__CERTAIN,R_0063_0010__A_R_0063_0012__DEGREE,R_0063_0007__HAD_R_0063_0008__BEEN_R_0063_0013__CORRECTED,R_0063_0024__THIS_R_0063_0025__LESSON,Z_000_63_A_LOB_G01_76,R_0063_0026__WAS_R_0063_0027__IGNORED,R_0063_0030__THE_R_0063_0031__INJUSTICE,R_0063_0037__FLAT__HYPHEN__RATE,R_0063_0041__THE_R_0063_0042__RATE,Z_000_63_A_LOB_G01_113,R_0063_0040__TREBLE,R_0063_0036__A_R_0063_0038__TAX,R_0063_0034__WEIGHT,R_0063_0032__TREBLED,R_0063_0029__AND,R_0063_0053__THIS_R_0063_0054__TIME,R_0063_0055__AN_R_0063_0056__ADULT,R_0063_0062__FIFTEEN,R_0063_0060__ANYONE,Z_000_63_A_LOB_G01_163,R_0063_0057__WAS_R_0063_0058__RE__HYPHEN__DEFINED,R_0063_0052__BUT,R_0063_0023__BUT] :
      ( r_0063_0002__manifest(R_0063_0002__MANIFEST)
      & r_0063_0005__this_r_0063_0006__method(R_0063_0005__THIS_R_0063_0006__METHOD)
      & r_0063_0011__certain(R_0063_0011__CERTAIN)
      & r_0063_0019__the_r_0063_0020__second_r_0063_0021__poll__hyphen__tax(R_0063_0019__THE_R_0063_0020__SECOND_R_0063_0021__POLL__HYPHEN__TAX)
      & r_0063_0024__this_r_0063_0025__lesson(R_0063_0024__THIS_R_0063_0025__LESSON)
      & r_0063_0030__the_r_0063_0031__injustice(R_0063_0030__THE_R_0063_0031__INJUSTICE)
      & r_0063_0037__flat__hyphen__rate(R_0063_0037__FLAT__HYPHEN__RATE)
      & r_0063_0041__the_r_0063_0042__rate(R_0063_0041__THE_R_0063_0042__RATE)
      & r_0063_0053__this_r_0063_0054__time(R_0063_0053__THIS_R_0063_0054__TIME)
      & r_0063_0055__an_r_0063_0056__adult(R_0063_0055__AN_R_0063_0056__ADULT)
      & r_0063_0062__fifteen(R_0063_0062__FIFTEEN)
      & z_000_63_a_lob_g01_113(Z_000_63_A_LOB_G01_113)
      & z_000_63_a_lob_g01_163(Z_000_63_A_LOB_G01_163)
      & z_000_63_a_lob_g01_76(Z_000_63_A_LOB_G01_76)
      & r_0063_0023__but(R_0063_0023__BUT)
      & has_conj3(R_0063_0023__BUT,R_0063_0052__BUT)
      & r_0063_0052__but(R_0063_0052__BUT)
      & has_conj2(R_0063_0052__BUT,R_0063_0057__WAS_R_0063_0058__RE__HYPHEN__DEFINED)
      & r_0063_0057__was_r_0063_0058__re__hyphen__defined(R_0063_0057__WAS_R_0063_0058__RE__HYPHEN__DEFINED)
      & has_arg0(R_0063_0057__WAS_R_0063_0058__RE__HYPHEN__DEFINED,Z_000_63_A_LOB_G01_163)
      & has_prd(R_0063_0057__WAS_R_0063_0058__RE__HYPHEN__DEFINED,R_0063_0060__ANYONE)
      & r_0063_0060__anyone(R_0063_0060__ANYONE)
      & has_r_0063_0061__over(R_0063_0060__ANYONE,R_0063_0062__FIFTEEN)
      & has_arg1(R_0063_0057__WAS_R_0063_0058__RE__HYPHEN__DEFINED,R_0063_0055__AN_R_0063_0056__ADULT)
      & has_nim150(R_0063_0057__WAS_R_0063_0058__RE__HYPHEN__DEFINED,R_0063_0053__THIS_R_0063_0054__TIME)
      & ! [R_0063_0045__ADULT] :
          ( r_0063_0045__adult(R_0063_0045__ADULT)
         => ? [R_0063_0049__THREE_R_0063_0050__GROATS,R_0063_0046__HAD_R_0063_0047__TO_R_0063_0048__PAY] :
              ( r_0063_0049__three_r_0063_0050__groats(R_0063_0049__THREE_R_0063_0050__GROATS)
              & r_0063_0046__had_r_0063_0047__to_r_0063_0048__pay(R_0063_0046__HAD_R_0063_0047__TO_R_0063_0048__PAY)
              & has_arg1(R_0063_0046__HAD_R_0063_0047__TO_R_0063_0048__PAY,R_0063_0049__THREE_R_0063_0050__GROATS)
              & has_arg0(R_0063_0046__HAD_R_0063_0047__TO_R_0063_0048__PAY,R_0063_0045__ADULT) ) )
      & has_conj2(R_0063_0023__BUT,R_0063_0029__AND)
      & r_0063_0029__and(R_0063_0029__AND)
      & has_conj2(R_0063_0029__AND,R_0063_0032__TREBLED)
      & r_0063_0032__trebled(R_0063_0032__TREBLED)
      & has_r_0063_0033__in_nim96(R_0063_0032__TREBLED,R_0063_0034__WEIGHT)
      & r_0063_0034__weight(R_0063_0034__WEIGHT)
      & has_r_0063_0035__by(R_0063_0034__WEIGHT,R_0063_0036__A_R_0063_0038__TAX)
      & r_0063_0036__a_r_0063_0038__tax(R_0063_0036__A_R_0063_0038__TAX)
      & has_r_0063_0039__at(R_0063_0036__A_R_0063_0038__TAX,R_0063_0040__TREBLE)
      & r_0063_0040__treble(R_0063_0040__TREBLE)
      & has_arg0(R_0063_0040__TREBLE,Z_000_63_A_LOB_G01_113)
      & has_arg1(R_0063_0040__TREBLE,R_0063_0041__THE_R_0063_0042__RATE)
      & has_attrib105(R_0063_0036__A_R_0063_0038__TAX,R_0063_0037__FLAT__HYPHEN__RATE)
      & has_arg0(R_0063_0032__TREBLED,R_0063_0030__THE_R_0063_0031__INJUSTICE)
      & has_conj1(R_0063_0029__AND,R_0063_0026__WAS_R_0063_0027__IGNORED)
      & r_0063_0026__was_r_0063_0027__ignored(R_0063_0026__WAS_R_0063_0027__IGNORED)
      & has_arg0(R_0063_0026__WAS_R_0063_0027__IGNORED,Z_000_63_A_LOB_G01_76)
      & has_arg1(R_0063_0026__WAS_R_0063_0027__IGNORED,R_0063_0024__THIS_R_0063_0025__LESSON)
      & has_conj1(R_0063_0023__BUT,R_0063_0007__HAD_R_0063_0008__BEEN_R_0063_0013__CORRECTED)
      & r_0063_0007__had_r_0063_0008__been_r_0063_0013__corrected(R_0063_0007__HAD_R_0063_0008__BEEN_R_0063_0013__CORRECTED)
      & has_arg0(R_0063_0007__HAD_R_0063_0008__BEEN_R_0063_0013__CORRECTED,R_0063_0015__THE_R_0063_0017__SCALE)
      & r_0063_0015__the_r_0063_0017__scale(R_0063_0015__THE_R_0063_0017__SCALE)
      & has_r_0063_0018__of(R_0063_0015__THE_R_0063_0017__SCALE,R_0063_0019__THE_R_0063_0020__SECOND_R_0063_0021__POLL__HYPHEN__TAX)
      & has_r_0063_0009__to_nim29(R_0063_0007__HAD_R_0063_0008__BEEN_R_0063_0013__CORRECTED,R_0063_0010__A_R_0063_0012__DEGREE)
      & r_0063_0010__a_r_0063_0012__degree(R_0063_0010__A_R_0063_0012__DEGREE)
      & has_attrib32(R_0063_0010__A_R_0063_0012__DEGREE,R_0063_0011__CERTAIN)
      & has_arg1(R_0063_0007__HAD_R_0063_0008__BEEN_R_0063_0013__CORRECTED,R_0063_0001__THE_R_0063_0003__INJUSTICE)
      & r_0063_0001__The_r_0063_0003__injustice(R_0063_0001__THE_R_0063_0003__INJUSTICE)
      & has_r_0063_0004__of(R_0063_0001__THE_R_0063_0003__INJUSTICE,R_0063_0005__THIS_R_0063_0006__METHOD)
      & has_attrib7(R_0063_0001__THE_R_0063_0003__INJUSTICE,R_0063_0002__MANIFEST)
      & r_0063_0016__sliding(R_0063_0016__SLIDING)
      & has_arg0(R_0063_0016__SLIDING,R_0063_0015__THE_R_0063_0017__SCALE) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (ADJP (ADJ manifest;{manifest}))
                              (N injustice;{injustice})
                              (PP (P-ROLE of;{of})
                                  (NP (D this;{this})
                                      (N method;{method}))))
                      (HVD;_cat_Ve_ had;{have})
                      (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                  (IP-PPL-CAT (PP-NIM (P-ROLE to;{to})
                                                      (NP (D a;{a})
                                                          (ADJP (ADJ certain;{certain}))
                                                          (N degree;{degree})))
                                              (VVN;__ corrected;{correct})
                                              (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                      (NP (D the;{the})
                                                          (IP-PPL (VAG;__ sliding;{slide}))
                                                          (N scale;{scale})
                                                          (PP (P-ROLE of;{of})
                                                              (NP (D the;{the})
                                                                  (NUM second;{second})
                                                                  (N poll_<hyphen>_tax;{poll_tax}))))))))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (ILYR (ILYR (NP-SBJ (D this;{this})
                                                 (N lesson;{lesson}))
                                         (BED;_cat_VePASS_ was;{be})
                                         (IP-PPL-CAT (NP-LGS *)
                                                     (VVN;__ ignored;{ignore})))
                                   (PUNC ,)
                                   (CONJP (CONJ and;{and})
                                          (ILYR (NP-SBJ (D the;{the})
                                                        (N injustice;{injustice}))
                                                (VBD;__ trebled;{treble})
                                                (PP-NIM (P-ROLE in;{in})
                                                        (NP (N weight;{weight})
                                                            (PP (P-ROLE by;{by})
                                                                (NP (D a;{a})
                                                                    (ADJP (ADJ flat_<hyphen>_rate;{flat_rate}))
                                                                    (N tax;{tax})
                                                                    (PP (P-ROLE at;{at})
                                                                        (IP-PPL (VAG;__ treble;{treble})
                                                                                (NP-OB1 (D the;{the})
                                                                                        (N rate;{rate})))))))))))))
                (PUNC <mdash>)
                (CONJP (ILYR (ILYR (ILYR (NP-SBJ (Q every;{every})
                                                 (N adult;{adult}))
                                         (HVD;_cat_Vt_ had;{have})
                                         (IP-INF-CAT (TO to;{to})
                                                     (VB;__ pay;{pay})
                                                     (NP-OB1 (NUM three;{three})
                                                             (NS groats;{groat}))))
                                   (PUNC ,)
                                   (CONJP (CONJ but;{but})
                                          (ILYR (NP-NIM (D this;{this})
                                                        (N time;{time}))
                                                (NP-SBJ (D an;{an})
                                                        (N adult;{adult}))
                                                (BED;_cat_VePASS_ was;{be})
                                                (IP-PPL-CAT (NP-LGS *)
                                                            (VVN;_Cn.n/a_ re_<hyphen>_defined;{re_define[as]})
                                                            (PP-PRD (P-ROLE as;{as})
                                                                    (NP (D;_nphd_ anyone;{anyone})
                                                                        (PP (P-ROLE over;{over})
                                                                            (NP (NUM fifteen;{fifteen}))))))))))))
          (PUNC .))
  (ID 63_a_lob_g01))