11_a_major_case
Unusually in judicial review proceedings, there has been no confirmation that they constitute an accurate or complete record of the reasons for the decision.
%3
r_0011_0004__review_r_0011_0005__proceedings
review proceedings
r_0011_0003__judicial
judicial
r_0011_0004__review_r_0011_0005__proceedings->r_0011_0003__judicial
[attrib]
r_0011_0007__there_r_0011_0008__has
there has
r_0011_0007__there_r_0011_0008__has->r_0011_0004__review_r_0011_0005__proceedings
Unusually in [nim]
r_0011_0010__no_quant
no [quant]
r_0011_0007__there_r_0011_0008__has->r_0011_0010__no_quant
[scope]
r_0011_0009__been
been
r_0011_0010__no_quant->r_0011_0009__been
[scope]
r_0011_0011__confirmation
confirmation
r_0011_0010__no_quant->r_0011_0011__confirmation
[restriction]
r_0011_0009__been->r_0011_0011__confirmation
[arg0]
r_0011_0012__that_r_0011_0014__constitute
that constitute
r_0011_0011__confirmation->r_0011_0012__that_r_0011_0014__constitute
[emb]
r_0011_0013__they
they
r_0011_0012__that_r_0011_0014__constitute->r_0011_0013__they
[arg0]
r_0011_0015__an_r_0011_0019__record
an record
r_0011_0012__that_r_0011_0014__constitute->r_0011_0015__an_r_0011_0019__record
[arg1]
r_0011_0017__or
or
r_0011_0015__an_r_0011_0019__record->r_0011_0017__or
[attrib]
r_0011_0021__the_r_0011_0022__reasons
the reasons
r_0011_0015__an_r_0011_0019__record->r_0011_0021__the_r_0011_0022__reasons
of
r_0011_0016__accurate
accurate
r_0011_0017__or->r_0011_0016__accurate
[conj1]
r_0011_0018__complete
complete
r_0011_0017__or->r_0011_0018__complete
[conj2]
r_0011_0024__the_r_0011_0025__decision
the decision
r_0011_0021__the_r_0011_0022__reasons->r_0011_0024__the_r_0011_0025__decision
for
arc(r_0011_0004__review_r_0011_0005__proceedings, r_0011_0003__judicial, attrib8).
arc(r_0011_0007__there_r_0011_0008__has, r_0011_0004__review_r_0011_0005__proceedings, r_0011_0001__Unusually_r_0011_0002__in_nim7).
arc(r_0011_0007__there_r_0011_0008__has, r_0011_0010__no_quant, scope).
arc(r_0011_0009__been, r_0011_0011__confirmation, arg0).
arc(r_0011_0010__no_quant, r_0011_0009__been, scope).
arc(r_0011_0010__no_quant, r_0011_0011__confirmation, restriction).
arc(r_0011_0011__confirmation, r_0011_0012__that_r_0011_0014__constitute, emb30).
arc(r_0011_0012__that_r_0011_0014__constitute, r_0011_0013__they, arg0).
arc(r_0011_0012__that_r_0011_0014__constitute, r_0011_0015__an_r_0011_0019__record, arg1).
arc(r_0011_0015__an_r_0011_0019__record, r_0011_0017__or, attrib41).
arc(r_0011_0015__an_r_0011_0019__record, r_0011_0021__the_r_0011_0022__reasons, r_0011_0020__of).
arc(r_0011_0017__or, r_0011_0016__accurate, conj1).
arc(r_0011_0017__or, r_0011_0018__complete, conj2).
arc(r_0011_0021__the_r_0011_0022__reasons, r_0011_0024__the_r_0011_0025__decision, r_0011_0023__for).
%3
r_0011_0004__review_r_0011_0005__proceedings
review proceedings
r_0011_0003__judicial
judicial
r_0011_0004__review_r_0011_0005__proceedings->r_0011_0003__judicial
[attrib]
r_0011_0007__there_r_0011_0008__has
there has
r_0011_0007__there_r_0011_0008__has->r_0011_0004__review_r_0011_0005__proceedings
Unusually in [nim]
r_0011_0010__no_quant
no [quant]
r_0011_0007__there_r_0011_0008__has->r_0011_0010__no_quant
[keep_scope]
r_0011_0009__been
been
r_0011_0010__no_quant->r_0011_0009__been
[scope]
r_0011_0011__confirmation
confirmation
r_0011_0010__no_quant->r_0011_0011__confirmation
[restriction]
r_0011_0009__been->r_0011_0011__confirmation
[arg0]
r_0011_0012__that_r_0011_0014__constitute
that constitute
r_0011_0011__confirmation->r_0011_0012__that_r_0011_0014__constitute
[emb]
r_0011_0013__they
they
r_0011_0012__that_r_0011_0014__constitute->r_0011_0013__they
[arg0]
r_0011_0015__an_r_0011_0019__record
an record
r_0011_0012__that_r_0011_0014__constitute->r_0011_0015__an_r_0011_0019__record
[arg1]
r_0011_0017__or
or
r_0011_0015__an_r_0011_0019__record->r_0011_0017__or
[attrib]
r_0011_0021__the_r_0011_0022__reasons
the reasons
r_0011_0015__an_r_0011_0019__record->r_0011_0021__the_r_0011_0022__reasons
of
r_0011_0016__accurate
accurate
r_0011_0017__or->r_0011_0016__accurate
[conj1]
r_0011_0018__complete
complete
r_0011_0017__or->r_0011_0018__complete
[conj2]
r_0011_0024__the_r_0011_0025__decision
the decision
r_0011_0021__the_r_0011_0022__reasons->r_0011_0024__the_r_0011_0025__decision
for
fof(formula,axiom,
? [R_11_4_REVIEW_PROCEEDINGS,R_11_3_JUDICIAL] :
( judicial(R_11_3_JUDICIAL)
& ! [R_11_11_CONFIRMATION,R_11_12_THAT_CONSTITUTE,R_11_13_THEY,R_11_15_AN_RECORD,R_11_17_OR,R_11_16_ACCURATE,R_11_18_COMPLETE,R_11_21_THE_REASONS,R_11_24_THE_DECISION] :
( ( they(R_11_13_THEY)
& accurate(R_11_16_ACCURATE)
& complete(R_11_18_COMPLETE)
& the_decision(R_11_24_THE_DECISION)
& confirmation(R_11_11_CONFIRMATION)
& emb30(R_11_11_CONFIRMATION,R_11_12_THAT_CONSTITUTE)
& that_constitute(R_11_12_THAT_CONSTITUTE,R_11_13_THEY,R_11_15_AN_RECORD)
& an_record(R_11_15_AN_RECORD)
& attrib41(R_11_15_AN_RECORD,R_11_17_OR)
& or(R_11_17_OR)
& conj1(R_11_17_OR,R_11_16_ACCURATE)
& conj2(R_11_17_OR,R_11_18_COMPLETE)
& of(R_11_15_AN_RECORD,R_11_21_THE_REASONS)
& the_reasons(R_11_21_THE_REASONS)
& for(R_11_21_THE_REASONS,R_11_24_THE_DECISION) )
=> ? [R_11_9_BEEN] : been(R_11_9_BEEN,R_11_11_CONFIRMATION) ) ) ).
n11_a_major_case
n11_a_major_case_4
Unusually
n11_a_major_case_6
in
n11_a_major_case_10
judicial
n11_a_major_case_12
review
n11_a_major_case_14
proceedings
n11_a_major_case_16
,
n11_a_major_case_18
there
n11_a_major_case_20
has
n11_a_major_case_23
been
n11_a_major_case_26
no
n11_a_major_case_28
confirmation
n11_a_major_case_32
that
n11_a_major_case_35
they
n11_a_major_case_37
constitute
n11_a_major_case_40
an
n11_a_major_case_45
accurate
n11_a_major_case_48
or
n11_a_major_case_51
complete
n11_a_major_case_53
record
n11_a_major_case_56
of
n11_a_major_case_59
the
n11_a_major_case_61
reasons
n11_a_major_case_64
for
n11_a_major_case_67
the
n11_a_major_case_69
decision
n11_a_major_case_71
.
n11_a_major_case_1
IP-MAT
n11_a_major_case_2
PP-NIM
n11_a_major_case_1->n11_a_major_case_2
n11_a_major_case_15
PUNC
n11_a_major_case_1->n11_a_major_case_15
n11_a_major_case_17
EX
n11_a_major_case_1->n11_a_major_case_17
n11_a_major_case_19
HVP;_cat_Ve_
n11_a_major_case_1->n11_a_major_case_19
n11_a_major_case_21
IP-PPL-CAT
n11_a_major_case_1->n11_a_major_case_21
n11_a_major_case_70
PUNC
n11_a_major_case_1->n11_a_major_case_70
n11_a_major_case_3
ADV
n11_a_major_case_2->n11_a_major_case_3
n11_a_major_case_5
P-ROLE
n11_a_major_case_2->n11_a_major_case_5
n11_a_major_case_7
NP
n11_a_major_case_2->n11_a_major_case_7
n11_a_major_case_3->n11_a_major_case_4
n11_a_major_case_5->n11_a_major_case_6
n11_a_major_case_8
ADJP
n11_a_major_case_7->n11_a_major_case_8
n11_a_major_case_11
N
n11_a_major_case_7->n11_a_major_case_11
n11_a_major_case_13
NS
n11_a_major_case_7->n11_a_major_case_13
n11_a_major_case_9
ADJ
n11_a_major_case_8->n11_a_major_case_9
n11_a_major_case_9->n11_a_major_case_10
n11_a_major_case_11->n11_a_major_case_12
n11_a_major_case_13->n11_a_major_case_14
n11_a_major_case_15->n11_a_major_case_16
n11_a_major_case_17->n11_a_major_case_18
n11_a_major_case_19->n11_a_major_case_20
n11_a_major_case_22
BEN;_ex_V_
n11_a_major_case_21->n11_a_major_case_22
n11_a_major_case_24
NP-ESBJ
n11_a_major_case_21->n11_a_major_case_24
n11_a_major_case_22->n11_a_major_case_23
n11_a_major_case_25
Q
n11_a_major_case_24->n11_a_major_case_25
n11_a_major_case_27
N
n11_a_major_case_24->n11_a_major_case_27
n11_a_major_case_29
CP-THT
n11_a_major_case_24->n11_a_major_case_29
n11_a_major_case_25->n11_a_major_case_26
n11_a_major_case_27->n11_a_major_case_28
n11_a_major_case_30
IP-SUB
n11_a_major_case_29->n11_a_major_case_30
n11_a_major_case_31
C
n11_a_major_case_30->n11_a_major_case_31
n11_a_major_case_33
NP-SBJ
n11_a_major_case_30->n11_a_major_case_33
n11_a_major_case_36
VBP;__
n11_a_major_case_30->n11_a_major_case_36
n11_a_major_case_38
NP-OB1
n11_a_major_case_30->n11_a_major_case_38
n11_a_major_case_31->n11_a_major_case_32
n11_a_major_case_34
PRO
n11_a_major_case_33->n11_a_major_case_34
n11_a_major_case_34->n11_a_major_case_35
n11_a_major_case_36->n11_a_major_case_37
n11_a_major_case_39
D
n11_a_major_case_38->n11_a_major_case_39
n11_a_major_case_41
ADJP
n11_a_major_case_38->n11_a_major_case_41
n11_a_major_case_52
N
n11_a_major_case_38->n11_a_major_case_52
n11_a_major_case_54
PP
n11_a_major_case_38->n11_a_major_case_54
n11_a_major_case_39->n11_a_major_case_40
n11_a_major_case_42
AJLYR
n11_a_major_case_41->n11_a_major_case_42
n11_a_major_case_43
AJLYR
n11_a_major_case_42->n11_a_major_case_43
n11_a_major_case_46
CONJP
n11_a_major_case_42->n11_a_major_case_46
n11_a_major_case_44
ADJ
n11_a_major_case_43->n11_a_major_case_44
n11_a_major_case_44->n11_a_major_case_45
n11_a_major_case_47
CONJ
n11_a_major_case_46->n11_a_major_case_47
n11_a_major_case_49
AJLYR
n11_a_major_case_46->n11_a_major_case_49
n11_a_major_case_47->n11_a_major_case_48
n11_a_major_case_50
ADJ
n11_a_major_case_49->n11_a_major_case_50
n11_a_major_case_50->n11_a_major_case_51
n11_a_major_case_52->n11_a_major_case_53
n11_a_major_case_55
P-ROLE
n11_a_major_case_54->n11_a_major_case_55
n11_a_major_case_57
NP
n11_a_major_case_54->n11_a_major_case_57
n11_a_major_case_55->n11_a_major_case_56
n11_a_major_case_58
D
n11_a_major_case_57->n11_a_major_case_58
n11_a_major_case_60
NS
n11_a_major_case_57->n11_a_major_case_60
n11_a_major_case_62
PP
n11_a_major_case_57->n11_a_major_case_62
n11_a_major_case_58->n11_a_major_case_59
n11_a_major_case_60->n11_a_major_case_61
n11_a_major_case_63
P-ROLE
n11_a_major_case_62->n11_a_major_case_63
n11_a_major_case_65
NP
n11_a_major_case_62->n11_a_major_case_65
n11_a_major_case_63->n11_a_major_case_64
n11_a_major_case_66
D
n11_a_major_case_65->n11_a_major_case_66
n11_a_major_case_68
N
n11_a_major_case_65->n11_a_major_case_68
n11_a_major_case_66->n11_a_major_case_67
n11_a_major_case_68->n11_a_major_case_69
n11_a_major_case_70->n11_a_major_case_71
( (IP-MAT (PP-NIM (ADV Unusually;{unusually})
(P-ROLE in;{in})
(NP (ADJP (ADJ judicial;{judicial}))
(N review;{review})
(NS proceedings;{proceeding})))
(PUNC ,)
(EX there;{there})
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (BEN;_ex_V_ been;{be})
(NP-ESBJ (Q no;{no})
(N confirmation;{confirmation})
(CP-THT (IP-SUB (C that;{that})
(NP-SBJ;{DOCUMENTS} (PRO they;{they}))
(VBP;__ constitute;{constitute})
(NP-OB1 (D an;{an})
(ADJP (AJLYR (AJLYR (ADJ accurate;{accurate}))
(CONJP (CONJ or;{or})
(AJLYR (ADJ complete;{complete})))))
(N record;{record})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(NS reasons;{reason})
(PP (P-ROLE for;{for})
(NP (D the;{the})
(N decision;{decision}))))))))))
(PUNC .))
(ID 11_a_major_case))