TSPC 64_a_lob

64_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_0064_0001__The_r_0064_0003__injustice, r_0064_0002__manifest, attrib7).
arc(r_0064_0001__The_r_0064_0003__injustice, r_0064_0005__this_r_0064_0006__method, r_0064_0004__of).
arc(r_0064_0007__had, r_0064_0008__been, scope).
arc(r_0064_0008__been, r_0064_0013__corrected, scope).
arc(r_0064_0010__a_r_0064_0012__degree, r_0064_0011__certain, attrib32).
arc(r_0064_0013__corrected, r_0064_0001__The_r_0064_0003__injustice, arg1).
arc(r_0064_0013__corrected, r_0064_0010__a_r_0064_0012__degree, r_0064_0009__to_nim29).
arc(r_0064_0013__corrected, r_0064_0015__the_r_0064_0017__scale, arg0).
arc(r_0064_0015__the_r_0064_0017__scale, r_0064_0019__the_r_0064_0020__second_r_0064_0021__poll__hyphen__tax, r_0064_0018__of).
arc(r_0064_0016__sliding, r_0064_0015__the_r_0064_0017__scale, arg0).
arc(r_0064_0023__but, r_0064_0007__had, conj1).
arc(r_0064_0023__but, r_0064_0029__and, conj2).
arc(r_0064_0023__but, r_0064_0052__but, conj3).
arc(r_0064_0026__was, r_0064_0027__ignored, scope).
arc(r_0064_0027__ignored, r_0064_0024__this_r_0064_0025__lesson, arg1).
arc(r_0064_0027__ignored, z_000_64_a_lob_g01_76, arg0).
arc(r_0064_0029__and, r_0064_0026__was, conj1).
arc(r_0064_0029__and, r_0064_0032__trebled, conj2).
arc(r_0064_0032__trebled, r_0064_0030__the_r_0064_0031__injustice, arg0).
arc(r_0064_0032__trebled, r_0064_0034__weight, r_0064_0033__in_nim96).
arc(r_0064_0034__weight, r_0064_0036__a_r_0064_0038__tax, r_0064_0035__by).
arc(r_0064_0036__a_r_0064_0038__tax, r_0064_0037__flat__hyphen__rate, attrib105).
arc(r_0064_0036__a_r_0064_0038__tax, r_0064_0040__treble, r_0064_0039__at).
arc(r_0064_0040__treble, r_0064_0041__the_r_0064_0042__rate, arg1).
arc(r_0064_0040__treble, z_000_64_a_lob_g01_113, arg0).
arc(r_0064_0044__every_quant, r_0064_0045__adult, restriction).
arc(r_0064_0044__every_quant, r_0064_0046__had, scope).
arc(r_0064_0046__had, r_0064_0047__to_r_0064_0048__pay, scope).
arc(r_0064_0047__to_r_0064_0048__pay, r_0064_0045__adult, arg0).
arc(r_0064_0047__to_r_0064_0048__pay, r_0064_0049__three_r_0064_0050__groats, arg1).
arc(r_0064_0052__but, r_0064_0044__every_quant, conj1).
arc(r_0064_0052__but, r_0064_0057__was, conj2).
arc(r_0064_0057__was, r_0064_0053__this_r_0064_0054__time, nim150).
arc(r_0064_0057__was, r_0064_0058__re__hyphen__defined, scope).
arc(r_0064_0058__re__hyphen__defined, r_0064_0055__an_r_0064_0056__adult, arg1).
arc(r_0064_0058__re__hyphen__defined, r_0064_0060__anyone, prd).
arc(r_0064_0058__re__hyphen__defined, z_000_64_a_lob_g01_163, arg0).
arc(r_0064_0060__anyone, r_0064_0062__fifteen, r_0064_0061__over).

fof(formula,axiom,
    ? [R_64_16_SLIDING,R_64_23_BUT,R_64_7_HAD_BEEN_CORRECTED,R_64_15_THE_SCALE,R_64_19_THE_SECOND_POLL_HYPHEN_TAX,R_64_1_THE_INJUSTICE,R_64_2_MANIFEST,R_64_5_THIS_METHOD,R_64_10_A_DEGREE,R_64_11_CERTAIN,R_64_29_AND,R_64_26_WAS_IGNORED,Z_64_A_LOB_G01_76,R_64_24_THIS_LESSON,R_64_32_TREBLED,R_64_30_THE_INJUSTICE,R_64_34_WEIGHT,R_64_36_A_TAX,R_64_37_FLAT_HYPHEN_RATE,R_64_40_TREBLE,Z_64_A_LOB_G01_113,R_64_41_THE_RATE,R_64_52_BUT,R_64_57_WAS_RE_HYPHEN_DEFINED,Z_64_A_LOB_G01_163,R_64_55_AN_ADULT,R_64_53_THIS_TIME,R_64_60_ANYONE,R_64_62_FIFTEEN] :
      ( the_second_poll_hyphen_tax(R_64_19_THE_SECOND_POLL_HYPHEN_TAX)
      & manifest(R_64_2_MANIFEST)
      & this_method(R_64_5_THIS_METHOD)
      & certain(R_64_11_CERTAIN)
      & this_lesson(R_64_24_THIS_LESSON)
      & the_injustice(R_64_30_THE_INJUSTICE)
      & flat_hyphen_rate(R_64_37_FLAT_HYPHEN_RATE)
      & the_rate(R_64_41_THE_RATE)
      & an_adult(R_64_55_AN_ADULT)
      & this_time(R_64_53_THIS_TIME)
      & fifteen(R_64_62_FIFTEEN)
      & sliding(R_64_16_SLIDING,R_64_15_THE_SCALE)
      & the_scale(R_64_15_THE_SCALE)
      & of(R_64_15_THE_SCALE,R_64_19_THE_SECOND_POLL_HYPHEN_TAX)
      & but(R_64_23_BUT)
      & conj1(R_64_23_BUT,R_64_7_HAD_BEEN_CORRECTED)
      & had_been_corrected(R_64_7_HAD_BEEN_CORRECTED,R_64_15_THE_SCALE,R_64_1_THE_INJUSTICE)
      & the_injustice(R_64_1_THE_INJUSTICE)
      & attrib7(R_64_1_THE_INJUSTICE,R_64_2_MANIFEST)
      & of(R_64_1_THE_INJUSTICE,R_64_5_THIS_METHOD)
      & to_nim29(R_64_7_HAD_BEEN_CORRECTED,R_64_10_A_DEGREE)
      & a_degree(R_64_10_A_DEGREE)
      & attrib32(R_64_10_A_DEGREE,R_64_11_CERTAIN)
      & conj2(R_64_23_BUT,R_64_29_AND)
      & and(R_64_29_AND)
      & conj1(R_64_29_AND,R_64_26_WAS_IGNORED)
      & was_ignored(R_64_26_WAS_IGNORED,Z_64_A_LOB_G01_76,R_64_24_THIS_LESSON)
      & conj2(R_64_29_AND,R_64_32_TREBLED)
      & trebled(R_64_32_TREBLED,R_64_30_THE_INJUSTICE)
      & in_nim96(R_64_32_TREBLED,R_64_34_WEIGHT)
      & weight(R_64_34_WEIGHT)
      & by(R_64_34_WEIGHT,R_64_36_A_TAX)
      & a_tax(R_64_36_A_TAX)
      & attrib105(R_64_36_A_TAX,R_64_37_FLAT_HYPHEN_RATE)
      & at(R_64_36_A_TAX,R_64_40_TREBLE)
      & treble(R_64_40_TREBLE,Z_64_A_LOB_G01_113,R_64_41_THE_RATE)
      & conj3(R_64_23_BUT,R_64_52_BUT)
      & ! [R_64_45_ADULT] :
          ( adult(R_64_45_ADULT)
         => ? [R_64_46_HAD_TO_PAY,R_64_49_THREE_GROATS] :
              ( three_groats(R_64_49_THREE_GROATS)
              & had_to_pay(R_64_46_HAD_TO_PAY,R_64_45_ADULT,R_64_49_THREE_GROATS) ) )
      & conj1(CONJ1)
      & but(R_64_52_BUT)
      & conj2(R_64_52_BUT,R_64_57_WAS_RE_HYPHEN_DEFINED)
      & was_re_hyphen_defined(R_64_57_WAS_RE_HYPHEN_DEFINED,Z_64_A_LOB_G01_163,R_64_55_AN_ADULT,R_64_60_ANYONE)
      & anyone(R_64_60_ANYONE)
      & over(R_64_60_ANYONE,R_64_62_FIFTEEN)
      & nim150(R_64_57_WAS_RE_HYPHEN_DEFINED,R_64_53_THIS_TIME) ) ).

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