Context                Previous, Next                Top


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

%3 r_0065_0001__Trebling Trebling r_0065_0002__the_r_0065_0003__rate the rate r_0065_0001__Trebling->r_0065_0002__the_r_0065_0003__rate [arg1] z_000_65_a_lob_g01_2 r_0065_0001__Trebling->z_000_65_a_lob_g01_2 [arg0] r_0065_0004__was was r_0065_0005__arrived arrived r_0065_0004__was->r_0065_0005__arrived [scope] r_0065_0005__arrived->r_0065_0001__Trebling [arg1] r_0065_0008__a_r_0065_0010__arithmetic a arithmetic r_0065_0005__arrived->r_0065_0008__a_r_0065_0010__arithmetic [arg0] r_0065_0009__simple simple r_0065_0008__a_r_0065_0010__arithmetic->r_0065_0009__simple [attrib] r_0065_0012__argued argued r_0065_0012__argued->r_0065_0008__a_r_0065_0010__arithmetic [arg0] r_0065_0015__as as r_0065_0012__argued->r_0065_0015__as [arg1] r_0065_0013__that_r_0065_0030__would that would r_0065_0015__as->r_0065_0013__that_r_0065_0030__would [scope] r_0065_0019__had had r_0065_0015__as->r_0065_0019__had [restriction] r_0065_0031__produce produce r_0065_0013__that_r_0065_0030__would->r_0065_0031__produce [scope] r_0065_0023__a_r_0065_0024__tax a tax r_0065_0031__produce->r_0065_0023__a_r_0065_0024__tax [arg0] r_0065_0032___pound_66_comma_000 pound 66,000 r_0065_0031__produce->r_0065_0032___pound_66_comma_000 [arg1] r_0065_0020__supplied supplied r_0065_0019__had->r_0065_0020__supplied [scope] r_0065_0016__the_r_0065_0017__first_r_0065_0018__poll__hyphen__tax the first poll-tax r_0065_0020__supplied->r_0065_0016__the_r_0065_0017__first_r_0065_0018__poll__hyphen__tax [arg0] r_0065_0021___pound_22_comma_000 pound 22,000 r_0065_0020__supplied->r_0065_0021___pound_22_comma_000 [arg1] r_0065_0026__three_r_0065_0027__times_r_0065_0028__the_r_0065_0029__rate three times the rate r_0065_0023__a_r_0065_0024__tax->r_0065_0026__three_r_0065_0027__times_r_0065_0028__the_r_0065_0029__rate of 
arc(r_0065_0001__Trebling, r_0065_0002__the_r_0065_0003__rate, arg1).
arc(r_0065_0001__Trebling, z_000_65_a_lob_g01_2, arg0).
arc(r_0065_0004__was, r_0065_0005__arrived, scope).
arc(r_0065_0005__arrived, r_0065_0001__Trebling, arg1).
arc(r_0065_0005__arrived, r_0065_0008__a_r_0065_0010__arithmetic, arg0).
arc(r_0065_0008__a_r_0065_0010__arithmetic, r_0065_0009__simple, attrib24).
arc(r_0065_0012__argued, r_0065_0008__a_r_0065_0010__arithmetic, arg0).
arc(r_0065_0012__argued, r_0065_0015__as, arg1).
arc(r_0065_0013__that_r_0065_0030__would, r_0065_0031__produce, scope).
arc(r_0065_0015__as, r_0065_0013__that_r_0065_0030__would, scope).
arc(r_0065_0015__as, r_0065_0019__had, restriction).
arc(r_0065_0019__had, r_0065_0020__supplied, scope).
arc(r_0065_0020__supplied, r_0065_0016__the_r_0065_0017__first_r_0065_0018__poll__hyphen__tax, arg0).
arc(r_0065_0020__supplied, r_0065_0021___pound_22_comma_000, arg1).
arc(r_0065_0023__a_r_0065_0024__tax, r_0065_0026__three_r_0065_0027__times_r_0065_0028__the_r_0065_0029__rate, r_0065_0025__of).
arc(r_0065_0031__produce, r_0065_0023__a_r_0065_0024__tax, arg0).
arc(r_0065_0031__produce, r_0065_0032___pound_66_comma_000, arg1).


%3 r_0065_0001__Trebling Trebling r_0065_0002__the_r_0065_0003__rate the rate r_0065_0001__Trebling->r_0065_0002__the_r_0065_0003__rate [arg1] z_000_65_a_lob_g01_2 r_0065_0001__Trebling->z_000_65_a_lob_g01_2 [arg0] r_0065_0004__was_r_0065_0005__arrived was arrived r_0065_0004__was_r_0065_0005__arrived->r_0065_0001__Trebling [arg1] r_0065_0008__a_r_0065_0010__arithmetic a arithmetic r_0065_0004__was_r_0065_0005__arrived->r_0065_0008__a_r_0065_0010__arithmetic [arg0] r_0065_0009__simple simple r_0065_0008__a_r_0065_0010__arithmetic->r_0065_0009__simple [attrib] r_0065_0012__argued argued r_0065_0012__argued->r_0065_0008__a_r_0065_0010__arithmetic [arg0] r_0065_0015__as as r_0065_0012__argued->r_0065_0015__as [arg1] r_0065_0013__that_r_0065_0030__would_r_0065_0031__produce that would produce r_0065_0015__as->r_0065_0013__that_r_0065_0030__would_r_0065_0031__produce [conj2] r_0065_0019__had_r_0065_0020__supplied had supplied r_0065_0015__as->r_0065_0019__had_r_0065_0020__supplied [conj1] r_0065_0023__a_r_0065_0024__tax a tax r_0065_0013__that_r_0065_0030__would_r_0065_0031__produce->r_0065_0023__a_r_0065_0024__tax [arg0] r_0065_0032___pound_66_comma_000 pound 66,000 r_0065_0013__that_r_0065_0030__would_r_0065_0031__produce->r_0065_0032___pound_66_comma_000 [arg1] r_0065_0026__three_r_0065_0027__times_r_0065_0028__the_r_0065_0029__rate three times the rate r_0065_0023__a_r_0065_0024__tax->r_0065_0026__three_r_0065_0027__times_r_0065_0028__the_r_0065_0029__rate of r_0065_0016__the_r_0065_0017__first_r_0065_0018__poll__hyphen__tax the first poll-tax r_0065_0019__had_r_0065_0020__supplied->r_0065_0016__the_r_0065_0017__first_r_0065_0018__poll__hyphen__tax [arg0] r_0065_0021___pound_22_comma_000 pound 22,000 r_0065_0019__had_r_0065_0020__supplied->r_0065_0021___pound_22_comma_000 [arg1] 
fof(formula,axiom,
    ? [R_65_4_WAS_ARRIVED,R_65_1_TREBLING,Z_65_A_LOB_G01_2,R_65_2_THE_RATE,R_65_12_ARGUED,R_65_8_A_ARITHMETIC,R_65_9_SIMPLE,R_65_15_AS,R_65_19_HAD_SUPPLIED,R_65_16_THE_FIRST_POLL_HYPHEN_TAX,R_65_21__POUND_22_COMMA_,R_65_13_THAT_WOULD_PRODUCE,R_65_23_A_TAX,R_65_26_THREE_TIMES_THE_RATE,R_65_32__POUND_66_COMMA_] :
      ( the_rate(R_65_2_THE_RATE)
      & simple(R_65_9_SIMPLE)
      & the_first_poll_hyphen_tax(R_65_16_THE_FIRST_POLL_HYPHEN_TAX)
      & _pound_22_comma_(R_65_21__POUND_22_COMMA_)
      & three_times_the_rate(R_65_26_THREE_TIMES_THE_RATE)
      & _pound_66_comma_(R_65_32__POUND_66_COMMA_)
      & was_arrived(R_65_4_WAS_ARRIVED,R_65_8_A_ARITHMETIC,R_65_1_TREBLING)
      & a_arithmetic(R_65_8_A_ARITHMETIC)
      & attrib24(R_65_8_A_ARITHMETIC,R_65_9_SIMPLE)
      & trebling(R_65_1_TREBLING,Z_65_A_LOB_G01_2,R_65_2_THE_RATE)
      & argued(R_65_12_ARGUED,R_65_8_A_ARITHMETIC,R_65_15_AS)
      & as(R_65_15_AS)
      & conj1(R_65_15_AS,R_65_19_HAD_SUPPLIED)
      & had_supplied(R_65_19_HAD_SUPPLIED,R_65_16_THE_FIRST_POLL_HYPHEN_TAX,R_65_21__POUND_22_COMMA_)
      & conj2(R_65_15_AS,R_65_13_THAT_WOULD_PRODUCE)
      & that_would_produce(R_65_13_THAT_WOULD_PRODUCE,R_65_23_A_TAX,R_65_32__POUND_66_COMMA_)
      & a_tax(R_65_23_A_TAX)
      & of(R_65_23_A_TAX,R_65_26_THREE_TIMES_THE_RATE) ) ).


n65_a_lob_g01 n65_a_lob_g01_4 Trebling n65_a_lob_g01_7 the n65_a_lob_g01_9 rate n65_a_lob_g01_11 was n65_a_lob_g01_14 arrived n65_a_lob_g01_17 at n65_a_lob_g01_20 by n65_a_lob_g01_23 a n65_a_lob_g01_26 simple n65_a_lob_g01_28 arithmetic n65_a_lob_g01_32 which n65_a_lob_g01_34 argued n65_a_lob_g01_38 that n65_a_lob_g01_40 , n65_a_lob_g01_43 as n65_a_lob_g01_47 the n65_a_lob_g01_49 first n65_a_lob_g01_51 poll-tax n65_a_lob_g01_53 had n65_a_lob_g01_56 supplied n65_a_lob_g01_59 <pound>22,000 n65_a_lob_g01_61 , n65_a_lob_g01_64 a n65_a_lob_g01_66 tax n65_a_lob_g01_69 of n65_a_lob_g01_72 three n65_a_lob_g01_74 times n65_a_lob_g01_76 the n65_a_lob_g01_78 rate n65_a_lob_g01_80 would n65_a_lob_g01_83 produce n65_a_lob_g01_86 <pound>66,000 n65_a_lob_g01_88 . n65_a_lob_g01_1 IP-MAT n65_a_lob_g01_2 IP-PPL-SBJ n65_a_lob_g01_1->n65_a_lob_g01_2 n65_a_lob_g01_10 BED;_cat_VePASS_ n65_a_lob_g01_1->n65_a_lob_g01_10 n65_a_lob_g01_12 IP-PPL-CAT n65_a_lob_g01_1->n65_a_lob_g01_12 n65_a_lob_g01_87 PUNC n65_a_lob_g01_1->n65_a_lob_g01_87 n65_a_lob_g01_3 VAG;__ n65_a_lob_g01_2->n65_a_lob_g01_3 n65_a_lob_g01_5 NP-OB1 n65_a_lob_g01_2->n65_a_lob_g01_5 n65_a_lob_g01_3->n65_a_lob_g01_4 n65_a_lob_g01_6 D n65_a_lob_g01_5->n65_a_lob_g01_6 n65_a_lob_g01_8 N n65_a_lob_g01_5->n65_a_lob_g01_8 n65_a_lob_g01_6->n65_a_lob_g01_7 n65_a_lob_g01_8->n65_a_lob_g01_9 n65_a_lob_g01_10->n65_a_lob_g01_11 n65_a_lob_g01_13 VVN;__ n65_a_lob_g01_12->n65_a_lob_g01_13 n65_a_lob_g01_15 PP-CLR n65_a_lob_g01_12->n65_a_lob_g01_15 n65_a_lob_g01_18 PP-LGS n65_a_lob_g01_12->n65_a_lob_g01_18 n65_a_lob_g01_13->n65_a_lob_g01_14 n65_a_lob_g01_16 P-ROLE n65_a_lob_g01_15->n65_a_lob_g01_16 n65_a_lob_g01_16->n65_a_lob_g01_17 n65_a_lob_g01_19 P-ROLE;_lgs_ n65_a_lob_g01_18->n65_a_lob_g01_19 n65_a_lob_g01_21 NP n65_a_lob_g01_18->n65_a_lob_g01_21 n65_a_lob_g01_19->n65_a_lob_g01_20 n65_a_lob_g01_22 D n65_a_lob_g01_21->n65_a_lob_g01_22 n65_a_lob_g01_24 ADJP n65_a_lob_g01_21->n65_a_lob_g01_24 n65_a_lob_g01_27 N n65_a_lob_g01_21->n65_a_lob_g01_27 n65_a_lob_g01_29 IP-REL n65_a_lob_g01_21->n65_a_lob_g01_29 n65_a_lob_g01_22->n65_a_lob_g01_23 n65_a_lob_g01_25 ADJ n65_a_lob_g01_24->n65_a_lob_g01_25 n65_a_lob_g01_25->n65_a_lob_g01_26 n65_a_lob_g01_27->n65_a_lob_g01_28 n65_a_lob_g01_30 NP-SBJ n65_a_lob_g01_29->n65_a_lob_g01_30 n65_a_lob_g01_33 VBD;__ n65_a_lob_g01_29->n65_a_lob_g01_33 n65_a_lob_g01_35 CP-THT-OB1 n65_a_lob_g01_29->n65_a_lob_g01_35 n65_a_lob_g01_31 RPRO n65_a_lob_g01_30->n65_a_lob_g01_31 n65_a_lob_g01_31->n65_a_lob_g01_32 n65_a_lob_g01_33->n65_a_lob_g01_34 n65_a_lob_g01_36 IP-SUB n65_a_lob_g01_35->n65_a_lob_g01_36 n65_a_lob_g01_37 C n65_a_lob_g01_36->n65_a_lob_g01_37 n65_a_lob_g01_39 PUNC n65_a_lob_g01_36->n65_a_lob_g01_39 n65_a_lob_g01_41 PP-SCON n65_a_lob_g01_36->n65_a_lob_g01_41 n65_a_lob_g01_60 PUNC n65_a_lob_g01_36->n65_a_lob_g01_60 n65_a_lob_g01_62 NP-SBJ n65_a_lob_g01_36->n65_a_lob_g01_62 n65_a_lob_g01_79 MD;_cat_Vi_ n65_a_lob_g01_36->n65_a_lob_g01_79 n65_a_lob_g01_81 IP-INF-CAT n65_a_lob_g01_36->n65_a_lob_g01_81 n65_a_lob_g01_37->n65_a_lob_g01_38 n65_a_lob_g01_39->n65_a_lob_g01_40 n65_a_lob_g01_42 P-CONN n65_a_lob_g01_41->n65_a_lob_g01_42 n65_a_lob_g01_44 IP-ADV n65_a_lob_g01_41->n65_a_lob_g01_44 n65_a_lob_g01_42->n65_a_lob_g01_43 n65_a_lob_g01_45 NP-SBJ n65_a_lob_g01_44->n65_a_lob_g01_45 n65_a_lob_g01_52 HVD;_cat_Ve_ n65_a_lob_g01_44->n65_a_lob_g01_52 n65_a_lob_g01_54 IP-PPL-CAT n65_a_lob_g01_44->n65_a_lob_g01_54 n65_a_lob_g01_46 D n65_a_lob_g01_45->n65_a_lob_g01_46 n65_a_lob_g01_48 NUM n65_a_lob_g01_45->n65_a_lob_g01_48 n65_a_lob_g01_50 N n65_a_lob_g01_45->n65_a_lob_g01_50 n65_a_lob_g01_46->n65_a_lob_g01_47 n65_a_lob_g01_48->n65_a_lob_g01_49 n65_a_lob_g01_50->n65_a_lob_g01_51 n65_a_lob_g01_52->n65_a_lob_g01_53 n65_a_lob_g01_55 VVN;__ n65_a_lob_g01_54->n65_a_lob_g01_55 n65_a_lob_g01_57 NP-OB1 n65_a_lob_g01_54->n65_a_lob_g01_57 n65_a_lob_g01_55->n65_a_lob_g01_56 n65_a_lob_g01_58 NUM n65_a_lob_g01_57->n65_a_lob_g01_58 n65_a_lob_g01_58->n65_a_lob_g01_59 n65_a_lob_g01_60->n65_a_lob_g01_61 n65_a_lob_g01_63 D n65_a_lob_g01_62->n65_a_lob_g01_63 n65_a_lob_g01_65 N n65_a_lob_g01_62->n65_a_lob_g01_65 n65_a_lob_g01_67 PP n65_a_lob_g01_62->n65_a_lob_g01_67 n65_a_lob_g01_63->n65_a_lob_g01_64 n65_a_lob_g01_65->n65_a_lob_g01_66 n65_a_lob_g01_68 P-ROLE n65_a_lob_g01_67->n65_a_lob_g01_68 n65_a_lob_g01_70 NP n65_a_lob_g01_67->n65_a_lob_g01_70 n65_a_lob_g01_68->n65_a_lob_g01_69 n65_a_lob_g01_71 NUM n65_a_lob_g01_70->n65_a_lob_g01_71 n65_a_lob_g01_73 NS n65_a_lob_g01_70->n65_a_lob_g01_73 n65_a_lob_g01_75 D n65_a_lob_g01_70->n65_a_lob_g01_75 n65_a_lob_g01_77 N n65_a_lob_g01_70->n65_a_lob_g01_77 n65_a_lob_g01_71->n65_a_lob_g01_72 n65_a_lob_g01_73->n65_a_lob_g01_74 n65_a_lob_g01_75->n65_a_lob_g01_76 n65_a_lob_g01_77->n65_a_lob_g01_78 n65_a_lob_g01_79->n65_a_lob_g01_80 n65_a_lob_g01_82 VB;__ n65_a_lob_g01_81->n65_a_lob_g01_82 n65_a_lob_g01_84 NP-OB1 n65_a_lob_g01_81->n65_a_lob_g01_84 n65_a_lob_g01_82->n65_a_lob_g01_83 n65_a_lob_g01_85 NUM n65_a_lob_g01_84->n65_a_lob_g01_85 n65_a_lob_g01_85->n65_a_lob_g01_86 n65_a_lob_g01_87->n65_a_lob_g01_88 
( (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 65_a_lob_g01))