TSPC 61_a_lob

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

arc(r_0061_0002__was, r_0061_0003__determined, scope).
arc(r_0061_0003__determined, r_0061_0004__that_r_0061_0006__was, arg1).
arc(r_0061_0003__determined, z_000_61_a_lob_g01_10, arg0).
arc(r_0061_0004__that_r_0061_0006__was, r_0061_0005___pound_100_comma_000, arg0).
arc(r_0061_0004__that_r_0061_0006__was, r_0061_0007__a_r_0061_0008__fairer_r_0061_0009__target, prd).
arc(r_0061_0011__and, r_0061_0002__was, conj1).
arc(r_0061_0011__and, r_0061_0021__providing, conj2).
arc(r_0061_0014__agreed, r_0061_0012__the_r_0061_0013__parliament, arg0).
arc(r_0061_0014__agreed, r_0061_0015__to_r_0061_0016__find, arg1).
arc(r_0061_0015__to_r_0061_0016__find, r_0061_0012__the_r_0061_0013__parliament, arg0).
arc(r_0061_0015__to_r_0061_0016__find, r_0061_0017__two__hyphen__thirds, arg1).
arc(r_0061_0017__two__hyphen__thirds, r_0061_0019__this_r_0061_0020__sum, r_0061_0018__of).
arc(r_0061_0021__providing, r_0061_0014__agreed, scope).
arc(r_0061_0021__providing, r_0061_0024__supplied, restriction).
arc(r_0061_0024__supplied, r_0061_0022__the_r_0061_0023__clergy, arg0).
arc(r_0061_0024__supplied, r_0061_0025__the_r_0061_0026__remainder, arg1).

fof(formula,axiom,
    ? [R_0061_0005___POUND_100_COMMA_000,R_0061_0007__A_R_0061_0008__FAIRER_R_0061_0009__TARGET,R_0061_0004__THAT_R_0061_0006__WAS,Z_000_61_A_LOB_G01_10,R_0061_0002__WAS_R_0061_0003__DETERMINED,R_0061_0012__THE_R_0061_0013__PARLIAMENT,R_0061_0019__THIS_R_0061_0020__SUM,R_0061_0017__TWO__HYPHEN__THIRDS,R_0061_0015__TO_R_0061_0016__FIND,R_0061_0014__AGREED,R_0061_0022__THE_R_0061_0023__CLERGY,R_0061_0025__THE_R_0061_0026__REMAINDER,R_0061_0024__SUPPLIED,R_0061_0021__PROVIDING,R_0061_0011__AND] :
      ( r_0061_0005___pound_100_comma_000(R_0061_0005___POUND_100_COMMA_000)
      & r_0061_0007__a_r_0061_0008__fairer_r_0061_0009__target(R_0061_0007__A_R_0061_0008__FAIRER_R_0061_0009__TARGET)
      & r_0061_0012__the_r_0061_0013__parliament(R_0061_0012__THE_R_0061_0013__PARLIAMENT)
      & r_0061_0019__this_r_0061_0020__sum(R_0061_0019__THIS_R_0061_0020__SUM)
      & r_0061_0022__the_r_0061_0023__clergy(R_0061_0022__THE_R_0061_0023__CLERGY)
      & r_0061_0025__the_r_0061_0026__remainder(R_0061_0025__THE_R_0061_0026__REMAINDER)
      & z_000_61_a_lob_g01_10(Z_000_61_A_LOB_G01_10)
      & r_0061_0011__and(R_0061_0011__AND)
      & has_conj2(R_0061_0011__AND,R_0061_0021__PROVIDING)
      & r_0061_0021__providing(R_0061_0021__PROVIDING)
      & has_conj1(R_0061_0021__PROVIDING,R_0061_0024__SUPPLIED)
      & r_0061_0024__supplied(R_0061_0024__SUPPLIED)
      & has_arg1(R_0061_0024__SUPPLIED,R_0061_0025__THE_R_0061_0026__REMAINDER)
      & has_arg0(R_0061_0024__SUPPLIED,R_0061_0022__THE_R_0061_0023__CLERGY)
      & has_conj2(R_0061_0021__PROVIDING,R_0061_0014__AGREED)
      & r_0061_0014__agreed(R_0061_0014__AGREED)
      & has_arg1(R_0061_0014__AGREED,R_0061_0015__TO_R_0061_0016__FIND)
      & r_0061_0015__to_r_0061_0016__find(R_0061_0015__TO_R_0061_0016__FIND)
      & has_arg1(R_0061_0015__TO_R_0061_0016__FIND,R_0061_0017__TWO__HYPHEN__THIRDS)
      & r_0061_0017__two__hyphen__thirds(R_0061_0017__TWO__HYPHEN__THIRDS)
      & has_r_0061_0018__of(R_0061_0017__TWO__HYPHEN__THIRDS,R_0061_0019__THIS_R_0061_0020__SUM)
      & has_arg0(R_0061_0015__TO_R_0061_0016__FIND,R_0061_0012__THE_R_0061_0013__PARLIAMENT)
      & has_arg0(R_0061_0014__AGREED,R_0061_0012__THE_R_0061_0013__PARLIAMENT)
      & has_conj1(R_0061_0011__AND,R_0061_0002__WAS_R_0061_0003__DETERMINED)
      & r_0061_0002__was_r_0061_0003__determined(R_0061_0002__WAS_R_0061_0003__DETERMINED)
      & has_arg0(R_0061_0002__WAS_R_0061_0003__DETERMINED,Z_000_61_A_LOB_G01_10)
      & has_arg1(R_0061_0002__WAS_R_0061_0003__DETERMINED,R_0061_0004__THAT_R_0061_0006__WAS)
      & r_0061_0004__that_r_0061_0006__was(R_0061_0004__THAT_R_0061_0006__WAS)
      & has_prd(R_0061_0004__THAT_R_0061_0006__WAS,R_0061_0007__A_R_0061_0008__FAIRER_R_0061_0009__TARGET)
      & has_arg0(R_0061_0004__THAT_R_0061_0006__WAS,R_0061_0005___POUND_100_COMMA_000) ) ).

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