TSPC 60_a_lob

60_a_lob_g01
It was determined that <pound>100,000 was a fairer target, and the parliament agreed to find two-thirds of this sum providing the clergy supplied the remainder.

( (IP-MAT (ILYR (ILYR (NP-SBJ (PRO;_provisional_ It;{it}))
                      (BED;_cat_VePASS_ was;{be})
                      (IP-PPL-CAT (NP-LGS *)
                                  (VVN;__ determined;{determine})
                                  (CP-THT-NSBJ (IP-SUB (C that;{that})
                                                       (NP-SBJ (FO <pound>100,000))
                                                       (BED;_Ln_ was;{be})
                                                       (NP-PRD (D a;{a})
                                                               (N fairer;{fairer})
                                                               (N target;{target}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D the;{the})
                                     (N parliament;{parliament}))
                             (VBD;__ agreed;{agree})
                             (IP-INF-OB1 (TO to;{to})
                                         (VB;__ find;{find})
                                         (NP-OB1 (NS two_<hyphen>_thirds;{two_thirds})
                                                 (PP (P-ROLE of;{of})
                                                     (NP (D this;{this})
                                                         (N sum;{sum})))))
                             (PP-SCON (P-CONN providing;{providing})
                                      (IP-ADV (NP-SBJ (D the;{the})
                                                      (NS clergy;{clergy}))
                                              (VBD;__ supplied;{supply})
                                              (NP-OB1 (D the;{the})
                                                      (N remainder;{remainder})))))))
          (PUNC .))
  (ID 60_a_lob_g01))

arc(r_0060_0002__was,r_0060_0003__determined,scope).
arc(r_0060_0003__determined,r_0060_0006__was,arg1).
arc(r_0060_0003__determined,z_0060_5008___star_,arg0).
arc(r_0060_0006__was,r_0060_0007__a_r_0060_0008__fairer_r_0060_0009__target,prd).
arc(r_0060_0006__was,z_0060_5005,arg0).
arc(r_0060_0011__and,r_0060_0002__was,conj1).
arc(r_0060_0011__and,r_0060_0021__providing,conj2).
arc(r_0060_0014__agreed,r_0060_0012__the_r_0060_0013__parliament,arg0).
arc(r_0060_0014__agreed,r_0060_0016__find,arg1).
arc(r_0060_0016__find,r_0060_0012__the_r_0060_0013__parliament,arg0).
arc(r_0060_0016__find,r_0060_0017__two__hyphen__thirds,arg1).
arc(r_0060_0017__two__hyphen__thirds,r_0060_0019__this_r_0060_0020__sum,r_0060_0018__of).
arc(r_0060_0021__providing,r_0060_0014__agreed,scope).
arc(r_0060_0021__providing,r_0060_0024__supplied,restriction).
arc(r_0060_0024__supplied,r_0060_0022__the_r_0060_0023__clergy,arg0).
arc(r_0060_0024__supplied,r_0060_0025__the_r_0060_0026__remainder,arg1).

fof(formula,axiom,
    ? [R_0060_0007__A_R_0060_0008__FAIRER_R_0060_0009__TARGET,Z_0060_5005,R_0060_0006__WAS,Z_0060_5008___STAR_,R_0060_0002__WAS_R_0060_0003__DETERMINED,R_0060_0012__THE_R_0060_0013__PARLIAMENT,R_0060_0019__THIS_R_0060_0020__SUM,R_0060_0017__TWO__HYPHEN__THIRDS,R_0060_0016__FIND,R_0060_0014__AGREED,R_0060_0022__THE_R_0060_0023__CLERGY,R_0060_0025__THE_R_0060_0026__REMAINDER,R_0060_0024__SUPPLIED,R_0060_0021__PROVIDING,R_0060_0011__AND] :
      ( r_0060_0007__a_r_0060_0008__fairer_r_0060_0009__target(R_0060_0007__A_R_0060_0008__FAIRER_R_0060_0009__TARGET)
      & r_0060_0012__the_r_0060_0013__parliament(R_0060_0012__THE_R_0060_0013__PARLIAMENT)
      & r_0060_0019__this_r_0060_0020__sum(R_0060_0019__THIS_R_0060_0020__SUM)
      & r_0060_0022__the_r_0060_0023__clergy(R_0060_0022__THE_R_0060_0023__CLERGY)
      & r_0060_0025__the_r_0060_0026__remainder(R_0060_0025__THE_R_0060_0026__REMAINDER)
      & z_0060_5005(Z_0060_5005)
      & z_0060_5008___star_(Z_0060_5008___STAR_)
      & r_0060_0011__and(R_0060_0011__AND)
      & has_conj2(R_0060_0011__AND,R_0060_0021__PROVIDING)
      & r_0060_0021__providing(R_0060_0021__PROVIDING)
      & has_conj1(R_0060_0021__PROVIDING,R_0060_0024__SUPPLIED)
      & r_0060_0024__supplied(R_0060_0024__SUPPLIED)
      & has_arg1(R_0060_0024__SUPPLIED,R_0060_0025__THE_R_0060_0026__REMAINDER)
      & has_arg0(R_0060_0024__SUPPLIED,R_0060_0022__THE_R_0060_0023__CLERGY)
      & has_conj2(R_0060_0021__PROVIDING,R_0060_0014__AGREED)
      & r_0060_0014__agreed(R_0060_0014__AGREED)
      & has_arg1(R_0060_0014__AGREED,R_0060_0016__FIND)
      & r_0060_0016__find(R_0060_0016__FIND)
      & has_arg1(R_0060_0016__FIND,R_0060_0017__TWO__HYPHEN__THIRDS)
      & r_0060_0017__two__hyphen__thirds(R_0060_0017__TWO__HYPHEN__THIRDS)
      & has_r_0060_0018__of(R_0060_0017__TWO__HYPHEN__THIRDS,R_0060_0019__THIS_R_0060_0020__SUM)
      & has_arg0(R_0060_0016__FIND,R_0060_0012__THE_R_0060_0013__PARLIAMENT)
      & has_arg0(R_0060_0014__AGREED,R_0060_0012__THE_R_0060_0013__PARLIAMENT)
      & has_conj1(R_0060_0011__AND,R_0060_0002__WAS_R_0060_0003__DETERMINED)
      & r_0060_0002__was_r_0060_0003__determined(R_0060_0002__WAS_R_0060_0003__DETERMINED)
      & has_arg0(R_0060_0002__WAS_R_0060_0003__DETERMINED,Z_0060_5008___STAR_)
      & has_arg1(R_0060_0002__WAS_R_0060_0003__DETERMINED,R_0060_0006__WAS)
      & r_0060_0006__was(R_0060_0006__WAS)
      & has_arg0(R_0060_0006__WAS,Z_0060_5005)
      & has_prd(R_0060_0006__WAS,R_0060_0007__A_R_0060_0008__FAIRER_R_0060_0009__TARGET) ) ).