8_a_lob_a01
%3
r_0008_0002__believes
believes
r_0008_0001__He
He
r_0008_0002__believes->r_0008_0001__He
[arg0]
r_0008_0011__and
and
r_0008_0002__believes->r_0008_0011__and
[arg1]
r_0008_0003__that_r_0008_0008__should
that should
r_0008_0011__and->r_0008_0003__that_r_0008_0008__should
[conj1]
r_0008_0015__not
not
r_0008_0011__and->r_0008_0015__not
[conj2]
r_0008_0009__be
be
r_0008_0003__that_r_0008_0008__should->r_0008_0009__be
[scope]
r_0008_0010__abolished
abolished
r_0008_0009__be->r_0008_0010__abolished
[scope]
r_0008_0004__the_r_0008_0005__House
the House
r_0008_0007__Lords
Lords
r_0008_0004__the_r_0008_0005__House->r_0008_0007__Lords
of
r_0008_0010__abolished->r_0008_0004__the_r_0008_0005__House
[arg1]
z_000_8_a_lob_a01_30
r_0008_0010__abolished->z_000_8_a_lob_a01_30
[arg0]
r_0008_0012__that_r_0008_0014__should
that should
r_0008_0015__not->r_0008_0012__that_r_0008_0014__should
[keep_scope]
r_0008_0016__take
take
r_0008_0012__that_r_0008_0014__should->r_0008_0016__take
[scope]
r_0008_0013__labour
labour
r_0008_0016__take->r_0008_0013__labour
[arg0]
r_0008_0017__any_r_0008_0018__steps
any steps
r_0008_0016__take->r_0008_0017__any_r_0008_0018__steps
[arg1]
r_0008_0020__would
would
r_0008_0021__appear
appear
r_0008_0020__would->r_0008_0021__appear
[scope]
r_0008_0022__to_r_0008_0024__prop_r_0008_0025__up
to prop up
r_0008_0021__appear->r_0008_0022__to_r_0008_0024__prop_r_0008_0025__up
[scope]
r_0008_0022__to_r_0008_0024__prop_r_0008_0025__up->r_0008_0017__any_r_0008_0018__steps
[arg0]
r_0008_0027__an_r_0008_0029__institution
an institution
r_0008_0022__to_r_0008_0024__prop_r_0008_0025__up->r_0008_0027__an_r_0008_0029__institution
[arg1]
r_0008_0028__out__hyphen__dated
out-dated
r_0008_0027__an_r_0008_0029__institution->r_0008_0028__out__hyphen__dated
[attrib]
arc(r_0008_0002__believes, r_0008_0001__He, arg0).
arc(r_0008_0002__believes, r_0008_0011__and, arg1).
arc(r_0008_0003__that_r_0008_0008__should, r_0008_0009__be, scope).
arc(r_0008_0004__the_r_0008_0005__House, r_0008_0007__Lords, r_0008_0006__of).
arc(r_0008_0009__be, r_0008_0010__abolished, scope).
arc(r_0008_0010__abolished, r_0008_0004__the_r_0008_0005__House, arg1).
arc(r_0008_0010__abolished, z_000_8_a_lob_a01_30, arg0).
arc(r_0008_0011__and, r_0008_0003__that_r_0008_0008__should, conj1).
arc(r_0008_0011__and, r_0008_0015__not, conj2).
arc(r_0008_0012__that_r_0008_0014__should, r_0008_0016__take, scope).
arc(r_0008_0015__not, r_0008_0012__that_r_0008_0014__should, keep_scope).
arc(r_0008_0016__take, r_0008_0013__labour, arg0).
arc(r_0008_0016__take, r_0008_0017__any_r_0008_0018__steps, arg1).
arc(r_0008_0020__would, r_0008_0021__appear, scope).
arc(r_0008_0021__appear, r_0008_0022__to_r_0008_0024__prop_r_0008_0025__up, scope).
arc(r_0008_0022__to_r_0008_0024__prop_r_0008_0025__up, r_0008_0017__any_r_0008_0018__steps, arg0).
arc(r_0008_0022__to_r_0008_0024__prop_r_0008_0025__up, r_0008_0027__an_r_0008_0029__institution, arg1).
arc(r_0008_0027__an_r_0008_0029__institution, r_0008_0028__out__hyphen__dated, attrib78).
%3
r_0008_0002__believes
believes
r_0008_0001__He
He
r_0008_0002__believes->r_0008_0001__He
[arg0]
r_0008_0011__and
and
r_0008_0002__believes->r_0008_0011__and
[arg1]
r_0008_0003__that_r_0008_0008__should_r_0008_0009__be_r_0008_0010__abolished
that should be abolished
r_0008_0011__and->r_0008_0003__that_r_0008_0008__should_r_0008_0009__be_r_0008_0010__abolished
[conj1]
r_0008_0015__not
not
r_0008_0011__and->r_0008_0015__not
[conj2]
r_0008_0004__the_r_0008_0005__House
the House
r_0008_0003__that_r_0008_0008__should_r_0008_0009__be_r_0008_0010__abolished->r_0008_0004__the_r_0008_0005__House
[arg1]
z_000_8_a_lob_a01_30
r_0008_0003__that_r_0008_0008__should_r_0008_0009__be_r_0008_0010__abolished->z_000_8_a_lob_a01_30
[arg0]
r_0008_0007__Lords
Lords
r_0008_0004__the_r_0008_0005__House->r_0008_0007__Lords
of
r_0008_0012__that_r_0008_0014__should_r_0008_0016__take
that should take
r_0008_0015__not->r_0008_0012__that_r_0008_0014__should_r_0008_0016__take
[keep_scope]
r_0008_0013__labour
labour
r_0008_0012__that_r_0008_0014__should_r_0008_0016__take->r_0008_0013__labour
[arg0]
r_0008_0017__any_r_0008_0018__steps
any steps
r_0008_0012__that_r_0008_0014__should_r_0008_0016__take->r_0008_0017__any_r_0008_0018__steps
[arg1]
r_0008_0020__would_r_0008_0021__appear_r_0008_0022__to_r_0008_0024__prop_r_0008_0025__up
would appear to prop up
r_0008_0020__would_r_0008_0021__appear_r_0008_0022__to_r_0008_0024__prop_r_0008_0025__up->r_0008_0017__any_r_0008_0018__steps
[arg0]
r_0008_0027__an_r_0008_0029__institution
an institution
r_0008_0020__would_r_0008_0021__appear_r_0008_0022__to_r_0008_0024__prop_r_0008_0025__up->r_0008_0027__an_r_0008_0029__institution
[arg1]
r_0008_0028__out__hyphen__dated
out-dated
r_0008_0027__an_r_0008_0029__institution->r_0008_0028__out__hyphen__dated
[attrib]
fof(formula,axiom,
? [R_8_2_BELIEVES,R_8_1_HE,R_8_11_AND,R_8_3_THAT_SHOULD_BE_ABOLISHED,Z_8_A_LOB_A01_30,R_8_4_THE_HOUSE,R_8_7_LORDS,R_8_20_WOULD_APPEAR_TO_PROP_UP,R_8_17_ANY_STEPS,R_8_27_AN_INSTITUTION,R_8_28_OUT_HYPHEN_DATED] :
( he(R_8_1_HE)
& lords(R_8_7_LORDS)
& any_steps(R_8_17_ANY_STEPS)
& out_hyphen_dated(R_8_28_OUT_HYPHEN_DATED)
& believes(R_8_2_BELIEVES,R_8_1_HE,R_8_11_AND)
& and(R_8_11_AND)
& conj1(R_8_11_AND,R_8_3_THAT_SHOULD_BE_ABOLISHED)
& that_should_be_abolished(R_8_3_THAT_SHOULD_BE_ABOLISHED,Z_8_A_LOB_A01_30,R_8_4_THE_HOUSE)
& the_House(R_8_4_THE_HOUSE)
& of(R_8_4_THE_HOUSE,R_8_7_LORDS)
& conj2(R_8_11_AND,R_8_15_NOT)
& ~ ? [R_8_12_THAT_SHOULD_TAKE,R_8_13_LABOUR] :
( labour(R_8_13_LABOUR)
& that_should_take(R_8_12_THAT_SHOULD_TAKE,R_8_13_LABOUR,R_8_17_ANY_STEPS) )
& would_appear_to_prop_up(R_8_20_WOULD_APPEAR_TO_PROP_UP,R_8_17_ANY_STEPS,R_8_27_AN_INSTITUTION)
& an_institution(R_8_27_AN_INSTITUTION)
& attrib78(R_8_27_AN_INSTITUTION,R_8_28_OUT_HYPHEN_DATED) ) ).
n8_a_lob_a01
n8_a_lob_a01_4
He
n8_a_lob_a01_6
believes
n8_a_lob_a01_12
that
n8_a_lob_a01_15
the
n8_a_lob_a01_17
House
n8_a_lob_a01_20
of
n8_a_lob_a01_23
Lords
n8_a_lob_a01_25
should
n8_a_lob_a01_28
be
n8_a_lob_a01_31
*
n8_a_lob_a01_33
abolished
n8_a_lob_a01_36
and
n8_a_lob_a01_39
that
n8_a_lob_a01_42
labour
n8_a_lob_a01_44
should
n8_a_lob_a01_46
not
n8_a_lob_a01_49
take
n8_a_lob_a01_52
any
n8_a_lob_a01_54
steps
n8_a_lob_a01_58
which
n8_a_lob_a01_60
would
n8_a_lob_a01_63
appear
n8_a_lob_a01_66
to
n8_a_lob_a01_68
<lquo>
n8_a_lob_a01_70
prop
n8_a_lob_a01_72
up
n8_a_lob_a01_74
<rquo>
n8_a_lob_a01_77
an
n8_a_lob_a01_80
out-dated
n8_a_lob_a01_82
institution
n8_a_lob_a01_84
.
n8_a_lob_a01_1
IP-MAT
n8_a_lob_a01_2
NP-SBJ
n8_a_lob_a01_1->n8_a_lob_a01_2
n8_a_lob_a01_5
VBP;_Tf_
n8_a_lob_a01_1->n8_a_lob_a01_5
n8_a_lob_a01_7
CP-THT-OB1
n8_a_lob_a01_1->n8_a_lob_a01_7
n8_a_lob_a01_83
PUNC
n8_a_lob_a01_1->n8_a_lob_a01_83
n8_a_lob_a01_3
PRO
n8_a_lob_a01_2->n8_a_lob_a01_3
n8_a_lob_a01_3->n8_a_lob_a01_4
n8_a_lob_a01_5->n8_a_lob_a01_6
n8_a_lob_a01_8
IP-SUB
n8_a_lob_a01_7->n8_a_lob_a01_8
n8_a_lob_a01_9
ILYR
n8_a_lob_a01_8->n8_a_lob_a01_9
n8_a_lob_a01_10
ILYR
n8_a_lob_a01_9->n8_a_lob_a01_10
n8_a_lob_a01_34
CONJP
n8_a_lob_a01_9->n8_a_lob_a01_34
n8_a_lob_a01_11
C
n8_a_lob_a01_10->n8_a_lob_a01_11
n8_a_lob_a01_13
NP-SBJ
n8_a_lob_a01_10->n8_a_lob_a01_13
n8_a_lob_a01_24
MD;_cat_Vi_
n8_a_lob_a01_10->n8_a_lob_a01_24
n8_a_lob_a01_26
IP-INF-CAT
n8_a_lob_a01_10->n8_a_lob_a01_26
n8_a_lob_a01_11->n8_a_lob_a01_12
n8_a_lob_a01_14
D
n8_a_lob_a01_13->n8_a_lob_a01_14
n8_a_lob_a01_16
NPR
n8_a_lob_a01_13->n8_a_lob_a01_16
n8_a_lob_a01_18
PP
n8_a_lob_a01_13->n8_a_lob_a01_18
n8_a_lob_a01_14->n8_a_lob_a01_15
n8_a_lob_a01_16->n8_a_lob_a01_17
n8_a_lob_a01_19
P-ROLE
n8_a_lob_a01_18->n8_a_lob_a01_19
n8_a_lob_a01_21
NP
n8_a_lob_a01_18->n8_a_lob_a01_21
n8_a_lob_a01_19->n8_a_lob_a01_20
n8_a_lob_a01_22
NS
n8_a_lob_a01_21->n8_a_lob_a01_22
n8_a_lob_a01_22->n8_a_lob_a01_23
n8_a_lob_a01_24->n8_a_lob_a01_25
n8_a_lob_a01_27
BE;_cat_VePASS_
n8_a_lob_a01_26->n8_a_lob_a01_27
n8_a_lob_a01_29
IP-PPL-CAT
n8_a_lob_a01_26->n8_a_lob_a01_29
n8_a_lob_a01_27->n8_a_lob_a01_28
n8_a_lob_a01_30
NP-LGS
n8_a_lob_a01_29->n8_a_lob_a01_30
n8_a_lob_a01_32
VVN;_Tn_
n8_a_lob_a01_29->n8_a_lob_a01_32
n8_a_lob_a01_30->n8_a_lob_a01_31
n8_a_lob_a01_32->n8_a_lob_a01_33
n8_a_lob_a01_35
CONJ
n8_a_lob_a01_34->n8_a_lob_a01_35
n8_a_lob_a01_37
ILYR
n8_a_lob_a01_34->n8_a_lob_a01_37
n8_a_lob_a01_35->n8_a_lob_a01_36
n8_a_lob_a01_38
C
n8_a_lob_a01_37->n8_a_lob_a01_38
n8_a_lob_a01_40
NP-SBJ
n8_a_lob_a01_37->n8_a_lob_a01_40
n8_a_lob_a01_43
MD;_cat_Vi_
n8_a_lob_a01_37->n8_a_lob_a01_43
n8_a_lob_a01_45
NEG
n8_a_lob_a01_37->n8_a_lob_a01_45
n8_a_lob_a01_47
IP-INF-CAT
n8_a_lob_a01_37->n8_a_lob_a01_47
n8_a_lob_a01_38->n8_a_lob_a01_39
n8_a_lob_a01_41
N
n8_a_lob_a01_40->n8_a_lob_a01_41
n8_a_lob_a01_41->n8_a_lob_a01_42
n8_a_lob_a01_43->n8_a_lob_a01_44
n8_a_lob_a01_45->n8_a_lob_a01_46
n8_a_lob_a01_48
VB;_Tn_
n8_a_lob_a01_47->n8_a_lob_a01_48
n8_a_lob_a01_50
NP-OB1
n8_a_lob_a01_47->n8_a_lob_a01_50
n8_a_lob_a01_48->n8_a_lob_a01_49
n8_a_lob_a01_51
D
n8_a_lob_a01_50->n8_a_lob_a01_51
n8_a_lob_a01_53
NS
n8_a_lob_a01_50->n8_a_lob_a01_53
n8_a_lob_a01_55
IP-REL
n8_a_lob_a01_50->n8_a_lob_a01_55
n8_a_lob_a01_51->n8_a_lob_a01_52
n8_a_lob_a01_53->n8_a_lob_a01_54
n8_a_lob_a01_56
NP-SBJ
n8_a_lob_a01_55->n8_a_lob_a01_56
n8_a_lob_a01_59
MD;_cat_Vi_
n8_a_lob_a01_55->n8_a_lob_a01_59
n8_a_lob_a01_61
IP-INF-CAT
n8_a_lob_a01_55->n8_a_lob_a01_61
n8_a_lob_a01_57
RPRO
n8_a_lob_a01_56->n8_a_lob_a01_57
n8_a_lob_a01_57->n8_a_lob_a01_58
n8_a_lob_a01_59->n8_a_lob_a01_60
n8_a_lob_a01_62
VB;_cat_Vt_
n8_a_lob_a01_61->n8_a_lob_a01_62
n8_a_lob_a01_64
IP-INF-CAT
n8_a_lob_a01_61->n8_a_lob_a01_64
n8_a_lob_a01_62->n8_a_lob_a01_63
n8_a_lob_a01_65
TO
n8_a_lob_a01_64->n8_a_lob_a01_65
n8_a_lob_a01_67
PULQ
n8_a_lob_a01_64->n8_a_lob_a01_67
n8_a_lob_a01_69
VB;_phr_Vn<=>p_
n8_a_lob_a01_64->n8_a_lob_a01_69
n8_a_lob_a01_71
RP
n8_a_lob_a01_64->n8_a_lob_a01_71
n8_a_lob_a01_73
PURQ
n8_a_lob_a01_64->n8_a_lob_a01_73
n8_a_lob_a01_75
NP-OB1
n8_a_lob_a01_64->n8_a_lob_a01_75
n8_a_lob_a01_65->n8_a_lob_a01_66
n8_a_lob_a01_67->n8_a_lob_a01_68
n8_a_lob_a01_69->n8_a_lob_a01_70
n8_a_lob_a01_71->n8_a_lob_a01_72
n8_a_lob_a01_73->n8_a_lob_a01_74
n8_a_lob_a01_76
D
n8_a_lob_a01_75->n8_a_lob_a01_76
n8_a_lob_a01_78
ADJP
n8_a_lob_a01_75->n8_a_lob_a01_78
n8_a_lob_a01_81
N
n8_a_lob_a01_75->n8_a_lob_a01_81
n8_a_lob_a01_76->n8_a_lob_a01_77
n8_a_lob_a01_79
ADJ
n8_a_lob_a01_78->n8_a_lob_a01_79
n8_a_lob_a01_79->n8_a_lob_a01_80
n8_a_lob_a01_81->n8_a_lob_a01_82
n8_a_lob_a01_83->n8_a_lob_a01_84
( (IP-MAT (NP-SBJ;{FOOT} (PRO He;{he}))
(VBP;_Tf_ believes;{believe})
(CP-THT-OB1 (IP-SUB (ILYR (ILYR (C that;{that})
(NP-SBJ (D the;{the})
(NPR House;{House})
(PP (P-ROLE of;{of})
(NP (NS Lords;{lord}))))
(MD;_cat_Vi_ should;{shall})
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ abolished;{abolish}))))
(CONJP (CONJ and;{and})
(ILYR (C that;{that})
(NP-SBJ (N labour;{labour}))
(MD;_cat_Vi_ should;{shall})
(NEG not;{not})
(IP-INF-CAT (VB;_Tn_ take;{take})
(NP-OB1 (D any;{any})
(NS steps;{step})
(IP-REL (NP-SBJ (RPRO which;{which}))
(MD;_cat_Vi_ would;{will})
(IP-INF-CAT (VB;_cat_Vt_ appear;{appear})
(IP-INF-CAT (TO to;{to})
(PULQ <lquo>)
(VB;_phr_Vn<=>p_ prop;{prop[up]})
(RP up;{up})
(PURQ <rquo>)
(NP-OB1 (D an;{an})
(ADJP (ADJ out_<hyphen>_dated;{out_dated}))
(N institution;{institution}))))))))))))
(PUNC .))
(ID 8_a_lob_a01))