85_a_lob_a02
%3
r_0085_0003__is
is
r_0085_0004__expected
expected
r_0085_0003__is->r_0085_0004__expected
[scope]
r_0085_0005__today
today
r_0085_0004__expected->r_0085_0005__today
[nim]
r_0085_0017__provided
provided
r_0085_0004__expected->r_0085_0017__provided
[arg1]
z_000_85_a_lob_a02_10
r_0085_0004__expected->z_000_85_a_lob_a02_10
[arg0]
r_0085_0006__to_r_0085_0007__hold
to hold
r_0085_0017__provided->r_0085_0006__to_r_0085_0007__hold
[scope]
r_0085_0021__is
is
r_0085_0017__provided->r_0085_0021__is
[restriction]
r_0085_0001__A_r_0085_0002__statement
A statement
r_0085_0006__to_r_0085_0007__hold->r_0085_0001__A_r_0085_0002__statement
[arg0]
r_0085_0008__the_r_0085_0009__door
the door
r_0085_0006__to_r_0085_0007__hold->r_0085_0008__the_r_0085_0009__door
[arg1]
r_0085_0010__open
open
r_0085_0006__to_r_0085_0007__hold->r_0085_0010__open
[prd]
r_0085_0012__modifications
modifications
r_0085_0010__open->r_0085_0012__modifications
for
r_0085_0014__the_r_0085_0016__constitution
the constitution
r_0085_0012__modifications->r_0085_0014__the_r_0085_0016__constitution
to
r_0085_0015__new
new
r_0085_0014__the_r_0085_0016__constitution->r_0085_0015__new
[attrib]
r_0085_0022__maintained
maintained
r_0085_0021__is->r_0085_0022__maintained
[scope]
r_0085_0019__and
and
r_0085_0018__law
law
r_0085_0019__and->r_0085_0018__law
[conj1]
r_0085_0020__order
order
r_0085_0019__and->r_0085_0020__order
[conj2]
r_0085_0022__maintained->r_0085_0019__and
[arg1]
r_0085_0024__Northern_r_0085_0025__Rhodesia
Northern Rhodesia
r_0085_0022__maintained->r_0085_0024__Northern_r_0085_0025__Rhodesia
in [nim]
z_000_85_a_lob_a02_65
r_0085_0022__maintained->z_000_85_a_lob_a02_65
[arg0]
arc(r_0085_0003__is, r_0085_0004__expected, scope).
arc(r_0085_0004__expected, r_0085_0005__today, nim14).
arc(r_0085_0004__expected, r_0085_0017__provided, arg1).
arc(r_0085_0004__expected, z_000_85_a_lob_a02_10, arg0).
arc(r_0085_0006__to_r_0085_0007__hold, r_0085_0001__A_r_0085_0002__statement, arg0).
arc(r_0085_0006__to_r_0085_0007__hold, r_0085_0008__the_r_0085_0009__door, arg1).
arc(r_0085_0006__to_r_0085_0007__hold, r_0085_0010__open, prd).
arc(r_0085_0010__open, r_0085_0012__modifications, r_0085_0011__for).
arc(r_0085_0012__modifications, r_0085_0014__the_r_0085_0016__constitution, r_0085_0013__to).
arc(r_0085_0014__the_r_0085_0016__constitution, r_0085_0015__new, attrib42).
arc(r_0085_0017__provided, r_0085_0006__to_r_0085_0007__hold, scope).
arc(r_0085_0017__provided, r_0085_0021__is, restriction).
arc(r_0085_0019__and, r_0085_0018__law, conj1).
arc(r_0085_0019__and, r_0085_0020__order, conj2).
arc(r_0085_0021__is, r_0085_0022__maintained, scope).
arc(r_0085_0022__maintained, r_0085_0019__and, arg1).
arc(r_0085_0022__maintained, r_0085_0024__Northern_r_0085_0025__Rhodesia, r_0085_0023__in_nim72).
arc(r_0085_0022__maintained, z_000_85_a_lob_a02_65, arg0).
%3
r_0085_0021__is_r_0085_0022__maintained
is maintained
z_000_85_a_lob_a02_65
r_0085_0021__is_r_0085_0022__maintained->z_000_85_a_lob_a02_65
[arg0]
r_0085_0024__Northern_r_0085_0025__Rhodesia
Northern Rhodesia
r_0085_0021__is_r_0085_0022__maintained->r_0085_0024__Northern_r_0085_0025__Rhodesia
in [nim]
r_0085_0019__and
and
r_0085_0021__is_r_0085_0022__maintained->r_0085_0019__and
[arg1]
r_0085_0020__order
order
r_0085_0019__and->r_0085_0020__order
[conj2]
r_0085_0018__law
law
r_0085_0019__and->r_0085_0018__law
[conj1]
r_0085_0017__provided
provided
r_0085_0017__provided->r_0085_0021__is_r_0085_0022__maintained
[conj1]
r_0085_0006__to_r_0085_0007__hold
to hold
r_0085_0017__provided->r_0085_0006__to_r_0085_0007__hold
[conj2]
r_0085_0010__open
open
r_0085_0006__to_r_0085_0007__hold->r_0085_0010__open
[prd]
r_0085_0008__the_r_0085_0009__door
the door
r_0085_0006__to_r_0085_0007__hold->r_0085_0008__the_r_0085_0009__door
[arg1]
r_0085_0001__A_r_0085_0002__statement
A statement
r_0085_0006__to_r_0085_0007__hold->r_0085_0001__A_r_0085_0002__statement
[arg0]
r_0085_0014__the_r_0085_0016__constitution
the constitution
r_0085_0015__new
new
r_0085_0014__the_r_0085_0016__constitution->r_0085_0015__new
[attrib]
r_0085_0012__modifications
modifications
r_0085_0012__modifications->r_0085_0014__the_r_0085_0016__constitution
to
r_0085_0010__open->r_0085_0012__modifications
for
r_0085_0003__is_r_0085_0004__expected
is expected
r_0085_0003__is_r_0085_0004__expected->r_0085_0017__provided
[arg1]
z_000_85_a_lob_a02_10
r_0085_0003__is_r_0085_0004__expected->z_000_85_a_lob_a02_10
[arg0]
r_0085_0005__today
today
r_0085_0003__is_r_0085_0004__expected->r_0085_0005__today
[nim]
fof(formula,axiom,
? [R_85_3_IS_EXPECTED,Z_85_A_LOB_A02_10,R_85_17_PROVIDED,R_85_21_IS_MAINTAINED,Z_85_A_LOB_A02_65,R_85_19_AND,R_85_18_LAW,R_85_20_ORDER,R_85_24_NORTHERN_RHODESIA,R_85_6_TO_HOLD,R_85_1_A_STATEMENT,R_85_8_THE_DOOR,R_85_10_OPEN,R_85_12_MODIFICATIONS,R_85_14_THE_CONSTITUTION,R_85_15_NEW,R_85_5_TODAY] :
( law(R_85_18_LAW)
& order(R_85_20_ORDER)
& northern_Rhodesia(R_85_24_NORTHERN_RHODESIA)
& a_statement(R_85_1_A_STATEMENT)
& the_door(R_85_8_THE_DOOR)
& new(R_85_15_NEW)
& today(R_85_5_TODAY)
& is_expected(R_85_3_IS_EXPECTED,Z_85_A_LOB_A02_10,R_85_17_PROVIDED)
& provided(R_85_17_PROVIDED)
& conj1(R_85_17_PROVIDED,R_85_21_IS_MAINTAINED)
& is_maintained(R_85_21_IS_MAINTAINED,Z_85_A_LOB_A02_65,R_85_19_AND)
& and(R_85_19_AND)
& conj1(R_85_19_AND,R_85_18_LAW)
& conj2(R_85_19_AND,R_85_20_ORDER)
& in_nim72(R_85_21_IS_MAINTAINED,R_85_24_NORTHERN_RHODESIA)
& conj2(R_85_17_PROVIDED,R_85_6_TO_HOLD)
& to_hold(R_85_6_TO_HOLD,R_85_1_A_STATEMENT,R_85_8_THE_DOOR,R_85_10_OPEN)
& open(R_85_10_OPEN)
& for(R_85_10_OPEN,R_85_12_MODIFICATIONS)
& modifications(R_85_12_MODIFICATIONS)
& to(R_85_12_MODIFICATIONS,R_85_14_THE_CONSTITUTION)
& the_constitution(R_85_14_THE_CONSTITUTION)
& attrib42(R_85_14_THE_CONSTITUTION,R_85_15_NEW)
& nim14(R_85_3_IS_EXPECTED,R_85_5_TODAY) ) ).
n85_a_lob_a02
n85_a_lob_a02__1_1_1_1
A
n85_a_lob_a02__1_1_2_1
statement
n85_a_lob_a02__1_2_1
is
n85_a_lob_a02__1_3_1_1
*
n85_a_lob_a02__1_3_2_1
expected
n85_a_lob_a02__1_3_3_1_1
today
n85_a_lob_a02__1_3_4_1_1
to
n85_a_lob_a02__1_3_4_2_1
hold
n85_a_lob_a02__1_3_4_3_1_1
the
n85_a_lob_a02__1_3_4_3_2_1
door
n85_a_lob_a02__1_3_4_4_1_1
open
n85_a_lob_a02__1_3_4_4_2_1_1
for
n85_a_lob_a02__1_3_4_4_2_2_1_1
modifications
n85_a_lob_a02__1_3_4_4_2_2_2_1_1
to
n85_a_lob_a02__1_3_4_4_2_2_2_2_1_1
the
n85_a_lob_a02__1_3_4_4_2_2_2_2_2_1_1
new
n85_a_lob_a02__1_3_4_4_2_2_2_2_3_1
constitution
n85_a_lob_a02__1_3_4_5_1_1
provided
n85_a_lob_a02__1_3_4_5_2_1_1_1_1_1
law
n85_a_lob_a02__1_3_4_5_2_1_1_2_1_1
and
n85_a_lob_a02__1_3_4_5_2_1_1_2_2_1_1
order
n85_a_lob_a02__1_3_4_5_2_2_1
is
n85_a_lob_a02__1_3_4_5_2_3_1_1
*
n85_a_lob_a02__1_3_4_5_2_3_2_1
maintained
n85_a_lob_a02__1_3_4_5_2_3_3_1_1
in
n85_a_lob_a02__1_3_4_5_2_3_3_2_1_1
Northern
n85_a_lob_a02__1_3_4_5_2_3_3_2_2_1
Rhodesia
n85_a_lob_a02__1_4_1
.
n85_a_lob_a02__1
IP-MAT
n85_a_lob_a02__1_1
NP-SBJ
n85_a_lob_a02__1->n85_a_lob_a02__1_1
n85_a_lob_a02__1_2
BEP;_cat_VePASS_
n85_a_lob_a02__1->n85_a_lob_a02__1_2
n85_a_lob_a02__1_3
IP-PPL-CAT
n85_a_lob_a02__1->n85_a_lob_a02__1_3
n85_a_lob_a02__1_4
PUNC
n85_a_lob_a02__1->n85_a_lob_a02__1_4
n85_a_lob_a02__1_1_1
D
n85_a_lob_a02__1_1->n85_a_lob_a02__1_1_1
n85_a_lob_a02__1_1_2
N
n85_a_lob_a02__1_1->n85_a_lob_a02__1_1_2
n85_a_lob_a02__1_1_1->n85_a_lob_a02__1_1_1_1
n85_a_lob_a02__1_1_2->n85_a_lob_a02__1_1_2_1
n85_a_lob_a02__1_2->n85_a_lob_a02__1_2_1
n85_a_lob_a02__1_3_1
NP-LGS
n85_a_lob_a02__1_3->n85_a_lob_a02__1_3_1
n85_a_lob_a02__1_3_2
VVN;_Tnt_
n85_a_lob_a02__1_3->n85_a_lob_a02__1_3_2
n85_a_lob_a02__1_3_3
ADVP-NIM
n85_a_lob_a02__1_3->n85_a_lob_a02__1_3_3
n85_a_lob_a02__1_3_4
IP-INF-OB1
n85_a_lob_a02__1_3->n85_a_lob_a02__1_3_4
n85_a_lob_a02__1_3_1->n85_a_lob_a02__1_3_1_1
n85_a_lob_a02__1_3_2->n85_a_lob_a02__1_3_2_1
n85_a_lob_a02__1_3_3_1
ADV
n85_a_lob_a02__1_3_3->n85_a_lob_a02__1_3_3_1
n85_a_lob_a02__1_3_3_1->n85_a_lob_a02__1_3_3_1_1
n85_a_lob_a02__1_3_4_1
TO
n85_a_lob_a02__1_3_4->n85_a_lob_a02__1_3_4_1
n85_a_lob_a02__1_3_4_2
VB;_Cn.a_
n85_a_lob_a02__1_3_4->n85_a_lob_a02__1_3_4_2
n85_a_lob_a02__1_3_4_3
NP-OB1
n85_a_lob_a02__1_3_4->n85_a_lob_a02__1_3_4_3
n85_a_lob_a02__1_3_4_4
ADJP-PRD
n85_a_lob_a02__1_3_4->n85_a_lob_a02__1_3_4_4
n85_a_lob_a02__1_3_4_5
PP-SCON
n85_a_lob_a02__1_3_4->n85_a_lob_a02__1_3_4_5
n85_a_lob_a02__1_3_4_1->n85_a_lob_a02__1_3_4_1_1
n85_a_lob_a02__1_3_4_2->n85_a_lob_a02__1_3_4_2_1
n85_a_lob_a02__1_3_4_3_1
D
n85_a_lob_a02__1_3_4_3->n85_a_lob_a02__1_3_4_3_1
n85_a_lob_a02__1_3_4_3_2
N
n85_a_lob_a02__1_3_4_3->n85_a_lob_a02__1_3_4_3_2
n85_a_lob_a02__1_3_4_3_1->n85_a_lob_a02__1_3_4_3_1_1
n85_a_lob_a02__1_3_4_3_2->n85_a_lob_a02__1_3_4_3_2_1
n85_a_lob_a02__1_3_4_4_1
ADJ
n85_a_lob_a02__1_3_4_4->n85_a_lob_a02__1_3_4_4_1
n85_a_lob_a02__1_3_4_4_2
PP
n85_a_lob_a02__1_3_4_4->n85_a_lob_a02__1_3_4_4_2
n85_a_lob_a02__1_3_4_4_1->n85_a_lob_a02__1_3_4_4_1_1
n85_a_lob_a02__1_3_4_4_2_1
P-ROLE
n85_a_lob_a02__1_3_4_4_2->n85_a_lob_a02__1_3_4_4_2_1
n85_a_lob_a02__1_3_4_4_2_2
NP
n85_a_lob_a02__1_3_4_4_2->n85_a_lob_a02__1_3_4_4_2_2
n85_a_lob_a02__1_3_4_4_2_1->n85_a_lob_a02__1_3_4_4_2_1_1
n85_a_lob_a02__1_3_4_4_2_2_1
NS
n85_a_lob_a02__1_3_4_4_2_2->n85_a_lob_a02__1_3_4_4_2_2_1
n85_a_lob_a02__1_3_4_4_2_2_2
PP
n85_a_lob_a02__1_3_4_4_2_2->n85_a_lob_a02__1_3_4_4_2_2_2
n85_a_lob_a02__1_3_4_4_2_2_1->n85_a_lob_a02__1_3_4_4_2_2_1_1
n85_a_lob_a02__1_3_4_4_2_2_2_1
P-ROLE
n85_a_lob_a02__1_3_4_4_2_2_2->n85_a_lob_a02__1_3_4_4_2_2_2_1
n85_a_lob_a02__1_3_4_4_2_2_2_2
NP
n85_a_lob_a02__1_3_4_4_2_2_2->n85_a_lob_a02__1_3_4_4_2_2_2_2
n85_a_lob_a02__1_3_4_4_2_2_2_1->n85_a_lob_a02__1_3_4_4_2_2_2_1_1
n85_a_lob_a02__1_3_4_4_2_2_2_2_1
D
n85_a_lob_a02__1_3_4_4_2_2_2_2->n85_a_lob_a02__1_3_4_4_2_2_2_2_1
n85_a_lob_a02__1_3_4_4_2_2_2_2_2
ADJP
n85_a_lob_a02__1_3_4_4_2_2_2_2->n85_a_lob_a02__1_3_4_4_2_2_2_2_2
n85_a_lob_a02__1_3_4_4_2_2_2_2_3
N
n85_a_lob_a02__1_3_4_4_2_2_2_2->n85_a_lob_a02__1_3_4_4_2_2_2_2_3
n85_a_lob_a02__1_3_4_4_2_2_2_2_1->n85_a_lob_a02__1_3_4_4_2_2_2_2_1_1
n85_a_lob_a02__1_3_4_4_2_2_2_2_2_1
ADJ
n85_a_lob_a02__1_3_4_4_2_2_2_2_2->n85_a_lob_a02__1_3_4_4_2_2_2_2_2_1
n85_a_lob_a02__1_3_4_4_2_2_2_2_2_1->n85_a_lob_a02__1_3_4_4_2_2_2_2_2_1_1
n85_a_lob_a02__1_3_4_4_2_2_2_2_3->n85_a_lob_a02__1_3_4_4_2_2_2_2_3_1
n85_a_lob_a02__1_3_4_5_1
P-CONN
n85_a_lob_a02__1_3_4_5->n85_a_lob_a02__1_3_4_5_1
n85_a_lob_a02__1_3_4_5_2
IP-ADV
n85_a_lob_a02__1_3_4_5->n85_a_lob_a02__1_3_4_5_2
n85_a_lob_a02__1_3_4_5_1->n85_a_lob_a02__1_3_4_5_1_1
n85_a_lob_a02__1_3_4_5_2_1
NP-SBJ
n85_a_lob_a02__1_3_4_5_2->n85_a_lob_a02__1_3_4_5_2_1
n85_a_lob_a02__1_3_4_5_2_2
BEP;_cat_VePASS_
n85_a_lob_a02__1_3_4_5_2->n85_a_lob_a02__1_3_4_5_2_2
n85_a_lob_a02__1_3_4_5_2_3
IP-PPL-CAT
n85_a_lob_a02__1_3_4_5_2->n85_a_lob_a02__1_3_4_5_2_3
n85_a_lob_a02__1_3_4_5_2_1_1
NLYR
n85_a_lob_a02__1_3_4_5_2_1->n85_a_lob_a02__1_3_4_5_2_1_1
n85_a_lob_a02__1_3_4_5_2_1_1_1
NLYR
n85_a_lob_a02__1_3_4_5_2_1_1->n85_a_lob_a02__1_3_4_5_2_1_1_1
n85_a_lob_a02__1_3_4_5_2_1_1_2
CONJP
n85_a_lob_a02__1_3_4_5_2_1_1->n85_a_lob_a02__1_3_4_5_2_1_1_2
n85_a_lob_a02__1_3_4_5_2_1_1_1_1
N
n85_a_lob_a02__1_3_4_5_2_1_1_1->n85_a_lob_a02__1_3_4_5_2_1_1_1_1
n85_a_lob_a02__1_3_4_5_2_1_1_1_1->n85_a_lob_a02__1_3_4_5_2_1_1_1_1_1
n85_a_lob_a02__1_3_4_5_2_1_1_2_1
CONJ
n85_a_lob_a02__1_3_4_5_2_1_1_2->n85_a_lob_a02__1_3_4_5_2_1_1_2_1
n85_a_lob_a02__1_3_4_5_2_1_1_2_2
NLYR
n85_a_lob_a02__1_3_4_5_2_1_1_2->n85_a_lob_a02__1_3_4_5_2_1_1_2_2
n85_a_lob_a02__1_3_4_5_2_1_1_2_1->n85_a_lob_a02__1_3_4_5_2_1_1_2_1_1
n85_a_lob_a02__1_3_4_5_2_1_1_2_2_1
N
n85_a_lob_a02__1_3_4_5_2_1_1_2_2->n85_a_lob_a02__1_3_4_5_2_1_1_2_2_1
n85_a_lob_a02__1_3_4_5_2_1_1_2_2_1->n85_a_lob_a02__1_3_4_5_2_1_1_2_2_1_1
n85_a_lob_a02__1_3_4_5_2_2->n85_a_lob_a02__1_3_4_5_2_2_1
n85_a_lob_a02__1_3_4_5_2_3_1
NP-LGS
n85_a_lob_a02__1_3_4_5_2_3->n85_a_lob_a02__1_3_4_5_2_3_1
n85_a_lob_a02__1_3_4_5_2_3_2
VVN;_Tn_
n85_a_lob_a02__1_3_4_5_2_3->n85_a_lob_a02__1_3_4_5_2_3_2
n85_a_lob_a02__1_3_4_5_2_3_3
PP-NIM
n85_a_lob_a02__1_3_4_5_2_3->n85_a_lob_a02__1_3_4_5_2_3_3
n85_a_lob_a02__1_3_4_5_2_3_1->n85_a_lob_a02__1_3_4_5_2_3_1_1
n85_a_lob_a02__1_3_4_5_2_3_2->n85_a_lob_a02__1_3_4_5_2_3_2_1
n85_a_lob_a02__1_3_4_5_2_3_3_1
P-ROLE
n85_a_lob_a02__1_3_4_5_2_3_3->n85_a_lob_a02__1_3_4_5_2_3_3_1
n85_a_lob_a02__1_3_4_5_2_3_3_2
NP
n85_a_lob_a02__1_3_4_5_2_3_3->n85_a_lob_a02__1_3_4_5_2_3_3_2
n85_a_lob_a02__1_3_4_5_2_3_3_1->n85_a_lob_a02__1_3_4_5_2_3_3_1_1
n85_a_lob_a02__1_3_4_5_2_3_3_2_1
NPR
n85_a_lob_a02__1_3_4_5_2_3_3_2->n85_a_lob_a02__1_3_4_5_2_3_3_2_1
n85_a_lob_a02__1_3_4_5_2_3_3_2_2
NPR
n85_a_lob_a02__1_3_4_5_2_3_3_2->n85_a_lob_a02__1_3_4_5_2_3_3_2_2
n85_a_lob_a02__1_3_4_5_2_3_3_2_1->n85_a_lob_a02__1_3_4_5_2_3_3_2_1_1
n85_a_lob_a02__1_3_4_5_2_3_3_2_2->n85_a_lob_a02__1_3_4_5_2_3_3_2_2_1
n85_a_lob_a02__1_4->n85_a_lob_a02__1_4_1
( (IP-MAT (NP-SBJ (D A;{a})
(N statement;{statement}))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tnt_ expected;{expect})
(ADVP-NIM (ADV today;{today}))
(IP-INF-OB1 (TO to;{to})
(VB;_Cn.a_ hold;{hold})
(NP-OB1 (D the;{the})
(N door;{door}))
(ADJP-PRD (ADJ open;{open})
(PP (P-ROLE for;{for})
(NP (NS modifications;{modification})
(PP (P-ROLE to;{to})
(NP (D the;{the})
(ADJP (ADJ new;{new}))
(N constitution;{constitution}))))))
(PP-SCON (P-CONN provided;{provided})
(IP-ADV (NP-SBJ (NLYR (NLYR (N law;{law}))
(CONJP (CONJ and;{and})
(NLYR (N order;{order})))))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ maintained;{maintain})
(PP-NIM (P-ROLE in;{in})
(NP (NPR Northern;{Northern})
(NPR Rhodesia;{Rhodesia}))))))))
(PUNC .))
(ID 85_a_lob_a02))