14_a_uksc_judgment
%3
r_0014_0001__Even_r_0014_0002__if
Even if
r_0014_0004__had
had
r_0014_0001__Even_r_0014_0002__if->r_0014_0004__had
[restriction]
r_0014_0017__would
would
r_0014_0001__Even_r_0014_0002__if->r_0014_0017__would
[scope]
r_0014_0005__agreed
agreed
r_0014_0004__had->r_0014_0005__agreed
[scope]
r_0014_0019__have
have
r_0014_0017__would->r_0014_0019__have
[scope]
r_0014_0003__they
they
r_0014_0005__agreed->r_0014_0003__they
[arg0]
r_0014_0006__to_r_0014_0007__go
to go
r_0014_0005__agreed->r_0014_0006__to_r_0014_0007__go
[arg1]
r_0014_0006__to_r_0014_0007__go->r_0014_0003__they
[arg0]
r_0014_0009__recess
recess
r_0014_0006__to_r_0014_0007__go->r_0014_0009__recess
into [clr]
r_0014_0011__the_r_0014_0014__period
the period
r_0014_0006__to_r_0014_0007__go->r_0014_0011__the_r_0014_0014__period
for [nim]
r_0014_0012__usual
usual
r_0014_0011__the_r_0014_0014__period->r_0014_0012__usual
[attrib]
r_0014_0013__three__hyphen__week
three-week
r_0014_0011__the_r_0014_0014__period->r_0014_0013__three__hyphen__week
[attrib]
r_0014_0018__still
still
r_0014_0019__have->r_0014_0018__still
[nim]
r_0014_0020__been
been
r_0014_0019__have->r_0014_0020__been
[scope]
r_0014_0016__they
they
r_0014_0020__been->r_0014_0016__they
[arg0]
r_0014_0021__able
able
r_0014_0020__been->r_0014_0021__able
[prd]
r_0014_0022__to_r_0014_0023__perform
to perform
r_0014_0021__able->r_0014_0022__to_r_0014_0023__perform
[emb]
r_0014_0025__function
function
r_0014_0022__to_r_0014_0023__perform->r_0014_0025__function
[arg1]
z_000_14_a_uksc_judgment_60
r_0014_0022__to_r_0014_0023__perform->z_000_14_a_uksc_judgment_60
[arg0]
r_0014_0025__function->r_0014_0016__they
[gen]
r_0014_0027__holding
holding
r_0014_0025__function->r_0014_0027__holding
of
r_0014_0028__the_r_0014_0029__government
the government
r_0014_0027__holding->r_0014_0028__the_r_0014_0029__government
[arg1]
r_0014_0031__account
account
r_0014_0027__holding->r_0014_0031__account
to [clr]
z_000_14_a_uksc_judgment_74
r_0014_0027__holding->z_000_14_a_uksc_judgment_74
[arg0]
arc(r_0014_0001__Even_r_0014_0002__if, r_0014_0004__had, restriction).
arc(r_0014_0001__Even_r_0014_0002__if, r_0014_0017__would, scope).
arc(r_0014_0004__had, r_0014_0005__agreed, scope).
arc(r_0014_0005__agreed, r_0014_0003__they, arg0).
arc(r_0014_0005__agreed, r_0014_0006__to_r_0014_0007__go, arg1).
arc(r_0014_0006__to_r_0014_0007__go, r_0014_0003__they, arg0).
arc(r_0014_0006__to_r_0014_0007__go, r_0014_0009__recess, r_0014_0008__into_clr24).
arc(r_0014_0006__to_r_0014_0007__go, r_0014_0011__the_r_0014_0014__period, r_0014_0010__for_nim30).
arc(r_0014_0011__the_r_0014_0014__period, r_0014_0012__usual, attrib33).
arc(r_0014_0011__the_r_0014_0014__period, r_0014_0013__three__hyphen__week, attrib36).
arc(r_0014_0017__would, r_0014_0019__have, scope).
arc(r_0014_0019__have, r_0014_0018__still, nim49).
arc(r_0014_0019__have, r_0014_0020__been, scope).
arc(r_0014_0020__been, r_0014_0016__they, arg0).
arc(r_0014_0020__been, r_0014_0021__able, prd).
arc(r_0014_0021__able, r_0014_0022__to_r_0014_0023__perform, emb60).
arc(r_0014_0022__to_r_0014_0023__perform, r_0014_0025__function, arg1).
arc(r_0014_0022__to_r_0014_0023__perform, z_000_14_a_uksc_judgment_60, arg0).
arc(r_0014_0025__function, r_0014_0016__they, gen).
arc(r_0014_0025__function, r_0014_0027__holding, r_0014_0026__of).
arc(r_0014_0027__holding, r_0014_0028__the_r_0014_0029__government, arg1).
arc(r_0014_0027__holding, r_0014_0031__account, r_0014_0030__to_clr85).
arc(r_0014_0027__holding, z_000_14_a_uksc_judgment_74, arg0).
%3
r_0014_0001__Even_r_0014_0002__if
Even if
r_0014_0004__had_r_0014_0005__agreed
had agreed
r_0014_0001__Even_r_0014_0002__if->r_0014_0004__had_r_0014_0005__agreed
[restriction]
r_0014_0017__would_r_0014_0019__have_r_0014_0020__been
would have been
r_0014_0001__Even_r_0014_0002__if->r_0014_0017__would_r_0014_0019__have_r_0014_0020__been
[scope]
r_0014_0003__they
they
r_0014_0004__had_r_0014_0005__agreed->r_0014_0003__they
[arg0]
r_0014_0006__to_r_0014_0007__go
to go
r_0014_0004__had_r_0014_0005__agreed->r_0014_0006__to_r_0014_0007__go
[arg1]
r_0014_0016__they
they
r_0014_0017__would_r_0014_0019__have_r_0014_0020__been->r_0014_0016__they
[arg0]
r_0014_0018__still
still
r_0014_0017__would_r_0014_0019__have_r_0014_0020__been->r_0014_0018__still
[nim]
r_0014_0021__able
able
r_0014_0017__would_r_0014_0019__have_r_0014_0020__been->r_0014_0021__able
[prd]
r_0014_0006__to_r_0014_0007__go->r_0014_0003__they
[arg0]
r_0014_0009__recess
recess
r_0014_0006__to_r_0014_0007__go->r_0014_0009__recess
into [clr]
r_0014_0011__the_r_0014_0014__period
the period
r_0014_0006__to_r_0014_0007__go->r_0014_0011__the_r_0014_0014__period
for [nim]
r_0014_0012__usual
usual
r_0014_0011__the_r_0014_0014__period->r_0014_0012__usual
[attrib]
r_0014_0013__three__hyphen__week
three-week
r_0014_0011__the_r_0014_0014__period->r_0014_0013__three__hyphen__week
[attrib]
r_0014_0022__to_r_0014_0023__perform
to perform
r_0014_0021__able->r_0014_0022__to_r_0014_0023__perform
[emb]
r_0014_0025__function
function
r_0014_0022__to_r_0014_0023__perform->r_0014_0025__function
[arg1]
z_000_14_a_uksc_judgment_60
r_0014_0022__to_r_0014_0023__perform->z_000_14_a_uksc_judgment_60
[arg0]
r_0014_0025__function->r_0014_0016__they
[gen]
r_0014_0027__holding
holding
r_0014_0025__function->r_0014_0027__holding
of
r_0014_0028__the_r_0014_0029__government
the government
r_0014_0027__holding->r_0014_0028__the_r_0014_0029__government
[arg1]
r_0014_0031__account
account
r_0014_0027__holding->r_0014_0031__account
to [clr]
z_000_14_a_uksc_judgment_74
r_0014_0027__holding->z_000_14_a_uksc_judgment_74
[arg0]
fof(formula,axiom,
! [R_14_4_HAD_AGREED,R_14_6_TO_GO,R_14_3_THEY,R_14_9_RECESS,R_14_11_THE_PERIOD,R_14_12_USUAL,R_14_13_THREE_HYPHEN_WEEK] :
( ( they(R_14_3_THEY)
& recess(R_14_9_RECESS)
& usual(R_14_12_USUAL)
& three_hyphen_week(R_14_13_THREE_HYPHEN_WEEK)
& had_agreed(R_14_4_HAD_AGREED,R_14_3_THEY,R_14_6_TO_GO)
& to_go(R_14_6_TO_GO,R_14_3_THEY)
& into_clr24(R_14_6_TO_GO,R_14_9_RECESS)
& for_nim30(R_14_6_TO_GO,R_14_11_THE_PERIOD)
& the_period(R_14_11_THE_PERIOD)
& attrib33(R_14_11_THE_PERIOD,R_14_12_USUAL)
& attrib36(R_14_11_THE_PERIOD,R_14_13_THREE_HYPHEN_WEEK) )
=> ? [R_14_17_WOULD_HAVE_BEEN,R_14_18_STILL,R_14_21_ABLE,R_14_22_TO_PERFORM,Z_14_A_UKSC_JUDGMENT_60,R_14_25_FUNCTION,R_14_16_THEY,R_14_27_HOLDING,Z_14_A_UKSC_JUDGMENT_74,R_14_28_THE_GOVERNMENT,R_14_31_ACCOUNT] :
( still(R_14_18_STILL)
& they(R_14_16_THEY)
& the_government(R_14_28_THE_GOVERNMENT)
& account(R_14_31_ACCOUNT)
& would_have_been(R_14_17_WOULD_HAVE_BEEN,R_14_16_THEY,R_14_21_ABLE)
& able(R_14_21_ABLE)
& emb60(R_14_21_ABLE,R_14_22_TO_PERFORM)
& to_perform(R_14_22_TO_PERFORM,Z_14_A_UKSC_JUDGMENT_60,R_14_25_FUNCTION)
& function(R_14_25_FUNCTION)
& gen(R_14_25_FUNCTION,R_14_16_THEY)
& of(R_14_25_FUNCTION,R_14_27_HOLDING)
& holding(R_14_27_HOLDING,Z_14_A_UKSC_JUDGMENT_74,R_14_28_THE_GOVERNMENT)
& to_clr85(R_14_27_HOLDING,R_14_31_ACCOUNT)
& nim49(R_14_17_WOULD_HAVE_BEEN,R_14_18_STILL) ) ) ).
n14_a_uksc_judgment
n14_a_uksc_judgment_4
Even
n14_a_uksc_judgment_6
if
n14_a_uksc_judgment_10
they
n14_a_uksc_judgment_12
had
n14_a_uksc_judgment_15
agreed
n14_a_uksc_judgment_18
to
n14_a_uksc_judgment_20
go
n14_a_uksc_judgment_23
into
n14_a_uksc_judgment_26
recess
n14_a_uksc_judgment_29
for
n14_a_uksc_judgment_32
the
n14_a_uksc_judgment_35
usual
n14_a_uksc_judgment_38
three-week
n14_a_uksc_judgment_40
period
n14_a_uksc_judgment_42
,
n14_a_uksc_judgment_45
they
n14_a_uksc_judgment_47
would
n14_a_uksc_judgment_51
still
n14_a_uksc_judgment_53
have
n14_a_uksc_judgment_56
been
n14_a_uksc_judgment_59
able
n14_a_uksc_judgment_62
to
n14_a_uksc_judgment_64
perform
n14_a_uksc_judgment_68
their
n14_a_uksc_judgment_70
function
n14_a_uksc_judgment_73
of
n14_a_uksc_judgment_76
holding
n14_a_uksc_judgment_79
the
n14_a_uksc_judgment_81
government
n14_a_uksc_judgment_84
to
n14_a_uksc_judgment_87
account
n14_a_uksc_judgment_89
.
n14_a_uksc_judgment_1
IP-MAT
n14_a_uksc_judgment_2
PP-SCON
n14_a_uksc_judgment_1->n14_a_uksc_judgment_2
n14_a_uksc_judgment_41
PUNC
n14_a_uksc_judgment_1->n14_a_uksc_judgment_41
n14_a_uksc_judgment_43
NP-SBJ
n14_a_uksc_judgment_1->n14_a_uksc_judgment_43
n14_a_uksc_judgment_46
MD;_cat_Vi_
n14_a_uksc_judgment_1->n14_a_uksc_judgment_46
n14_a_uksc_judgment_48
IP-INF-CAT
n14_a_uksc_judgment_1->n14_a_uksc_judgment_48
n14_a_uksc_judgment_88
PUNC
n14_a_uksc_judgment_1->n14_a_uksc_judgment_88
n14_a_uksc_judgment_3
ADV
n14_a_uksc_judgment_2->n14_a_uksc_judgment_3
n14_a_uksc_judgment_5
P-CONN
n14_a_uksc_judgment_2->n14_a_uksc_judgment_5
n14_a_uksc_judgment_7
IP-ADV
n14_a_uksc_judgment_2->n14_a_uksc_judgment_7
n14_a_uksc_judgment_3->n14_a_uksc_judgment_4
n14_a_uksc_judgment_5->n14_a_uksc_judgment_6
n14_a_uksc_judgment_8
NP-SBJ
n14_a_uksc_judgment_7->n14_a_uksc_judgment_8
n14_a_uksc_judgment_11
HVD;_cat_Ve_
n14_a_uksc_judgment_7->n14_a_uksc_judgment_11
n14_a_uksc_judgment_13
IP-PPL-CAT
n14_a_uksc_judgment_7->n14_a_uksc_judgment_13
n14_a_uksc_judgment_9
PRO
n14_a_uksc_judgment_8->n14_a_uksc_judgment_9
n14_a_uksc_judgment_9->n14_a_uksc_judgment_10
n14_a_uksc_judgment_11->n14_a_uksc_judgment_12
n14_a_uksc_judgment_14
VVN;_Tt_
n14_a_uksc_judgment_13->n14_a_uksc_judgment_14
n14_a_uksc_judgment_16
IP-INF-OB1
n14_a_uksc_judgment_13->n14_a_uksc_judgment_16
n14_a_uksc_judgment_14->n14_a_uksc_judgment_15
n14_a_uksc_judgment_17
TO
n14_a_uksc_judgment_16->n14_a_uksc_judgment_17
n14_a_uksc_judgment_19
VB;_Ipr_
n14_a_uksc_judgment_16->n14_a_uksc_judgment_19
n14_a_uksc_judgment_21
PP-CLR
n14_a_uksc_judgment_16->n14_a_uksc_judgment_21
n14_a_uksc_judgment_27
PP-NIM
n14_a_uksc_judgment_16->n14_a_uksc_judgment_27
n14_a_uksc_judgment_17->n14_a_uksc_judgment_18
n14_a_uksc_judgment_19->n14_a_uksc_judgment_20
n14_a_uksc_judgment_22
P-ROLE
n14_a_uksc_judgment_21->n14_a_uksc_judgment_22
n14_a_uksc_judgment_24
NP
n14_a_uksc_judgment_21->n14_a_uksc_judgment_24
n14_a_uksc_judgment_22->n14_a_uksc_judgment_23
n14_a_uksc_judgment_25
N
n14_a_uksc_judgment_24->n14_a_uksc_judgment_25
n14_a_uksc_judgment_25->n14_a_uksc_judgment_26
n14_a_uksc_judgment_28
P-ROLE
n14_a_uksc_judgment_27->n14_a_uksc_judgment_28
n14_a_uksc_judgment_30
NP
n14_a_uksc_judgment_27->n14_a_uksc_judgment_30
n14_a_uksc_judgment_28->n14_a_uksc_judgment_29
n14_a_uksc_judgment_31
D
n14_a_uksc_judgment_30->n14_a_uksc_judgment_31
n14_a_uksc_judgment_33
ADJP
n14_a_uksc_judgment_30->n14_a_uksc_judgment_33
n14_a_uksc_judgment_36
ADJP
n14_a_uksc_judgment_30->n14_a_uksc_judgment_36
n14_a_uksc_judgment_39
N
n14_a_uksc_judgment_30->n14_a_uksc_judgment_39
n14_a_uksc_judgment_31->n14_a_uksc_judgment_32
n14_a_uksc_judgment_34
ADJ
n14_a_uksc_judgment_33->n14_a_uksc_judgment_34
n14_a_uksc_judgment_34->n14_a_uksc_judgment_35
n14_a_uksc_judgment_37
ADJ
n14_a_uksc_judgment_36->n14_a_uksc_judgment_37
n14_a_uksc_judgment_37->n14_a_uksc_judgment_38
n14_a_uksc_judgment_39->n14_a_uksc_judgment_40
n14_a_uksc_judgment_41->n14_a_uksc_judgment_42
n14_a_uksc_judgment_44
PRO
n14_a_uksc_judgment_43->n14_a_uksc_judgment_44
n14_a_uksc_judgment_44->n14_a_uksc_judgment_45
n14_a_uksc_judgment_46->n14_a_uksc_judgment_47
n14_a_uksc_judgment_49
ADVP-NIM
n14_a_uksc_judgment_48->n14_a_uksc_judgment_49
n14_a_uksc_judgment_52
HV;_cat_Ve_
n14_a_uksc_judgment_48->n14_a_uksc_judgment_52
n14_a_uksc_judgment_54
IP-PPL-CAT
n14_a_uksc_judgment_48->n14_a_uksc_judgment_54
n14_a_uksc_judgment_50
ADV
n14_a_uksc_judgment_49->n14_a_uksc_judgment_50
n14_a_uksc_judgment_50->n14_a_uksc_judgment_51
n14_a_uksc_judgment_52->n14_a_uksc_judgment_53
n14_a_uksc_judgment_55
BEN;_La_
n14_a_uksc_judgment_54->n14_a_uksc_judgment_55
n14_a_uksc_judgment_57
ADJP-PRD
n14_a_uksc_judgment_54->n14_a_uksc_judgment_57
n14_a_uksc_judgment_55->n14_a_uksc_judgment_56
n14_a_uksc_judgment_58
ADJ;_cat_
n14_a_uksc_judgment_57->n14_a_uksc_judgment_58
n14_a_uksc_judgment_60
IP-INF
n14_a_uksc_judgment_57->n14_a_uksc_judgment_60
n14_a_uksc_judgment_58->n14_a_uksc_judgment_59
n14_a_uksc_judgment_61
TO
n14_a_uksc_judgment_60->n14_a_uksc_judgment_61
n14_a_uksc_judgment_63
VB;_Tn_
n14_a_uksc_judgment_60->n14_a_uksc_judgment_63
n14_a_uksc_judgment_65
NP-OB1
n14_a_uksc_judgment_60->n14_a_uksc_judgment_65
n14_a_uksc_judgment_61->n14_a_uksc_judgment_62
n14_a_uksc_judgment_63->n14_a_uksc_judgment_64
n14_a_uksc_judgment_66
NP-GEN
n14_a_uksc_judgment_65->n14_a_uksc_judgment_66
n14_a_uksc_judgment_69
N
n14_a_uksc_judgment_65->n14_a_uksc_judgment_69
n14_a_uksc_judgment_71
PP
n14_a_uksc_judgment_65->n14_a_uksc_judgment_71
n14_a_uksc_judgment_67
PRO;_genm_
n14_a_uksc_judgment_66->n14_a_uksc_judgment_67
n14_a_uksc_judgment_67->n14_a_uksc_judgment_68
n14_a_uksc_judgment_69->n14_a_uksc_judgment_70
n14_a_uksc_judgment_72
P-ROLE
n14_a_uksc_judgment_71->n14_a_uksc_judgment_72
n14_a_uksc_judgment_74
IP-PPL
n14_a_uksc_judgment_71->n14_a_uksc_judgment_74
n14_a_uksc_judgment_72->n14_a_uksc_judgment_73
n14_a_uksc_judgment_75
VAG;_Tn.pr_
n14_a_uksc_judgment_74->n14_a_uksc_judgment_75
n14_a_uksc_judgment_77
NP-OB1
n14_a_uksc_judgment_74->n14_a_uksc_judgment_77
n14_a_uksc_judgment_82
PP-CLR
n14_a_uksc_judgment_74->n14_a_uksc_judgment_82
n14_a_uksc_judgment_75->n14_a_uksc_judgment_76
n14_a_uksc_judgment_78
D
n14_a_uksc_judgment_77->n14_a_uksc_judgment_78
n14_a_uksc_judgment_80
N
n14_a_uksc_judgment_77->n14_a_uksc_judgment_80
n14_a_uksc_judgment_78->n14_a_uksc_judgment_79
n14_a_uksc_judgment_80->n14_a_uksc_judgment_81
n14_a_uksc_judgment_83
P-ROLE
n14_a_uksc_judgment_82->n14_a_uksc_judgment_83
n14_a_uksc_judgment_85
NP
n14_a_uksc_judgment_82->n14_a_uksc_judgment_85
n14_a_uksc_judgment_83->n14_a_uksc_judgment_84
n14_a_uksc_judgment_86
N
n14_a_uksc_judgment_85->n14_a_uksc_judgment_86
n14_a_uksc_judgment_86->n14_a_uksc_judgment_87
n14_a_uksc_judgment_88->n14_a_uksc_judgment_89
( (IP-MAT (PP-SCON (ADV Even;{even})
(P-CONN if;{if})
(IP-ADV (NP-SBJ;{PARLIAMENT} (PRO they;{they}))
(HVD;_cat_Ve_ had;{have})
(IP-PPL-CAT (VVN;_Tt_ agreed;{agree})
(IP-INF-OB1 (TO to;{to})
(VB;_Ipr_ go;{go[into]})
(PP-CLR (P-ROLE into;{into})
(NP (N recess;{recess})))
(PP-NIM (P-ROLE for;{for})
(NP (D the;{the})
(ADJP (ADJ usual;{usual}))
(ADJP (ADJ three_<hyphen>_week;{three_week}))
(N period;{period})))))))
(PUNC ,)
(NP-SBJ;{PARLIAMENT} (PRO they;{they}))
(MD;_cat_Vi_ would;{will})
(IP-INF-CAT (ADVP-NIM (ADV still;{still}))
(HV;_cat_Ve_ have;{have})
(IP-PPL-CAT (BEN;_La_ been;{be})
(ADJP-PRD (ADJ;_cat_ able;{able})
(IP-INF (TO to;{to})
(VB;_Tn_ perform;{perform})
(NP-OB1;{FUNCTION} (NP-GEN;{PARLIAMENT} (PRO;_genm_ their;{their}))
(N function;{function})
(PP (P-ROLE of;{of})
(IP-PPL (VAG;_Tn.pr_ holding;{hold[to]})
(NP-OB1 (D the;{the})
(N government;{government}))
(PP-CLR (P-ROLE to;{to})
(NP (N account;{account}))))))))))
(PUNC .))
(ID 14_a_uksc_judgment))