103_a_law_h15a119
%3
r_0103_0008__is
is
r_0103_0004__Cases
Cases
r_0103_0008__is->r_0103_0004__Cases
in [nim]
r_0103_0009__considered
considered
r_0103_0008__is->r_0103_0009__considered
[scope]
r_0103_0010__that_r_0103_0015__is
that is
r_0103_0009__considered->r_0103_0010__that_r_0103_0015__is
[arg1]
z_000_103_a_law_h15a119_25
r_0103_0009__considered->z_000_103_a_law_h15a119_25
[arg0]
r_0103_0011__the_r_0103_0012__Purpose
the Purpose
r_0103_0010__that_r_0103_0015__is->r_0103_0011__the_r_0103_0012__Purpose
[arg0]
r_0103_0016__clear
clear
r_0103_0010__that_r_0103_0015__is->r_0103_0016__clear
[prd]
r_0103_0014__Utilization
Utilization
r_0103_0011__the_r_0103_0012__Purpose->r_0103_0014__Utilization
of
r_0103_0018__consideration
consideration
r_0103_0016__clear->r_0103_0018__consideration
in
r_0103_0020__the_r_0103_0021__circumstances
the circumstances
r_0103_0018__consideration->r_0103_0020__the_r_0103_0021__circumstances
of
r_0103_0023__the_r_0103_0024__acquisition
the acquisition
r_0103_0020__the_r_0103_0021__circumstances->r_0103_0023__the_r_0103_0024__acquisition
of
z_000_103_a_law_h15a119_1
z_000_103_a_law_h15a119_1->r_0103_0004__Cases
[nim]
arc(r_0103_0008__is, r_0103_0004__Cases, r_0103_0005__in_nim16).
arc(r_0103_0008__is, r_0103_0009__considered, scope).
arc(r_0103_0009__considered, r_0103_0010__that_r_0103_0015__is, arg1).
arc(r_0103_0009__considered, z_000_103_a_law_h15a119_25, arg0).
arc(r_0103_0010__that_r_0103_0015__is, r_0103_0011__the_r_0103_0012__Purpose, arg0).
arc(r_0103_0010__that_r_0103_0015__is, r_0103_0016__clear, prd).
arc(r_0103_0011__the_r_0103_0012__Purpose, r_0103_0014__Utilization, r_0103_0013__of).
arc(r_0103_0016__clear, r_0103_0018__consideration, r_0103_0017__in).
arc(r_0103_0018__consideration, r_0103_0020__the_r_0103_0021__circumstances, r_0103_0019__of).
arc(r_0103_0020__the_r_0103_0021__circumstances, r_0103_0023__the_r_0103_0024__acquisition, r_0103_0022__of).
arc(z_000_103_a_law_h15a119_1, r_0103_0004__Cases, nim9).
%3
r_0103_0008__is_r_0103_0009__considered
is considered
r_0103_0004__Cases
Cases
r_0103_0008__is_r_0103_0009__considered->r_0103_0004__Cases
in [nim]
r_0103_0010__that_r_0103_0015__is
that is
r_0103_0008__is_r_0103_0009__considered->r_0103_0010__that_r_0103_0015__is
[arg1]
z_000_103_a_law_h15a119_25
r_0103_0008__is_r_0103_0009__considered->z_000_103_a_law_h15a119_25
[arg0]
r_0103_0011__the_r_0103_0012__Purpose
the Purpose
r_0103_0010__that_r_0103_0015__is->r_0103_0011__the_r_0103_0012__Purpose
[arg0]
r_0103_0016__clear
clear
r_0103_0010__that_r_0103_0015__is->r_0103_0016__clear
[prd]
r_0103_0014__Utilization
Utilization
r_0103_0011__the_r_0103_0012__Purpose->r_0103_0014__Utilization
of
r_0103_0018__consideration
consideration
r_0103_0016__clear->r_0103_0018__consideration
in
r_0103_0020__the_r_0103_0021__circumstances
the circumstances
r_0103_0018__consideration->r_0103_0020__the_r_0103_0021__circumstances
of
r_0103_0023__the_r_0103_0024__acquisition
the acquisition
r_0103_0020__the_r_0103_0021__circumstances->r_0103_0023__the_r_0103_0024__acquisition
of
z_000_103_a_law_h15a119_1
z_000_103_a_law_h15a119_1->r_0103_0004__Cases
[nim]
fof(formula,axiom,
? [R_103_8_IS_CONSIDERED,Z_103_A_LAW_H15A119_25,R_103_10_THAT_IS,R_103_11_THE_PURPOSE,R_103_14_UTILIZATION,R_103_16_CLEAR,R_103_18_CONSIDERATION,R_103_20_THE_CIRCUMSTANCES,R_103_23_THE_ACQUISITION,Z_103_A_LAW_H15A119_1,R_103_4_CASES] :
( utilization(R_103_14_UTILIZATION)
& the_acquisition(R_103_23_THE_ACQUISITION)
& cases(R_103_4_CASES)
& is_considered(R_103_8_IS_CONSIDERED,Z_103_A_LAW_H15A119_25,R_103_10_THAT_IS)
& that_is(R_103_10_THAT_IS,R_103_11_THE_PURPOSE,R_103_16_CLEAR)
& the_Purpose(R_103_11_THE_PURPOSE)
& of(R_103_11_THE_PURPOSE,R_103_14_UTILIZATION)
& clear(R_103_16_CLEAR)
& in(R_103_16_CLEAR,R_103_18_CONSIDERATION)
& consideration(R_103_18_CONSIDERATION)
& of(R_103_18_CONSIDERATION,R_103_20_THE_CIRCUMSTANCES)
& the_circumstances(R_103_20_THE_CIRCUMSTANCES)
& of(R_103_20_THE_CIRCUMSTANCES,R_103_23_THE_ACQUISITION)
& in_nim16(R_103_8_IS_CONSIDERED,R_103_4_CASES)
& z_103_a_law_h15a119_1(Z_103_A_LAW_H15A119_1)
& nim9(Z_103_A_LAW_H15A119_1,R_103_4_CASES) ) ).
n103_a_law_h15a119
n103_a_law_h15a119_3
-LRB-
n103_a_law_h15a119_6
iv
n103_a_law_h15a119_8
-RRB-
n103_a_law_h15a119_11
Cases
n103_a_law_h15a119_15
in
n103_a_law_h15a119_18
which
n103_a_law_h15a119_21
it
n103_a_law_h15a119_23
is
n103_a_law_h15a119_26
*
n103_a_law_h15a119_28
considered
n103_a_law_h15a119_32
that
n103_a_law_h15a119_35
the
n103_a_law_h15a119_37
Purpose
n103_a_law_h15a119_40
of
n103_a_law_h15a119_43
Utilization
n103_a_law_h15a119_45
is
n103_a_law_h15a119_48
clear
n103_a_law_h15a119_51
in
n103_a_law_h15a119_54
consideration
n103_a_law_h15a119_57
of
n103_a_law_h15a119_60
the
n103_a_law_h15a119_62
circumstances
n103_a_law_h15a119_65
of
n103_a_law_h15a119_68
the
n103_a_law_h15a119_70
acquisition
n103_a_law_h15a119_1
FRAG
n103_a_law_h15a119_2
PULB
n103_a_law_h15a119_1->n103_a_law_h15a119_2
n103_a_law_h15a119_4
LST
n103_a_law_h15a119_1->n103_a_law_h15a119_4
n103_a_law_h15a119_7
PURB
n103_a_law_h15a119_1->n103_a_law_h15a119_7
n103_a_law_h15a119_9
NP
n103_a_law_h15a119_1->n103_a_law_h15a119_9
n103_a_law_h15a119_2->n103_a_law_h15a119_3
n103_a_law_h15a119_5
LS
n103_a_law_h15a119_4->n103_a_law_h15a119_5
n103_a_law_h15a119_5->n103_a_law_h15a119_6
n103_a_law_h15a119_7->n103_a_law_h15a119_8
n103_a_law_h15a119_10
NS
n103_a_law_h15a119_9->n103_a_law_h15a119_10
n103_a_law_h15a119_12
IP-REL
n103_a_law_h15a119_9->n103_a_law_h15a119_12
n103_a_law_h15a119_10->n103_a_law_h15a119_11
n103_a_law_h15a119_13
PP-NIM
n103_a_law_h15a119_12->n103_a_law_h15a119_13
n103_a_law_h15a119_19
NP-SBJ
n103_a_law_h15a119_12->n103_a_law_h15a119_19
n103_a_law_h15a119_22
BEP;_cat_VePASS_
n103_a_law_h15a119_12->n103_a_law_h15a119_22
n103_a_law_h15a119_24
IP-PPL-CAT
n103_a_law_h15a119_12->n103_a_law_h15a119_24
n103_a_law_h15a119_14
P-ROLE
n103_a_law_h15a119_13->n103_a_law_h15a119_14
n103_a_law_h15a119_16
NP
n103_a_law_h15a119_13->n103_a_law_h15a119_16
n103_a_law_h15a119_14->n103_a_law_h15a119_15
n103_a_law_h15a119_17
RPRO
n103_a_law_h15a119_16->n103_a_law_h15a119_17
n103_a_law_h15a119_17->n103_a_law_h15a119_18
n103_a_law_h15a119_20
PRO;_provisional_
n103_a_law_h15a119_19->n103_a_law_h15a119_20
n103_a_law_h15a119_20->n103_a_law_h15a119_21
n103_a_law_h15a119_22->n103_a_law_h15a119_23
n103_a_law_h15a119_25
NP-LGS
n103_a_law_h15a119_24->n103_a_law_h15a119_25
n103_a_law_h15a119_27
VVN;_Tn_
n103_a_law_h15a119_24->n103_a_law_h15a119_27
n103_a_law_h15a119_29
CP-THT-NSBJ
n103_a_law_h15a119_24->n103_a_law_h15a119_29
n103_a_law_h15a119_25->n103_a_law_h15a119_26
n103_a_law_h15a119_27->n103_a_law_h15a119_28
n103_a_law_h15a119_30
IP-SUB
n103_a_law_h15a119_29->n103_a_law_h15a119_30
n103_a_law_h15a119_31
C
n103_a_law_h15a119_30->n103_a_law_h15a119_31
n103_a_law_h15a119_33
NP-SBJ
n103_a_law_h15a119_30->n103_a_law_h15a119_33
n103_a_law_h15a119_44
BEP;_La_
n103_a_law_h15a119_30->n103_a_law_h15a119_44
n103_a_law_h15a119_46
ADJP-PRD
n103_a_law_h15a119_30->n103_a_law_h15a119_46
n103_a_law_h15a119_31->n103_a_law_h15a119_32
n103_a_law_h15a119_34
D
n103_a_law_h15a119_33->n103_a_law_h15a119_34
n103_a_law_h15a119_36
N
n103_a_law_h15a119_33->n103_a_law_h15a119_36
n103_a_law_h15a119_38
PP
n103_a_law_h15a119_33->n103_a_law_h15a119_38
n103_a_law_h15a119_34->n103_a_law_h15a119_35
n103_a_law_h15a119_36->n103_a_law_h15a119_37
n103_a_law_h15a119_39
P-ROLE
n103_a_law_h15a119_38->n103_a_law_h15a119_39
n103_a_law_h15a119_41
NP
n103_a_law_h15a119_38->n103_a_law_h15a119_41
n103_a_law_h15a119_39->n103_a_law_h15a119_40
n103_a_law_h15a119_42
N
n103_a_law_h15a119_41->n103_a_law_h15a119_42
n103_a_law_h15a119_42->n103_a_law_h15a119_43
n103_a_law_h15a119_44->n103_a_law_h15a119_45
n103_a_law_h15a119_47
ADJ
n103_a_law_h15a119_46->n103_a_law_h15a119_47
n103_a_law_h15a119_49
PP
n103_a_law_h15a119_46->n103_a_law_h15a119_49
n103_a_law_h15a119_47->n103_a_law_h15a119_48
n103_a_law_h15a119_50
P-ROLE
n103_a_law_h15a119_49->n103_a_law_h15a119_50
n103_a_law_h15a119_52
NP
n103_a_law_h15a119_49->n103_a_law_h15a119_52
n103_a_law_h15a119_50->n103_a_law_h15a119_51
n103_a_law_h15a119_53
N
n103_a_law_h15a119_52->n103_a_law_h15a119_53
n103_a_law_h15a119_55
PP
n103_a_law_h15a119_52->n103_a_law_h15a119_55
n103_a_law_h15a119_53->n103_a_law_h15a119_54
n103_a_law_h15a119_56
P-ROLE
n103_a_law_h15a119_55->n103_a_law_h15a119_56
n103_a_law_h15a119_58
NP
n103_a_law_h15a119_55->n103_a_law_h15a119_58
n103_a_law_h15a119_56->n103_a_law_h15a119_57
n103_a_law_h15a119_59
D
n103_a_law_h15a119_58->n103_a_law_h15a119_59
n103_a_law_h15a119_61
NS
n103_a_law_h15a119_58->n103_a_law_h15a119_61
n103_a_law_h15a119_63
PP
n103_a_law_h15a119_58->n103_a_law_h15a119_63
n103_a_law_h15a119_59->n103_a_law_h15a119_60
n103_a_law_h15a119_61->n103_a_law_h15a119_62
n103_a_law_h15a119_64
P-ROLE
n103_a_law_h15a119_63->n103_a_law_h15a119_64
n103_a_law_h15a119_66
NP
n103_a_law_h15a119_63->n103_a_law_h15a119_66
n103_a_law_h15a119_64->n103_a_law_h15a119_65
n103_a_law_h15a119_67
D
n103_a_law_h15a119_66->n103_a_law_h15a119_67
n103_a_law_h15a119_69
N
n103_a_law_h15a119_66->n103_a_law_h15a119_69
n103_a_law_h15a119_67->n103_a_law_h15a119_68
n103_a_law_h15a119_69->n103_a_law_h15a119_70
( (FRAG (PULB -LRB-)
(LST (LS iv))
(PURB -RRB-)
(NP (NS Cases;{case})
(IP-REL (PP-NIM (P-ROLE in;{in})
(NP (RPRO which;{which})))
(NP-SBJ (PRO;_provisional_ it;{it}))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn_ considered;{consider})
(CP-THT-NSBJ (IP-SUB (C that;{that})
(NP-SBJ (D the;{the})
(N Purpose;{purpose})
(PP (P-ROLE of;{of})
(NP (N Utilization;{utilization}))))
(BEP;_La_ is;{be})
(ADJP-PRD (ADJ clear;{clear})
(PP (P-ROLE in;{in})
(NP (N consideration;{consideration})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(NS circumstances;{circumstance})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N acquisition;{acquisition}))))))))))))))
(ID 103_a_law_h15a119;83_4_18_4iv))