TSPC 64_a_lob

64_a_lob_g01
The only concession made in view of the objections to the first two poll-taxes was the suggestion that the rich should help the poor — but this was only a pious hope because no machinery was provided for carrying it into effect, and a subordinate clause went far to nullify what small effects it had — no man and wife together were to pay more than twenty shillings, a restriction which applied to the generous rich as well as to the mean.

( (IP-MAT (ILYR (ILYR (NP-SBJ (D The;{the})
                              (ADJP (ADJ only;{only}))
                              (N concession;{concession})
                              (IP-PPL (VVN;__ made;{make})
                                      (PP-NIM (P-ROLE in;{in})
                                              (NP (N view;{view})
                                                  (PP (P-ROLE of;{of})
                                                      (NP (D the;{the})
                                                          (NS objections;{objection})
                                                          (PP (P-ROLE to;{to})
                                                              (NP (D the;{the})
                                                                  (NUM first;{first})
                                                                  (NUM two;{two})
                                                                  (NS poll_<hyphen>_taxes;{poll_taxes})))))))))
                      (BED;_Ln_ was;{be})
                      (NP-PRD (D the;{the})
                              (N suggestion;{suggestion})
                              (CP-THT (IP-SUB (C that;{that})
                                              (NP-SBJ (D the;{the})
                                                      (ADJP (ADJ rich;{rich})))
                                              (MD;_cat_Vi_ should;{shall})
                                              (IP-INF-CAT (VB;__ help;{help})
                                                          (NP-OB1 (D the;{the})
                                                                  (ADJP (ADJ poor;{poor}))))))))
                (PUNC <mdash>)
                (CONJP (CONJ but;{but})
                       (ILYR (NP-SBJ (D;_nphd_ this;{this}))
                             (BED;_Ln_ was;{be})
                             (ADVP-NIM (ADV only;{only}))
                             (NP-PRD (D a;{a})
                                     (ADJP (ADJ pious;{pious}))
                                     (N hope;{hope}))
                             (PP-SCON (P-CONN because;{because})
                                      (IP-ADV (ILYR (ILYR (NP-SBJ (Q no;{no})
                                                                  (N machinery;{machinery}))
                                                          (BED;_cat_VePASS_ was;{be})
                                                          (IP-PPL-CAT (NP-LGS *)
                                                                      (VVN;__ provided;{provide})
                                                                      (PP-NIM (P-ROLE for;{for})
                                                                              (IP-PPL (VAG;__ carrying;{carry})
                                                                                      (NP-OB1 (PRO it;{it}))
                                                                                      (PP-NIM (P-ROLE into;{into})
                                                                                              (NP (N effect;{effect})))))))
                                                    (PUNC ,)
                                                    (CONJP (CONJ and;{and})
                                                           (ILYR (NP-SBJ (D a;{a})
                                                                         (ADJP (ADJ subordinate;{subordinate}))
                                                                         (N clause;{clause}))
                                                                 (VBD;__ went;{go})
                                                                 (ADVP-NIM (ADV far;{far}))
                                                                 (IP-INF-PRD (TO to;{to})
                                                                             (VB;__ nullify;{nullify})
                                                                             (NP-OB1 (IP-REL (NP-OB1 (RPRO what;{what})
                                                                                                     (ADJP (ADJ small;{small}))
                                                                                                     (NS effects;{effect}))
                                                                                             (NP-SBJ (PRO it;{it}))
                                                                                             (HVD;_Tn_ had;{have}))))
                                                                 (PUNC <mdash>)
                                                                 (PRN (IP-MAT (NP-SBJ (Q no;{no})
                                                                                      (NLYR (NLYR (N man;{man}))
                                                                                            (CONJP (CONJ and;{and})
                                                                                                   (NLYR (N wife;{wife}))))
                                                                                      (ADVP (ADV together;{together})))
                                                                              (BED;_cat_Vt_ were;{be})
                                                                              (IP-INF-CAT (TO to;{to})
                                                                                          (VB;__ pay;{pay})
                                                                                          (NP-OB1 (ADJP (ADJR more;{more})
                                                                                                        (PP (P-ROLE than;{than})
                                                                                                            (NP (NUM twenty;{twenty})
                                                                                                                (NS shillings;{shilling}))))))
                                                                              (PUNC ,)
                                                                              (PRN (NP (D a;{a})
                                                                                       (N restriction;{restriction})
                                                                                       (IP-REL (NP-SBJ (RPRO which;{which}))
                                                                                               (VBD;__ applied;{apply})
                                                                                               (PP-CLR (PP-CLR (P-ROLE to;{to})
                                                                                                               (NP (D the;{the})
                                                                                                                   (ADJP (ADJ generous;{generous}))
                                                                                                                   (ADJP (ADJ rich;{rich}))))
                                                                                                       (CONJP (CONJ as_well_as;{as_well_as})
                                                                                                              (PP-CLR (P-ROLE to;{to})
                                                                                                                      (NP (D the;{the})
                                                                                                                          (ADJP (ADJ mean;{mean})))))))))))))))))))
          (PUNC .))
  (ID 64_a_lob_g01))

arc(r_0064_0001__The_r_0064_0003__concession,r_0064_0002__only,attrib).
arc(r_0064_0004__made,r_0064_0001__The_r_0064_0003__concession,inv_arg0).
arc(r_0064_0004__made,r_0064_0006__view,r_0064_0005__in__nim).
arc(r_0064_0006__view,r_0064_0008__the_r_0064_0009__objections,r_0064_0007__of).
arc(r_0064_0008__the_r_0064_0009__objections,r_0064_0011__the_r_0064_0012__first_r_0064_0013__two_r_0064_0014__poll__hyphen__taxes,r_0064_0010__to).
arc(r_0064_0015__was,r_0064_0001__The_r_0064_0003__concession,arg0).
arc(r_0064_0015__was,r_0064_0016__the_r_0064_0017__suggestion,prd).
arc(r_0064_0016__the_r_0064_0017__suggestion,r_0064_0021__should,emb).
arc(r_0064_0019__the,r_0064_0020__rich,attrib).
arc(r_0064_0021__should,r_0064_0022__help,scope).
arc(r_0064_0022__help,r_0064_0019__the,arg0).
arc(r_0064_0022__help,r_0064_0023__the,arg1).
arc(r_0064_0023__the,r_0064_0024__poor,attrib).
arc(r_0064_0026__but,r_0064_0015__was,conj1).
arc(r_0064_0026__but,r_0064_0033__because,conj2).
arc(r_0064_0028__was,r_0064_0027__this,arg0).
arc(r_0064_0028__was,r_0064_0029__only,nim).
arc(r_0064_0028__was,r_0064_0030__a_r_0064_0032__hope,prd).
arc(r_0064_0030__a_r_0064_0032__hope,r_0064_0031__pious,attrib).
arc(r_0064_0033__because,r_0064_0028__was,scope).
arc(r_0064_0033__because,r_0064_0044__and,restriction).
arc(r_0064_0034__no__quant,r_0064_0035__machinery,restriction).
arc(r_0064_0034__no__quant,r_0064_0036__was,scope).
arc(r_0064_0036__was,r_0064_0037__provided,scope).
arc(r_0064_0037__provided,r_0064_0035__machinery,arg1).
arc(r_0064_0037__provided,r_0064_0039__carrying,r_0064_0038__for__nim).
arc(r_0064_0037__provided,z_0064_5024___star_,arg0).
arc(r_0064_0039__carrying,r_0064_0035__machinery,arg0).
arc(r_0064_0039__carrying,r_0064_0040__it,arg1).
arc(r_0064_0039__carrying,r_0064_0042__effect,r_0064_0041__into__nim).
arc(r_0064_0044__and,r_0064_0034__no__quant,conj1).
arc(r_0064_0044__and,r_0064_0048__went,conj2).
arc(r_0064_0045__a_r_0064_0047__clause,r_0064_0046__subordinate,attrib).
arc(r_0064_0048__went,r_0064_0045__a_r_0064_0047__clause,arg0).
arc(r_0064_0048__went,r_0064_0049__far,nim).
arc(r_0064_0048__went,r_0064_0051__nullify,prd).
arc(r_0064_0048__went,r_0064_0058__no__quant,prn).
arc(r_0064_0051__nullify,r_0064_0052__what,arg1).
arc(r_0064_0051__nullify,r_0064_0054__effects,arg1).
arc(r_0064_0051__nullify,z_0064_5052,arg0).
arc(r_0064_0052__what,r_0064_0053__small,attrib).
arc(r_0064_0054__effects,r_0064_0053__small,attrib).
arc(r_0064_0056__had,r_0064_0052__what,arg1).
arc(r_0064_0056__had,r_0064_0054__effects,arg1).
arc(r_0064_0056__had,r_0064_0055__it,arg0).
arc(r_0064_0058__no__quant,r_0064_0060__and,restriction).
arc(r_0064_0058__no__quant,r_0064_0063__were,scope).
arc(r_0064_0060__and,r_0064_0059__man,conj1).
arc(r_0064_0060__and,r_0064_0061__wife,conj2).
arc(r_0064_0060__and,r_0064_0062__together,qual).
arc(r_0064_0063__were,r_0064_0065__pay,scope).
arc(r_0064_0063__were,r_0064_0071__a_r_0064_0072__restriction,prn).
arc(r_0064_0065__pay,r_0064_0060__and,arg0).
arc(r_0064_0065__pay,z_0064_5047,arg1).
arc(r_0064_0066__more,r_0064_0068__twenty_r_0064_0069__shillings,r_0064_0067__than).
arc(r_0064_0074__applied,r_0064_0071__a_r_0064_0072__restriction,arg0).
arc(r_0064_0074__applied,r_0064_0079__as_well_as,clr).
arc(r_0064_0076__the,r_0064_0077__generous,attrib).
arc(r_0064_0076__the,r_0064_0078__rich,attrib).
arc(r_0064_0079__as_well_as,r_0064_0076__the,r_0064_0075__to__clr).
arc(r_0064_0079__as_well_as,r_0064_0081__the,r_0064_0080__to__clr).
arc(r_0064_0081__the,r_0064_0082__mean,attrib).
arc(z_0064_5047,r_0064_0066__more,attrib).

fof(formula,axiom,
    ? [R_0064_0002__ONLY,R_0064_0011__THE_R_0064_0012__FIRST_R_0064_0013__TWO_R_0064_0014__POLL__HYPHEN__TAXES,R_0064_0008__THE_R_0064_0009__OBJECTIONS,R_0064_0006__VIEW,R_0064_0004__MADE,R_0064_0001__THE_R_0064_0003__CONCESSION,R_0064_0020__RICH,R_0064_0019__THE,R_0064_0024__POOR,R_0064_0023__THE,R_0064_0021__SHOULD_R_0064_0022__HELP,R_0064_0016__THE_R_0064_0017__SUGGESTION,R_0064_0015__WAS,R_0064_0027__THIS,R_0064_0029__ONLY,R_0064_0031__PIOUS,R_0064_0030__A_R_0064_0032__HOPE,R_0064_0028__WAS,R_0064_0046__SUBORDINATE,R_0064_0045__A_R_0064_0047__CLAUSE,R_0064_0049__FAR,R_0064_0053__SMALL,R_0064_0052__WHAT,R_0064_0054__EFFECTS,Z_0064_5052,R_0064_0051__NULLIFY,R_0064_0048__WENT,R_0064_0044__AND,R_0064_0033__BECAUSE,R_0064_0026__BUT,R_0064_0055__IT,R_0064_0056__HAD,R_0064_0071__A_R_0064_0072__RESTRICTION,R_0064_0077__GENEROUS,R_0064_0078__RICH,R_0064_0076__THE,R_0064_0082__MEAN,R_0064_0081__THE,R_0064_0079__AS_WELL_AS,R_0064_0074__APPLIED] :
      ( r_0064_0002__only(R_0064_0002__ONLY)
      & r_0064_0011__the_r_0064_0012__first_r_0064_0013__two_r_0064_0014__poll__hyphen__taxes(R_0064_0011__THE_R_0064_0012__FIRST_R_0064_0013__TWO_R_0064_0014__POLL__HYPHEN__TAXES)
      & r_0064_0020__rich(R_0064_0020__RICH)
      & r_0064_0024__poor(R_0064_0024__POOR)
      & r_0064_0027__this(R_0064_0027__THIS)
      & r_0064_0029__only(R_0064_0029__ONLY)
      & r_0064_0031__pious(R_0064_0031__PIOUS)
      & r_0064_0046__subordinate(R_0064_0046__SUBORDINATE)
      & r_0064_0049__far(R_0064_0049__FAR)
      & r_0064_0053__small(R_0064_0053__SMALL)
      & r_0064_0055__it(R_0064_0055__IT)
      & r_0064_0071__a_r_0064_0072__restriction(R_0064_0071__A_R_0064_0072__RESTRICTION)
      & r_0064_0077__generous(R_0064_0077__GENEROUS)
      & r_0064_0078__rich(R_0064_0078__RICH)
      & r_0064_0082__mean(R_0064_0082__MEAN)
      & z_0064_5052(Z_0064_5052)
      & r_0064_0074__applied(R_0064_0074__APPLIED)
      & has_clr(R_0064_0074__APPLIED,R_0064_0079__AS_WELL_AS)
      & r_0064_0079__as_well_as(R_0064_0079__AS_WELL_AS)
      & has_r_0064_0080__to__clr(R_0064_0079__AS_WELL_AS,R_0064_0081__THE)
      & r_0064_0081__the(R_0064_0081__THE)
      & has_attrib(R_0064_0081__THE,R_0064_0082__MEAN)
      & has_r_0064_0075__to__clr(R_0064_0079__AS_WELL_AS,R_0064_0076__THE)
      & r_0064_0076__the(R_0064_0076__THE)
      & has_attrib(R_0064_0076__THE,R_0064_0078__RICH)
      & has_attrib(R_0064_0076__THE,R_0064_0077__GENEROUS)
      & has_arg0(R_0064_0074__APPLIED,R_0064_0071__A_R_0064_0072__RESTRICTION)
      & r_0064_0056__had(R_0064_0056__HAD)
      & has_arg0(R_0064_0056__HAD,R_0064_0055__IT)
      & has_arg1(R_0064_0056__HAD,R_0064_0054__EFFECTS)
      & r_0064_0054__effects(R_0064_0054__EFFECTS)
      & has_attrib(R_0064_0054__EFFECTS,R_0064_0053__SMALL)
      & has_arg1(R_0064_0056__HAD,R_0064_0052__WHAT)
      & r_0064_0052__what(R_0064_0052__WHAT)
      & has_attrib(R_0064_0052__WHAT,R_0064_0053__SMALL)
      & r_0064_0026__but(R_0064_0026__BUT)
      & has_conj2(R_0064_0026__BUT,R_0064_0033__BECAUSE)
      & r_0064_0033__because(R_0064_0033__BECAUSE)
      & has_conj1(R_0064_0033__BECAUSE,R_0064_0044__AND)
      & r_0064_0044__and(R_0064_0044__AND)
      & has_conj2(R_0064_0044__AND,R_0064_0048__WENT)
      & r_0064_0048__went(R_0064_0048__WENT)
      & ! [R_0064_0060__AND,R_0064_0059__MAN,R_0064_0061__WIFE,R_0064_0062__TOGETHER] :
          ( ( r_0064_0059__man(R_0064_0059__MAN)
            & r_0064_0061__wife(R_0064_0061__WIFE)
            & r_0064_0062__together(R_0064_0062__TOGETHER)
            & r_0064_0060__and(R_0064_0060__AND)
            & has_qual(R_0064_0060__AND,R_0064_0062__TOGETHER)
            & has_conj2(R_0064_0060__AND,R_0064_0061__WIFE)
            & has_conj1(R_0064_0060__AND,R_0064_0059__MAN) )
         => ? [R_0064_0068__TWENTY_R_0064_0069__SHILLINGS,R_0064_0066__MORE,Z_0064_5047,R_0064_0063__WERE_R_0064_0065__PAY] :
              ( r_0064_0068__twenty_r_0064_0069__shillings(R_0064_0068__TWENTY_R_0064_0069__SHILLINGS)
              & r_0064_0063__were_r_0064_0065__pay(R_0064_0063__WERE_R_0064_0065__PAY)
              & has_arg1(R_0064_0063__WERE_R_0064_0065__PAY,Z_0064_5047)
              & z_0064_5047(Z_0064_5047)
              & has_attrib(Z_0064_5047,R_0064_0066__MORE)
              & r_0064_0066__more(R_0064_0066__MORE)
              & has_r_0064_0067__than(R_0064_0066__MORE,R_0064_0068__TWENTY_R_0064_0069__SHILLINGS)
              & has_arg0(R_0064_0063__WERE_R_0064_0065__PAY,R_0064_0060__AND)
              & has_prn(R_0064_0063__WERE_R_0064_0065__PAY,R_0064_0071__A_R_0064_0072__RESTRICTION) ) )
      & has_prd(R_0064_0048__WENT,R_0064_0051__NULLIFY)
      & r_0064_0051__nullify(R_0064_0051__NULLIFY)
      & has_arg0(R_0064_0051__NULLIFY,Z_0064_5052)
      & has_arg1(R_0064_0051__NULLIFY,R_0064_0054__EFFECTS)
      & has_arg1(R_0064_0051__NULLIFY,R_0064_0052__WHAT)
      & has_nim(R_0064_0048__WENT,R_0064_0049__FAR)
      & has_arg0(R_0064_0048__WENT,R_0064_0045__A_R_0064_0047__CLAUSE)
      & r_0064_0045__a_r_0064_0047__clause(R_0064_0045__A_R_0064_0047__CLAUSE)
      & has_attrib(R_0064_0045__A_R_0064_0047__CLAUSE,R_0064_0046__SUBORDINATE)
      & ! [R_0064_0035__MACHINERY] :
          ( r_0064_0035__machinery(R_0064_0035__MACHINERY)
         => ? [R_0064_0040__IT,R_0064_0042__EFFECT,R_0064_0039__CARRYING,Z_0064_5024___STAR_,R_0064_0036__WAS_R_0064_0037__PROVIDED] :
              ( r_0064_0040__it(R_0064_0040__IT)
              & r_0064_0042__effect(R_0064_0042__EFFECT)
              & z_0064_5024___star_(Z_0064_5024___STAR_)
              & r_0064_0036__was_r_0064_0037__provided(R_0064_0036__WAS_R_0064_0037__PROVIDED)
              & has_arg0(R_0064_0036__WAS_R_0064_0037__PROVIDED,Z_0064_5024___STAR_)
              & has_r_0064_0038__for__nim(R_0064_0036__WAS_R_0064_0037__PROVIDED,R_0064_0039__CARRYING)
              & r_0064_0039__carrying(R_0064_0039__CARRYING)
              & has_r_0064_0041__into__nim(R_0064_0039__CARRYING,R_0064_0042__EFFECT)
              & has_arg1(R_0064_0039__CARRYING,R_0064_0040__IT)
              & has_arg0(R_0064_0039__CARRYING,R_0064_0035__MACHINERY)
              & has_arg1(R_0064_0036__WAS_R_0064_0037__PROVIDED,R_0064_0035__MACHINERY) ) )
      & has_conj2(R_0064_0033__BECAUSE,R_0064_0028__WAS)
      & r_0064_0028__was(R_0064_0028__WAS)
      & has_prd(R_0064_0028__WAS,R_0064_0030__A_R_0064_0032__HOPE)
      & r_0064_0030__a_r_0064_0032__hope(R_0064_0030__A_R_0064_0032__HOPE)
      & has_attrib(R_0064_0030__A_R_0064_0032__HOPE,R_0064_0031__PIOUS)
      & has_nim(R_0064_0028__WAS,R_0064_0029__ONLY)
      & has_arg0(R_0064_0028__WAS,R_0064_0027__THIS)
      & has_conj1(R_0064_0026__BUT,R_0064_0015__WAS)
      & r_0064_0015__was(R_0064_0015__WAS)
      & has_prd(R_0064_0015__WAS,R_0064_0016__THE_R_0064_0017__SUGGESTION)
      & r_0064_0016__the_r_0064_0017__suggestion(R_0064_0016__THE_R_0064_0017__SUGGESTION)
      & has_emb(R_0064_0016__THE_R_0064_0017__SUGGESTION,R_0064_0021__SHOULD_R_0064_0022__HELP)
      & r_0064_0021__should_r_0064_0022__help(R_0064_0021__SHOULD_R_0064_0022__HELP)
      & has_arg1(R_0064_0021__SHOULD_R_0064_0022__HELP,R_0064_0023__THE)
      & r_0064_0023__the(R_0064_0023__THE)
      & has_attrib(R_0064_0023__THE,R_0064_0024__POOR)
      & has_arg0(R_0064_0021__SHOULD_R_0064_0022__HELP,R_0064_0019__THE)
      & r_0064_0019__the(R_0064_0019__THE)
      & has_attrib(R_0064_0019__THE,R_0064_0020__RICH)
      & has_arg0(R_0064_0015__WAS,R_0064_0001__THE_R_0064_0003__CONCESSION)
      & r_0064_0001__The_r_0064_0003__concession(R_0064_0001__THE_R_0064_0003__CONCESSION)
      & has_inv_arg0(R_0064_0001__THE_R_0064_0003__CONCESSION,R_0064_0004__MADE)
      & r_0064_0004__made(R_0064_0004__MADE)
      & has_r_0064_0005__in__nim(R_0064_0004__MADE,R_0064_0006__VIEW)
      & r_0064_0006__view(R_0064_0006__VIEW)
      & has_r_0064_0007__of(R_0064_0006__VIEW,R_0064_0008__THE_R_0064_0009__OBJECTIONS)
      & r_0064_0008__the_r_0064_0009__objections(R_0064_0008__THE_R_0064_0009__OBJECTIONS)
      & has_r_0064_0010__to(R_0064_0008__THE_R_0064_0009__OBJECTIONS,R_0064_0011__THE_R_0064_0012__FIRST_R_0064_0013__TWO_R_0064_0014__POLL__HYPHEN__TAXES)
      & has_attrib(R_0064_0001__THE_R_0064_0003__CONCESSION,R_0064_0002__ONLY) ) ).