TSPC 64_a_lob

64_a_lob_g01
Trebling the rate was arrived at by a simple arithmetic which argued that, as the first poll-tax had supplied <pound>22,000, a tax of three times the rate would produce <pound>66,000.

arc(r_0064_0001__Trebling, r_0064_0002__the_r_0064_0003__rate, arg1).
arc(r_0064_0001__Trebling, z_000_64_a_lob_g01_2, arg0).
arc(r_0064_0004__was, r_0064_0005__arrived, scope).
arc(r_0064_0005__arrived, r_0064_0001__Trebling, arg1).
arc(r_0064_0005__arrived, r_0064_0008__a_r_0064_0010__arithmetic, arg0).
arc(r_0064_0008__a_r_0064_0010__arithmetic, r_0064_0009__simple, attrib24).
arc(r_0064_0012__argued, r_0064_0008__a_r_0064_0010__arithmetic, arg0).
arc(r_0064_0012__argued, r_0064_0015__as, arg1).
arc(r_0064_0013__that_r_0064_0030__would, r_0064_0031__produce, scope).
arc(r_0064_0015__as, r_0064_0013__that_r_0064_0030__would, scope).
arc(r_0064_0015__as, r_0064_0019__had, restriction).
arc(r_0064_0019__had, r_0064_0020__supplied, scope).
arc(r_0064_0020__supplied, r_0064_0016__the_r_0064_0017__first_r_0064_0018__poll__hyphen__tax, arg0).
arc(r_0064_0020__supplied, r_0064_0021___pound_22_comma_000, arg1).
arc(r_0064_0023__a_r_0064_0024__tax, r_0064_0026__three_r_0064_0027__times_r_0064_0028__the_r_0064_0029__rate, r_0064_0025__of).
arc(r_0064_0031__produce, r_0064_0023__a_r_0064_0024__tax, arg0).
arc(r_0064_0031__produce, r_0064_0032___pound_66_comma_000, arg1).

fof(formula,axiom,
    ? [R_0064_0002__THE_R_0064_0003__RATE,Z_000_64_A_LOB_G01_2,R_0064_0001__TREBLING,R_0064_0009__SIMPLE,R_0064_0008__A_R_0064_0010__ARITHMETIC,R_0064_0004__WAS_R_0064_0005__ARRIVED,R_0064_0026__THREE_R_0064_0027__TIMES_R_0064_0028__THE_R_0064_0029__RATE,R_0064_0023__A_R_0064_0024__TAX,R_0064_0032___POUND_66_COMMA_000,R_0064_0013__THAT_R_0064_0030__WOULD_R_0064_0031__PRODUCE,R_0064_0016__THE_R_0064_0017__FIRST_R_0064_0018__POLL__HYPHEN__TAX,R_0064_0021___POUND_22_COMMA_000,R_0064_0019__HAD_R_0064_0020__SUPPLIED,R_0064_0015__AS,R_0064_0012__ARGUED] :
      ( r_0064_0002__the_r_0064_0003__rate(R_0064_0002__THE_R_0064_0003__RATE)
      & r_0064_0009__simple(R_0064_0009__SIMPLE)
      & r_0064_0016__the_r_0064_0017__first_r_0064_0018__poll__hyphen__tax(R_0064_0016__THE_R_0064_0017__FIRST_R_0064_0018__POLL__HYPHEN__TAX)
      & r_0064_0021___pound_22_comma_000(R_0064_0021___POUND_22_COMMA_000)
      & r_0064_0026__three_r_0064_0027__times_r_0064_0028__the_r_0064_0029__rate(R_0064_0026__THREE_R_0064_0027__TIMES_R_0064_0028__THE_R_0064_0029__RATE)
      & r_0064_0032___pound_66_comma_000(R_0064_0032___POUND_66_COMMA_000)
      & z_000_64_a_lob_g01_2(Z_000_64_A_LOB_G01_2)
      & r_0064_0012__argued(R_0064_0012__ARGUED)
      & has_arg1(R_0064_0012__ARGUED,R_0064_0015__AS)
      & r_0064_0015__as(R_0064_0015__AS)
      & has_conj1(R_0064_0015__AS,R_0064_0019__HAD_R_0064_0020__SUPPLIED)
      & r_0064_0019__had_r_0064_0020__supplied(R_0064_0019__HAD_R_0064_0020__SUPPLIED)
      & has_arg1(R_0064_0019__HAD_R_0064_0020__SUPPLIED,R_0064_0021___POUND_22_COMMA_000)
      & has_arg0(R_0064_0019__HAD_R_0064_0020__SUPPLIED,R_0064_0016__THE_R_0064_0017__FIRST_R_0064_0018__POLL__HYPHEN__TAX)
      & has_conj2(R_0064_0015__AS,R_0064_0013__THAT_R_0064_0030__WOULD_R_0064_0031__PRODUCE)
      & r_0064_0013__that_r_0064_0030__would_r_0064_0031__produce(R_0064_0013__THAT_R_0064_0030__WOULD_R_0064_0031__PRODUCE)
      & has_arg1(R_0064_0013__THAT_R_0064_0030__WOULD_R_0064_0031__PRODUCE,R_0064_0032___POUND_66_COMMA_000)
      & has_arg0(R_0064_0013__THAT_R_0064_0030__WOULD_R_0064_0031__PRODUCE,R_0064_0023__A_R_0064_0024__TAX)
      & r_0064_0023__a_r_0064_0024__tax(R_0064_0023__A_R_0064_0024__TAX)
      & has_r_0064_0025__of(R_0064_0023__A_R_0064_0024__TAX,R_0064_0026__THREE_R_0064_0027__TIMES_R_0064_0028__THE_R_0064_0029__RATE)
      & has_arg0(R_0064_0012__ARGUED,R_0064_0008__A_R_0064_0010__ARITHMETIC)
      & r_0064_0008__a_r_0064_0010__arithmetic(R_0064_0008__A_R_0064_0010__ARITHMETIC)
      & has_attrib24(R_0064_0008__A_R_0064_0010__ARITHMETIC,R_0064_0009__SIMPLE)
      & r_0064_0004__was_r_0064_0005__arrived(R_0064_0004__WAS_R_0064_0005__ARRIVED)
      & has_arg0(R_0064_0004__WAS_R_0064_0005__ARRIVED,R_0064_0008__A_R_0064_0010__ARITHMETIC)
      & has_arg1(R_0064_0004__WAS_R_0064_0005__ARRIVED,R_0064_0001__TREBLING)
      & r_0064_0001__Trebling(R_0064_0001__TREBLING)
      & has_arg0(R_0064_0001__TREBLING,Z_000_64_A_LOB_G01_2)
      & has_arg1(R_0064_0001__TREBLING,R_0064_0002__THE_R_0064_0003__RATE) ) ).

( (IP-MAT (IP-PPL-SBJ (VAG;__ Trebling;{treble})
                      (NP-OB1 (D the;{the})
                              (N rate;{rate})))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (VVN;__ arrived;{arrive})
                      (PP-CLR (P-ROLE at;{at}))
                      (PP-LGS (P-ROLE;_lgs_ by;{by})
                              (NP (D a;{a})
                                  (ADJP (ADJ simple;{simple}))
                                  (N arithmetic;{arithmetic})
                                  (IP-REL (NP-SBJ (RPRO which;{which}))
                                          (VBD;__ argued;{argue})
                                          (CP-THT-OB1 (IP-SUB (C that;{that})
                                                              (PUNC ,)
                                                              (PP-SCON (P-CONN as;{as})
                                                                       (IP-ADV (NP-SBJ (D the;{the})
                                                                                       (NUM first;{first})
                                                                                       (N poll_<hyphen>_tax;{poll_tax}))
                                                                               (HVD;_cat_Ve_ had;{have})
                                                                               (IP-PPL-CAT (VVN;__ supplied;{supply})
                                                                                           (NP-OB1 (NUM <pound>22,000)))))
                                                              (PUNC ,)
                                                              (NP-SBJ (D a;{a})
                                                                      (N tax;{tax})
                                                                      (PP (P-ROLE of;{of})
                                                                          (NP (NUM three;{three})
                                                                              (NS times;{time})
                                                                              (D the;{the})
                                                                              (N rate;{rate}))))
                                                              (MD;_cat_Vi_ would;{will})
                                                              (IP-INF-CAT (VB;__ produce;{produce})
                                                                          (NP-OB1 (NUM <pound>66,000)))))))))
          (PUNC .))
  (ID 64_a_lob_g01))