TSPC 63_a_lob

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

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

arc(r_0063_0001__Trebling,r_0063_0002__the_r_0063_0003__rate,arg1).
arc(r_0063_0001__Trebling,z_0063_5003,arg0).
arc(r_0063_0004__was,r_0063_0005__arrived_r_0063_0006__at,scope).
arc(r_0063_0005__arrived_r_0063_0006__at,r_0063_0001__Trebling,arg1).
arc(r_0063_0005__arrived_r_0063_0006__at,r_0063_0008__a_r_0063_0010__arithmetic,r_0063_0007__by_arg0).
arc(r_0063_0008__a_r_0063_0010__arithmetic,r_0063_0009__simple,attrib).
arc(r_0063_0012__argued,r_0063_0008__a_r_0063_0010__arithmetic,arg0).
arc(r_0063_0012__argued,r_0063_0015__as,arg1).
arc(r_0063_0015__as,r_0063_0019__had,restriction).
arc(r_0063_0015__as,r_0063_0030__would,scope).
arc(r_0063_0019__had,r_0063_0020__supplied,scope).
arc(r_0063_0020__supplied,r_0063_0016__the_r_0063_0017__first_r_0063_0018__poll__hyphen__tax,arg0).
arc(r_0063_0020__supplied,r_0063_0021___pound_22_comma_000,arg1).
arc(r_0063_0023__a_r_0063_0024__tax,r_0063_0026__three_r_0063_0027__times_r_0063_0028__the_r_0063_0029__rate,r_0063_0025__of).
arc(r_0063_0030__would,r_0063_0031__produce,scope).
arc(r_0063_0031__produce,r_0063_0023__a_r_0063_0024__tax,arg0).
arc(r_0063_0031__produce,r_0063_0032___pound_66_comma_000,arg1).

fof(formula,axiom,
    ? [R_0063_0002__THE_R_0063_0003__RATE,Z_0063_5003,R_0063_0001__TREBLING,R_0063_0009__SIMPLE,R_0063_0008__A_R_0063_0010__ARITHMETIC,R_0063_0004__WAS_R_0063_0005__ARRIVED_R_0063_0006__AT,R_0063_0016__THE_R_0063_0017__FIRST_R_0063_0018__POLL__HYPHEN__TAX,R_0063_0021___POUND_22_COMMA_000,R_0063_0019__HAD_R_0063_0020__SUPPLIED,R_0063_0026__THREE_R_0063_0027__TIMES_R_0063_0028__THE_R_0063_0029__RATE,R_0063_0023__A_R_0063_0024__TAX,R_0063_0032___POUND_66_COMMA_000,R_0063_0030__WOULD_R_0063_0031__PRODUCE,R_0063_0015__AS,R_0063_0012__ARGUED] :
      ( r_0063_0002__the_r_0063_0003__rate(R_0063_0002__THE_R_0063_0003__RATE)
      & r_0063_0009__simple(R_0063_0009__SIMPLE)
      & r_0063_0016__the_r_0063_0017__first_r_0063_0018__poll__hyphen__tax(R_0063_0016__THE_R_0063_0017__FIRST_R_0063_0018__POLL__HYPHEN__TAX)
      & r_0063_0021___pound_22_comma_000(R_0063_0021___POUND_22_COMMA_000)
      & r_0063_0026__three_r_0063_0027__times_r_0063_0028__the_r_0063_0029__rate(R_0063_0026__THREE_R_0063_0027__TIMES_R_0063_0028__THE_R_0063_0029__RATE)
      & r_0063_0032___pound_66_comma_000(R_0063_0032___POUND_66_COMMA_000)
      & z_0063_5003(Z_0063_5003)
      & r_0063_0012__argued(R_0063_0012__ARGUED)
      & has_arg1(R_0063_0012__ARGUED,R_0063_0015__AS)
      & r_0063_0015__as(R_0063_0015__AS)
      & has_conj2(R_0063_0015__AS,R_0063_0030__WOULD_R_0063_0031__PRODUCE)
      & r_0063_0030__would_r_0063_0031__produce(R_0063_0030__WOULD_R_0063_0031__PRODUCE)
      & has_arg1(R_0063_0030__WOULD_R_0063_0031__PRODUCE,R_0063_0032___POUND_66_COMMA_000)
      & has_arg0(R_0063_0030__WOULD_R_0063_0031__PRODUCE,R_0063_0023__A_R_0063_0024__TAX)
      & r_0063_0023__a_r_0063_0024__tax(R_0063_0023__A_R_0063_0024__TAX)
      & has_r_0063_0025__of(R_0063_0023__A_R_0063_0024__TAX,R_0063_0026__THREE_R_0063_0027__TIMES_R_0063_0028__THE_R_0063_0029__RATE)
      & has_conj1(R_0063_0015__AS,R_0063_0019__HAD_R_0063_0020__SUPPLIED)
      & r_0063_0019__had_r_0063_0020__supplied(R_0063_0019__HAD_R_0063_0020__SUPPLIED)
      & has_arg1(R_0063_0019__HAD_R_0063_0020__SUPPLIED,R_0063_0021___POUND_22_COMMA_000)
      & has_arg0(R_0063_0019__HAD_R_0063_0020__SUPPLIED,R_0063_0016__THE_R_0063_0017__FIRST_R_0063_0018__POLL__HYPHEN__TAX)
      & has_arg0(R_0063_0012__ARGUED,R_0063_0008__A_R_0063_0010__ARITHMETIC)
      & r_0063_0008__a_r_0063_0010__arithmetic(R_0063_0008__A_R_0063_0010__ARITHMETIC)
      & has_attrib(R_0063_0008__A_R_0063_0010__ARITHMETIC,R_0063_0009__SIMPLE)
      & r_0063_0004__was_r_0063_0005__arrived_r_0063_0006__at(R_0063_0004__WAS_R_0063_0005__ARRIVED_R_0063_0006__AT)
      & has_r_0063_0007__by_arg0(R_0063_0004__WAS_R_0063_0005__ARRIVED_R_0063_0006__AT,R_0063_0008__A_R_0063_0010__ARITHMETIC)
      & has_arg1(R_0063_0004__WAS_R_0063_0005__ARRIVED_R_0063_0006__AT,R_0063_0001__TREBLING)
      & r_0063_0001__Trebling(R_0063_0001__TREBLING)
      & has_arg0(R_0063_0001__TREBLING,Z_0063_5003)
      & has_arg1(R_0063_0001__TREBLING,R_0063_0002__THE_R_0063_0003__RATE) ) ).