TSPC 62_a_lob

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

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

arc(r_0062_0001__The_r_0062_0003__injustice,r_0062_0002__manifest,attrib).
arc(r_0062_0001__The_r_0062_0003__injustice,r_0062_0005__this_r_0062_0006__method,r_0062_0004__of).
arc(r_0062_0007__had,r_0062_0008__been,scope).
arc(r_0062_0008__been,r_0062_0013__corrected,scope).
arc(r_0062_0010__a_r_0062_0012__degree,r_0062_0011__certain,attrib).
arc(r_0062_0013__corrected,r_0062_0001__The_r_0062_0003__injustice,arg1).
arc(r_0062_0013__corrected,r_0062_0010__a_r_0062_0012__degree,r_0062_0009__to__nim).
arc(r_0062_0013__corrected,r_0062_0015__the_r_0062_0017__scale,r_0062_0014__by_arg0).
arc(r_0062_0015__the_r_0062_0017__scale,r_0062_0019__the_r_0062_0020__second_r_0062_0021__poll__hyphen__tax,r_0062_0018__of).
arc(r_0062_0016__sliding,r_0062_0015__the_r_0062_0017__scale,inv_arg0).
arc(r_0062_0023__but,r_0062_0007__had,conj1).
arc(r_0062_0023__but,r_0062_0029__and,conj2).
arc(r_0062_0023__but,r_0062_0052__but,conj3).
arc(r_0062_0026__was,r_0062_0027__ignored,scope).
arc(r_0062_0027__ignored,r_0062_0024__this_r_0062_0025__lesson,arg1).
arc(r_0062_0027__ignored,z_0062_5016___star_,arg0).
arc(r_0062_0029__and,r_0062_0026__was,conj1).
arc(r_0062_0029__and,r_0062_0032__trebled,conj2).
arc(r_0062_0032__trebled,r_0062_0030__the_r_0062_0031__injustice,arg0).
arc(r_0062_0032__trebled,r_0062_0034__weight,r_0062_0033__in__nim).
arc(r_0062_0034__weight,r_0062_0036__a_r_0062_0038__tax,r_0062_0035__by).
arc(r_0062_0036__a_r_0062_0038__tax,r_0062_0037__flat__hyphen__rate,attrib).
arc(r_0062_0036__a_r_0062_0038__tax,r_0062_0040__treble,r_0062_0039__at).
arc(r_0062_0040__treble,r_0062_0041__the_r_0062_0042__rate,arg1).
arc(r_0062_0040__treble,z_0062_5025,arg0).
arc(r_0062_0044__every__quant,r_0062_0045__adult,restriction).
arc(r_0062_0044__every__quant,r_0062_0046__had,scope).
arc(r_0062_0046__had,r_0062_0048__pay,scope).
arc(r_0062_0048__pay,r_0062_0045__adult,arg0).
arc(r_0062_0048__pay,r_0062_0049__three_r_0062_0050__groats,arg1).
arc(r_0062_0052__but,r_0062_0044__every__quant,conj1).
arc(r_0062_0052__but,r_0062_0057__was,conj2).
arc(r_0062_0057__was,r_0062_0053__this_r_0062_0054__time,nim).
arc(r_0062_0057__was,r_0062_0058__re__hyphen__defined,scope).
arc(r_0062_0058__re__hyphen__defined,r_0062_0055__an_r_0062_0056__adult,arg1).
arc(r_0062_0058__re__hyphen__defined,r_0062_0060__anyone,r_0062_0059__as__prd).
arc(r_0062_0058__re__hyphen__defined,z_0062_5040___star_,arg0).
arc(r_0062_0060__anyone,r_0062_0062__fifteen,r_0062_0061__over).

fof(formula,axiom,
    ? [R_0062_0002__MANIFEST,R_0062_0005__THIS_R_0062_0006__METHOD,R_0062_0001__THE_R_0062_0003__INJUSTICE,R_0062_0011__CERTAIN,R_0062_0010__A_R_0062_0012__DEGREE,R_0062_0019__THE_R_0062_0020__SECOND_R_0062_0021__POLL__HYPHEN__TAX,R_0062_0016__SLIDING,R_0062_0015__THE_R_0062_0017__SCALE,R_0062_0007__HAD_R_0062_0008__BEEN_R_0062_0013__CORRECTED,R_0062_0024__THIS_R_0062_0025__LESSON,Z_0062_5016___STAR_,R_0062_0026__WAS_R_0062_0027__IGNORED,R_0062_0030__THE_R_0062_0031__INJUSTICE,R_0062_0037__FLAT__HYPHEN__RATE,R_0062_0041__THE_R_0062_0042__RATE,Z_0062_5025,R_0062_0040__TREBLE,R_0062_0036__A_R_0062_0038__TAX,R_0062_0034__WEIGHT,R_0062_0032__TREBLED,R_0062_0029__AND,R_0062_0053__THIS_R_0062_0054__TIME,R_0062_0055__AN_R_0062_0056__ADULT,R_0062_0062__FIFTEEN,R_0062_0060__ANYONE,Z_0062_5040___STAR_,R_0062_0057__WAS_R_0062_0058__RE__HYPHEN__DEFINED,R_0062_0052__BUT,R_0062_0023__BUT] :
      ( r_0062_0002__manifest(R_0062_0002__MANIFEST)
      & r_0062_0005__this_r_0062_0006__method(R_0062_0005__THIS_R_0062_0006__METHOD)
      & r_0062_0011__certain(R_0062_0011__CERTAIN)
      & r_0062_0016__sliding(R_0062_0016__SLIDING)
      & r_0062_0019__the_r_0062_0020__second_r_0062_0021__poll__hyphen__tax(R_0062_0019__THE_R_0062_0020__SECOND_R_0062_0021__POLL__HYPHEN__TAX)
      & r_0062_0024__this_r_0062_0025__lesson(R_0062_0024__THIS_R_0062_0025__LESSON)
      & r_0062_0030__the_r_0062_0031__injustice(R_0062_0030__THE_R_0062_0031__INJUSTICE)
      & r_0062_0037__flat__hyphen__rate(R_0062_0037__FLAT__HYPHEN__RATE)
      & r_0062_0041__the_r_0062_0042__rate(R_0062_0041__THE_R_0062_0042__RATE)
      & r_0062_0053__this_r_0062_0054__time(R_0062_0053__THIS_R_0062_0054__TIME)
      & r_0062_0055__an_r_0062_0056__adult(R_0062_0055__AN_R_0062_0056__ADULT)
      & r_0062_0062__fifteen(R_0062_0062__FIFTEEN)
      & z_0062_5016___star_(Z_0062_5016___STAR_)
      & z_0062_5025(Z_0062_5025)
      & z_0062_5040___star_(Z_0062_5040___STAR_)
      & r_0062_0023__but(R_0062_0023__BUT)
      & has_conj3(R_0062_0023__BUT,R_0062_0052__BUT)
      & r_0062_0052__but(R_0062_0052__BUT)
      & has_conj2(R_0062_0052__BUT,R_0062_0057__WAS_R_0062_0058__RE__HYPHEN__DEFINED)
      & r_0062_0057__was_r_0062_0058__re__hyphen__defined(R_0062_0057__WAS_R_0062_0058__RE__HYPHEN__DEFINED)
      & has_arg0(R_0062_0057__WAS_R_0062_0058__RE__HYPHEN__DEFINED,Z_0062_5040___STAR_)
      & has_r_0062_0059__as__prd(R_0062_0057__WAS_R_0062_0058__RE__HYPHEN__DEFINED,R_0062_0060__ANYONE)
      & r_0062_0060__anyone(R_0062_0060__ANYONE)
      & has_r_0062_0061__over(R_0062_0060__ANYONE,R_0062_0062__FIFTEEN)
      & has_arg1(R_0062_0057__WAS_R_0062_0058__RE__HYPHEN__DEFINED,R_0062_0055__AN_R_0062_0056__ADULT)
      & has_nim(R_0062_0057__WAS_R_0062_0058__RE__HYPHEN__DEFINED,R_0062_0053__THIS_R_0062_0054__TIME)
      & ! [R_0062_0045__ADULT] :
          ( r_0062_0045__adult(R_0062_0045__ADULT)
         => ? [R_0062_0049__THREE_R_0062_0050__GROATS,R_0062_0046__HAD_R_0062_0048__PAY] :
              ( r_0062_0049__three_r_0062_0050__groats(R_0062_0049__THREE_R_0062_0050__GROATS)
              & r_0062_0046__had_r_0062_0048__pay(R_0062_0046__HAD_R_0062_0048__PAY)
              & has_arg1(R_0062_0046__HAD_R_0062_0048__PAY,R_0062_0049__THREE_R_0062_0050__GROATS)
              & has_arg0(R_0062_0046__HAD_R_0062_0048__PAY,R_0062_0045__ADULT) ) )
      & has_conj2(R_0062_0023__BUT,R_0062_0029__AND)
      & r_0062_0029__and(R_0062_0029__AND)
      & has_conj2(R_0062_0029__AND,R_0062_0032__TREBLED)
      & r_0062_0032__trebled(R_0062_0032__TREBLED)
      & has_r_0062_0033__in__nim(R_0062_0032__TREBLED,R_0062_0034__WEIGHT)
      & r_0062_0034__weight(R_0062_0034__WEIGHT)
      & has_r_0062_0035__by(R_0062_0034__WEIGHT,R_0062_0036__A_R_0062_0038__TAX)
      & r_0062_0036__a_r_0062_0038__tax(R_0062_0036__A_R_0062_0038__TAX)
      & has_r_0062_0039__at(R_0062_0036__A_R_0062_0038__TAX,R_0062_0040__TREBLE)
      & r_0062_0040__treble(R_0062_0040__TREBLE)
      & has_arg0(R_0062_0040__TREBLE,Z_0062_5025)
      & has_arg1(R_0062_0040__TREBLE,R_0062_0041__THE_R_0062_0042__RATE)
      & has_attrib(R_0062_0036__A_R_0062_0038__TAX,R_0062_0037__FLAT__HYPHEN__RATE)
      & has_arg0(R_0062_0032__TREBLED,R_0062_0030__THE_R_0062_0031__INJUSTICE)
      & has_conj1(R_0062_0029__AND,R_0062_0026__WAS_R_0062_0027__IGNORED)
      & r_0062_0026__was_r_0062_0027__ignored(R_0062_0026__WAS_R_0062_0027__IGNORED)
      & has_arg0(R_0062_0026__WAS_R_0062_0027__IGNORED,Z_0062_5016___STAR_)
      & has_arg1(R_0062_0026__WAS_R_0062_0027__IGNORED,R_0062_0024__THIS_R_0062_0025__LESSON)
      & has_conj1(R_0062_0023__BUT,R_0062_0007__HAD_R_0062_0008__BEEN_R_0062_0013__CORRECTED)
      & r_0062_0007__had_r_0062_0008__been_r_0062_0013__corrected(R_0062_0007__HAD_R_0062_0008__BEEN_R_0062_0013__CORRECTED)
      & has_r_0062_0014__by_arg0(R_0062_0007__HAD_R_0062_0008__BEEN_R_0062_0013__CORRECTED,R_0062_0015__THE_R_0062_0017__SCALE)
      & r_0062_0015__the_r_0062_0017__scale(R_0062_0015__THE_R_0062_0017__SCALE)
      & has_inv_arg0(R_0062_0015__THE_R_0062_0017__SCALE,R_0062_0016__SLIDING)
      & has_r_0062_0018__of(R_0062_0015__THE_R_0062_0017__SCALE,R_0062_0019__THE_R_0062_0020__SECOND_R_0062_0021__POLL__HYPHEN__TAX)
      & has_r_0062_0009__to__nim(R_0062_0007__HAD_R_0062_0008__BEEN_R_0062_0013__CORRECTED,R_0062_0010__A_R_0062_0012__DEGREE)
      & r_0062_0010__a_r_0062_0012__degree(R_0062_0010__A_R_0062_0012__DEGREE)
      & has_attrib(R_0062_0010__A_R_0062_0012__DEGREE,R_0062_0011__CERTAIN)
      & has_arg1(R_0062_0007__HAD_R_0062_0008__BEEN_R_0062_0013__CORRECTED,R_0062_0001__THE_R_0062_0003__INJUSTICE)
      & r_0062_0001__The_r_0062_0003__injustice(R_0062_0001__THE_R_0062_0003__INJUSTICE)
      & has_r_0062_0004__of(R_0062_0001__THE_R_0062_0003__INJUSTICE,R_0062_0005__THIS_R_0062_0006__METHOD)
      & has_attrib(R_0062_0001__THE_R_0062_0003__INJUSTICE,R_0062_0002__MANIFEST) ) ).