TSPC 61_a_lob

61_a_lob_g01
The method of assessment to which the Commons agreed was that of the first poll-tax.

( (IP-MAT (NP-SBJ (D The;{the})
                  (N method;{method})
                  (PP (P-ROLE of;{of})
                      (NP (N assessment;{assessment})
                          (IP-REL (PP-CLR (P-ROLE to;{to})
                                          (NP (RPRO which;{which})))
                                  (NP-SBJ (D the;{the})
                                          (NPR Commons;{Commons}))
                                  (VBD;__ agreed;{agree})))))
          (BED;_Ln_ was;{be})
          (NP-PRD (D;_nphd_ that;{that})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (NUM first;{first})
                          (N poll_<hyphen>_tax;{poll_tax}))))
          (PUNC .))
  (ID 61_a_lob_g01))

arc(r_0061_0001__The_r_0061_0002__method,r_0061_0004__assessment,r_0061_0003__of).
arc(r_0061_0009__agreed,r_0061_0004__assessment,r_0061_0005__to__clr).
arc(r_0061_0009__agreed,r_0061_0007__the_r_0061_0008__Commons,arg0).
arc(r_0061_0010__was,r_0061_0001__The_r_0061_0002__method,arg0).
arc(r_0061_0010__was,r_0061_0011__that,prd).
arc(r_0061_0011__that,r_0061_0013__the_r_0061_0014__first_r_0061_0015__poll__hyphen__tax,r_0061_0012__of).

fof(formula,axiom,
    ? [R_0061_0004__ASSESSMENT,R_0061_0007__THE_R_0061_0008__COMMONS,R_0061_0009__AGREED,R_0061_0001__THE_R_0061_0002__METHOD,R_0061_0013__THE_R_0061_0014__FIRST_R_0061_0015__POLL__HYPHEN__TAX,R_0061_0011__THAT,R_0061_0010__WAS] :
      ( r_0061_0004__assessment(R_0061_0004__ASSESSMENT)
      & r_0061_0007__the_r_0061_0008__Commons(R_0061_0007__THE_R_0061_0008__COMMONS)
      & r_0061_0013__the_r_0061_0014__first_r_0061_0015__poll__hyphen__tax(R_0061_0013__THE_R_0061_0014__FIRST_R_0061_0015__POLL__HYPHEN__TAX)
      & r_0061_0010__was(R_0061_0010__WAS)
      & has_prd(R_0061_0010__WAS,R_0061_0011__THAT)
      & r_0061_0011__that(R_0061_0011__THAT)
      & has_r_0061_0012__of(R_0061_0011__THAT,R_0061_0013__THE_R_0061_0014__FIRST_R_0061_0015__POLL__HYPHEN__TAX)
      & has_arg0(R_0061_0010__WAS,R_0061_0001__THE_R_0061_0002__METHOD)
      & r_0061_0001__The_r_0061_0002__method(R_0061_0001__THE_R_0061_0002__METHOD)
      & has_r_0061_0003__of(R_0061_0001__THE_R_0061_0002__METHOD,R_0061_0004__ASSESSMENT)
      & r_0061_0009__agreed(R_0061_0009__AGREED)
      & has_arg0(R_0061_0009__AGREED,R_0061_0007__THE_R_0061_0008__COMMONS)
      & has_r_0061_0005__to__clr(R_0061_0009__AGREED,R_0061_0004__ASSESSMENT) ) ).