62_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.
%3
r_0062_0002__was
was
r_0062_0003__determined
determined
r_0062_0002__was->r_0062_0003__determined
[scope]
r_0062_0004__that_r_0062_0006__was
that was
r_0062_0003__determined->r_0062_0004__that_r_0062_0006__was
[arg1]
z_000_62_a_lob_g01_10
r_0062_0003__determined->z_000_62_a_lob_g01_10
[arg0]
r_0062_0005___pound_100_comma_000
pound 100,000
r_0062_0004__that_r_0062_0006__was->r_0062_0005___pound_100_comma_000
[arg0]
r_0062_0007__a_r_0062_0008__fairer_r_0062_0009__target
a fairer target
r_0062_0004__that_r_0062_0006__was->r_0062_0007__a_r_0062_0008__fairer_r_0062_0009__target
[prd]
r_0062_0011__and
and
r_0062_0011__and->r_0062_0002__was
[conj1]
r_0062_0021__providing
providing
r_0062_0011__and->r_0062_0021__providing
[conj2]
r_0062_0014__agreed
agreed
r_0062_0021__providing->r_0062_0014__agreed
[scope]
r_0062_0024__supplied
supplied
r_0062_0021__providing->r_0062_0024__supplied
[restriction]
r_0062_0012__the_r_0062_0013__parliament
the parliament
r_0062_0014__agreed->r_0062_0012__the_r_0062_0013__parliament
[arg0]
r_0062_0015__to_r_0062_0016__find
to find
r_0062_0014__agreed->r_0062_0015__to_r_0062_0016__find
[arg1]
r_0062_0015__to_r_0062_0016__find->r_0062_0012__the_r_0062_0013__parliament
[arg0]
r_0062_0017__two__hyphen__thirds
two-thirds
r_0062_0015__to_r_0062_0016__find->r_0062_0017__two__hyphen__thirds
[arg1]
r_0062_0019__this_r_0062_0020__sum
this sum
r_0062_0017__two__hyphen__thirds->r_0062_0019__this_r_0062_0020__sum
of
r_0062_0022__the_r_0062_0023__clergy
the clergy
r_0062_0024__supplied->r_0062_0022__the_r_0062_0023__clergy
[arg0]
r_0062_0025__the_r_0062_0026__remainder
the remainder
r_0062_0024__supplied->r_0062_0025__the_r_0062_0026__remainder
[arg1]
arc(r_0062_0002__was, r_0062_0003__determined, scope).
arc(r_0062_0003__determined, r_0062_0004__that_r_0062_0006__was, arg1).
arc(r_0062_0003__determined, z_000_62_a_lob_g01_10, arg0).
arc(r_0062_0004__that_r_0062_0006__was, r_0062_0005___pound_100_comma_000, arg0).
arc(r_0062_0004__that_r_0062_0006__was, r_0062_0007__a_r_0062_0008__fairer_r_0062_0009__target, prd).
arc(r_0062_0011__and, r_0062_0002__was, conj1).
arc(r_0062_0011__and, r_0062_0021__providing, conj2).
arc(r_0062_0014__agreed, r_0062_0012__the_r_0062_0013__parliament, arg0).
arc(r_0062_0014__agreed, r_0062_0015__to_r_0062_0016__find, arg1).
arc(r_0062_0015__to_r_0062_0016__find, r_0062_0012__the_r_0062_0013__parliament, arg0).
arc(r_0062_0015__to_r_0062_0016__find, r_0062_0017__two__hyphen__thirds, arg1).
arc(r_0062_0017__two__hyphen__thirds, r_0062_0019__this_r_0062_0020__sum, r_0062_0018__of).
arc(r_0062_0021__providing, r_0062_0014__agreed, scope).
arc(r_0062_0021__providing, r_0062_0024__supplied, restriction).
arc(r_0062_0024__supplied, r_0062_0022__the_r_0062_0023__clergy, arg0).
arc(r_0062_0024__supplied, r_0062_0025__the_r_0062_0026__remainder, arg1).
%3
r_0062_0002__was_r_0062_0003__determined
was determined
r_0062_0004__that_r_0062_0006__was
that was
r_0062_0002__was_r_0062_0003__determined->r_0062_0004__that_r_0062_0006__was
[arg1]
z_000_62_a_lob_g01_10
r_0062_0002__was_r_0062_0003__determined->z_000_62_a_lob_g01_10
[arg0]
r_0062_0005___pound_100_comma_000
pound 100,000
r_0062_0004__that_r_0062_0006__was->r_0062_0005___pound_100_comma_000
[arg0]
r_0062_0007__a_r_0062_0008__fairer_r_0062_0009__target
a fairer target
r_0062_0004__that_r_0062_0006__was->r_0062_0007__a_r_0062_0008__fairer_r_0062_0009__target
[prd]
r_0062_0011__and
and
r_0062_0011__and->r_0062_0002__was_r_0062_0003__determined
[conj1]
r_0062_0021__providing
providing
r_0062_0011__and->r_0062_0021__providing
[conj2]
r_0062_0014__agreed
agreed
r_0062_0021__providing->r_0062_0014__agreed
[conj2]
r_0062_0024__supplied
supplied
r_0062_0021__providing->r_0062_0024__supplied
[conj1]
r_0062_0012__the_r_0062_0013__parliament
the parliament
r_0062_0014__agreed->r_0062_0012__the_r_0062_0013__parliament
[arg0]
r_0062_0015__to_r_0062_0016__find
to find
r_0062_0014__agreed->r_0062_0015__to_r_0062_0016__find
[arg1]
r_0062_0015__to_r_0062_0016__find->r_0062_0012__the_r_0062_0013__parliament
[arg0]
r_0062_0017__two__hyphen__thirds
two-thirds
r_0062_0015__to_r_0062_0016__find->r_0062_0017__two__hyphen__thirds
[arg1]
r_0062_0019__this_r_0062_0020__sum
this sum
r_0062_0017__two__hyphen__thirds->r_0062_0019__this_r_0062_0020__sum
of
r_0062_0022__the_r_0062_0023__clergy
the clergy
r_0062_0024__supplied->r_0062_0022__the_r_0062_0023__clergy
[arg0]
r_0062_0025__the_r_0062_0026__remainder
the remainder
r_0062_0024__supplied->r_0062_0025__the_r_0062_0026__remainder
[arg1]
fof(formula,axiom,
? [R_62_11_AND,R_62_2_WAS_DETERMINED,Z_62_A_LOB_G01_10,R_62_4_THAT_WAS,R_62_5__POUND_100_COMMA_,R_62_7_A_FAIRER_TARGET,R_62_21_PROVIDING,R_62_24_SUPPLIED,R_62_22_THE_CLERGY,R_62_25_THE_REMAINDER,R_62_14_AGREED,R_62_15_TO_FIND,R_62_12_THE_PARLIAMENT,R_62_17_TWO_HYPHEN_THIRDS,R_62_19_THIS_SUM] :
( _pound_100_comma_(R_62_5__POUND_100_COMMA_)
& a_fairer_target(R_62_7_A_FAIRER_TARGET)
& the_clergy(R_62_22_THE_CLERGY)
& the_remainder(R_62_25_THE_REMAINDER)
& the_parliament(R_62_12_THE_PARLIAMENT)
& this_sum(R_62_19_THIS_SUM)
& and(R_62_11_AND)
& conj1(R_62_11_AND,R_62_2_WAS_DETERMINED)
& was_determined(R_62_2_WAS_DETERMINED,Z_62_A_LOB_G01_10,R_62_4_THAT_WAS)
& that_was(R_62_4_THAT_WAS,R_62_5__POUND_100_COMMA_,R_62_7_A_FAIRER_TARGET)
& conj2(R_62_11_AND,R_62_21_PROVIDING)
& providing(R_62_21_PROVIDING)
& conj1(R_62_21_PROVIDING,R_62_24_SUPPLIED)
& supplied(R_62_24_SUPPLIED,R_62_22_THE_CLERGY,R_62_25_THE_REMAINDER)
& conj2(R_62_21_PROVIDING,R_62_14_AGREED)
& agreed(R_62_14_AGREED,R_62_12_THE_PARLIAMENT,R_62_15_TO_FIND)
& to_find(R_62_15_TO_FIND,R_62_12_THE_PARLIAMENT,R_62_17_TWO_HYPHEN_THIRDS)
& two_hyphen_thirds(R_62_17_TWO_HYPHEN_THIRDS)
& of(R_62_17_TWO_HYPHEN_THIRDS,R_62_19_THIS_SUM) ) ).
n62_a_lob_g01
n62_a_lob_g01_6
It
n62_a_lob_g01_8
was
n62_a_lob_g01_11
*
n62_a_lob_g01_13
determined
n62_a_lob_g01_17
that
n62_a_lob_g01_20
<pound>100,000
n62_a_lob_g01_22
was
n62_a_lob_g01_25
a
n62_a_lob_g01_27
fairer
n62_a_lob_g01_29
target
n62_a_lob_g01_31
,
n62_a_lob_g01_34
and
n62_a_lob_g01_38
the
n62_a_lob_g01_40
parliament
n62_a_lob_g01_42
agreed
n62_a_lob_g01_45
to
n62_a_lob_g01_47
find
n62_a_lob_g01_50
two-thirds
n62_a_lob_g01_53
of
n62_a_lob_g01_56
this
n62_a_lob_g01_58
sum
n62_a_lob_g01_61
providing
n62_a_lob_g01_65
the
n62_a_lob_g01_67
clergy
n62_a_lob_g01_69
supplied
n62_a_lob_g01_72
the
n62_a_lob_g01_74
remainder
n62_a_lob_g01_76
.
n62_a_lob_g01_1
IP-MAT
n62_a_lob_g01_2
ILYR
n62_a_lob_g01_1->n62_a_lob_g01_2
n62_a_lob_g01_75
PUNC
n62_a_lob_g01_1->n62_a_lob_g01_75
n62_a_lob_g01_3
ILYR
n62_a_lob_g01_2->n62_a_lob_g01_3
n62_a_lob_g01_30
PUNC
n62_a_lob_g01_2->n62_a_lob_g01_30
n62_a_lob_g01_32
CONJP
n62_a_lob_g01_2->n62_a_lob_g01_32
n62_a_lob_g01_4
NP-SBJ
n62_a_lob_g01_3->n62_a_lob_g01_4
n62_a_lob_g01_7
BED;_cat_VePASS_
n62_a_lob_g01_3->n62_a_lob_g01_7
n62_a_lob_g01_9
IP-PPL-CAT
n62_a_lob_g01_3->n62_a_lob_g01_9
n62_a_lob_g01_5
PRO;_provisional_
n62_a_lob_g01_4->n62_a_lob_g01_5
n62_a_lob_g01_5->n62_a_lob_g01_6
n62_a_lob_g01_7->n62_a_lob_g01_8
n62_a_lob_g01_10
NP-LGS
n62_a_lob_g01_9->n62_a_lob_g01_10
n62_a_lob_g01_12
VVN;__
n62_a_lob_g01_9->n62_a_lob_g01_12
n62_a_lob_g01_14
CP-THT-NSBJ
n62_a_lob_g01_9->n62_a_lob_g01_14
n62_a_lob_g01_10->n62_a_lob_g01_11
n62_a_lob_g01_12->n62_a_lob_g01_13
n62_a_lob_g01_15
IP-SUB
n62_a_lob_g01_14->n62_a_lob_g01_15
n62_a_lob_g01_16
C
n62_a_lob_g01_15->n62_a_lob_g01_16
n62_a_lob_g01_18
NP-SBJ
n62_a_lob_g01_15->n62_a_lob_g01_18
n62_a_lob_g01_21
BED;_Ln_
n62_a_lob_g01_15->n62_a_lob_g01_21
n62_a_lob_g01_23
NP-PRD
n62_a_lob_g01_15->n62_a_lob_g01_23
n62_a_lob_g01_16->n62_a_lob_g01_17
n62_a_lob_g01_19
FO
n62_a_lob_g01_18->n62_a_lob_g01_19
n62_a_lob_g01_19->n62_a_lob_g01_20
n62_a_lob_g01_21->n62_a_lob_g01_22
n62_a_lob_g01_24
D
n62_a_lob_g01_23->n62_a_lob_g01_24
n62_a_lob_g01_26
N
n62_a_lob_g01_23->n62_a_lob_g01_26
n62_a_lob_g01_28
N
n62_a_lob_g01_23->n62_a_lob_g01_28
n62_a_lob_g01_24->n62_a_lob_g01_25
n62_a_lob_g01_26->n62_a_lob_g01_27
n62_a_lob_g01_28->n62_a_lob_g01_29
n62_a_lob_g01_30->n62_a_lob_g01_31
n62_a_lob_g01_33
CONJ
n62_a_lob_g01_32->n62_a_lob_g01_33
n62_a_lob_g01_35
ILYR
n62_a_lob_g01_32->n62_a_lob_g01_35
n62_a_lob_g01_33->n62_a_lob_g01_34
n62_a_lob_g01_36
NP-SBJ
n62_a_lob_g01_35->n62_a_lob_g01_36
n62_a_lob_g01_41
VBD;__
n62_a_lob_g01_35->n62_a_lob_g01_41
n62_a_lob_g01_43
IP-INF-OB1
n62_a_lob_g01_35->n62_a_lob_g01_43
n62_a_lob_g01_59
PP-SCON
n62_a_lob_g01_35->n62_a_lob_g01_59
n62_a_lob_g01_37
D
n62_a_lob_g01_36->n62_a_lob_g01_37
n62_a_lob_g01_39
N
n62_a_lob_g01_36->n62_a_lob_g01_39
n62_a_lob_g01_37->n62_a_lob_g01_38
n62_a_lob_g01_39->n62_a_lob_g01_40
n62_a_lob_g01_41->n62_a_lob_g01_42
n62_a_lob_g01_44
TO
n62_a_lob_g01_43->n62_a_lob_g01_44
n62_a_lob_g01_46
VB;__
n62_a_lob_g01_43->n62_a_lob_g01_46
n62_a_lob_g01_48
NP-OB1
n62_a_lob_g01_43->n62_a_lob_g01_48
n62_a_lob_g01_44->n62_a_lob_g01_45
n62_a_lob_g01_46->n62_a_lob_g01_47
n62_a_lob_g01_49
NS
n62_a_lob_g01_48->n62_a_lob_g01_49
n62_a_lob_g01_51
PP
n62_a_lob_g01_48->n62_a_lob_g01_51
n62_a_lob_g01_49->n62_a_lob_g01_50
n62_a_lob_g01_52
P-ROLE
n62_a_lob_g01_51->n62_a_lob_g01_52
n62_a_lob_g01_54
NP
n62_a_lob_g01_51->n62_a_lob_g01_54
n62_a_lob_g01_52->n62_a_lob_g01_53
n62_a_lob_g01_55
D
n62_a_lob_g01_54->n62_a_lob_g01_55
n62_a_lob_g01_57
N
n62_a_lob_g01_54->n62_a_lob_g01_57
n62_a_lob_g01_55->n62_a_lob_g01_56
n62_a_lob_g01_57->n62_a_lob_g01_58
n62_a_lob_g01_60
P-CONN
n62_a_lob_g01_59->n62_a_lob_g01_60
n62_a_lob_g01_62
IP-ADV
n62_a_lob_g01_59->n62_a_lob_g01_62
n62_a_lob_g01_60->n62_a_lob_g01_61
n62_a_lob_g01_63
NP-SBJ
n62_a_lob_g01_62->n62_a_lob_g01_63
n62_a_lob_g01_68
VBD;__
n62_a_lob_g01_62->n62_a_lob_g01_68
n62_a_lob_g01_70
NP-OB1
n62_a_lob_g01_62->n62_a_lob_g01_70
n62_a_lob_g01_64
D
n62_a_lob_g01_63->n62_a_lob_g01_64
n62_a_lob_g01_66
NS
n62_a_lob_g01_63->n62_a_lob_g01_66
n62_a_lob_g01_64->n62_a_lob_g01_65
n62_a_lob_g01_66->n62_a_lob_g01_67
n62_a_lob_g01_68->n62_a_lob_g01_69
n62_a_lob_g01_71
D
n62_a_lob_g01_70->n62_a_lob_g01_71
n62_a_lob_g01_73
N
n62_a_lob_g01_70->n62_a_lob_g01_73
n62_a_lob_g01_71->n62_a_lob_g01_72
n62_a_lob_g01_73->n62_a_lob_g01_74
n62_a_lob_g01_75->n62_a_lob_g01_76
( (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 62_a_lob_g01))