11_a_major_case
%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_0007__there_r_0011_0008__has
there has
r_0011_0010__no_quant
no [quant]
r_0011_0007__there_r_0011_0008__has->r_0011_0010__no_quant
[keep_scope]
r_0011_0004__review_r_0011_0005__proceedings
review proceedings
r_0011_0007__there_r_0011_0008__has->r_0011_0004__review_r_0011_0005__proceedings
Unusually in [nim]
r_0011_0011__confirmation
confirmation
r_0011_0010__no_quant->r_0011_0011__confirmation
[restriction]
r_0011_0009__been
been
r_0011_0010__no_quant->r_0011_0009__been
[scope]
r_0011_0021__the_r_0011_0022__reasons
the reasons
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
r_0011_0017__or
or
r_0011_0018__complete
complete
r_0011_0017__or->r_0011_0018__complete
[conj2]
r_0011_0016__accurate
accurate
r_0011_0017__or->r_0011_0016__accurate
[conj1]
r_0011_0015__an_r_0011_0019__record
an record
r_0011_0015__an_r_0011_0019__record->r_0011_0021__the_r_0011_0022__reasons
of
r_0011_0015__an_r_0011_0019__record->r_0011_0017__or
[attrib]
r_0011_0012__that_r_0011_0014__constitute
that constitute
r_0011_0012__that_r_0011_0014__constitute->r_0011_0015__an_r_0011_0019__record
[arg1]
r_0011_0013__they
they
r_0011_0012__that_r_0011_0014__constitute->r_0011_0013__they
[arg0]
r_0011_0011__confirmation->r_0011_0012__that_r_0011_0014__constitute
[emb]
r_0011_0009__been->r_0011_0011__confirmation
[arg0]
r_0011_0003__judicial
judicial
r_0011_0004__review_r_0011_0005__proceedings->r_0011_0003__judicial
[attrib]
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__1_1_1_1
Unusually
n11_a_major_case__1_1_2_1
in
n11_a_major_case__1_1_3_1_1_1
judicial
n11_a_major_case__1_1_3_2_1
review
n11_a_major_case__1_1_3_3_1
proceedings
n11_a_major_case__1_2_1
,
n11_a_major_case__1_3_1
there
n11_a_major_case__1_4_1
has
n11_a_major_case__1_5_1_1
been
n11_a_major_case__1_5_2_1_1
no
n11_a_major_case__1_5_2_2_1
confirmation
n11_a_major_case__1_5_2_3_1_1_1
that
n11_a_major_case__1_5_2_3_1_2_1_1
they
n11_a_major_case__1_5_2_3_1_3_1
constitute
n11_a_major_case__1_5_2_3_1_4_1_1
an
n11_a_major_case__1_5_2_3_1_4_2_1_1_1_1
accurate
n11_a_major_case__1_5_2_3_1_4_2_1_2_1_1
or
n11_a_major_case__1_5_2_3_1_4_2_1_2_2_1_1
complete
n11_a_major_case__1_5_2_3_1_4_3_1
record
n11_a_major_case__1_5_2_3_1_4_4_1_1
of
n11_a_major_case__1_5_2_3_1_4_4_2_1_1
the
n11_a_major_case__1_5_2_3_1_4_4_2_2_1
reasons
n11_a_major_case__1_5_2_3_1_4_4_2_3_1_1
for
n11_a_major_case__1_5_2_3_1_4_4_2_3_2_1_1
the
n11_a_major_case__1_5_2_3_1_4_4_2_3_2_2_1
decision
n11_a_major_case__1_6_1
.
n11_a_major_case__1
IP-MAT
n11_a_major_case__1_1
PP-NIM
n11_a_major_case__1->n11_a_major_case__1_1
n11_a_major_case__1_2
PUNC
n11_a_major_case__1->n11_a_major_case__1_2
n11_a_major_case__1_3
EX
n11_a_major_case__1->n11_a_major_case__1_3
n11_a_major_case__1_4
HVP;_cat_Ve_
n11_a_major_case__1->n11_a_major_case__1_4
n11_a_major_case__1_5
IP-PPL-CAT
n11_a_major_case__1->n11_a_major_case__1_5
n11_a_major_case__1_6
PUNC
n11_a_major_case__1->n11_a_major_case__1_6
n11_a_major_case__1_1_1
ADV
n11_a_major_case__1_1->n11_a_major_case__1_1_1
n11_a_major_case__1_1_2
P-ROLE
n11_a_major_case__1_1->n11_a_major_case__1_1_2
n11_a_major_case__1_1_3
NP
n11_a_major_case__1_1->n11_a_major_case__1_1_3
n11_a_major_case__1_1_1->n11_a_major_case__1_1_1_1
n11_a_major_case__1_1_2->n11_a_major_case__1_1_2_1
n11_a_major_case__1_1_3_1
ADJP
n11_a_major_case__1_1_3->n11_a_major_case__1_1_3_1
n11_a_major_case__1_1_3_2
N
n11_a_major_case__1_1_3->n11_a_major_case__1_1_3_2
n11_a_major_case__1_1_3_3
NS
n11_a_major_case__1_1_3->n11_a_major_case__1_1_3_3
n11_a_major_case__1_1_3_1_1
ADJ
n11_a_major_case__1_1_3_1->n11_a_major_case__1_1_3_1_1
n11_a_major_case__1_1_3_1_1->n11_a_major_case__1_1_3_1_1_1
n11_a_major_case__1_1_3_2->n11_a_major_case__1_1_3_2_1
n11_a_major_case__1_1_3_3->n11_a_major_case__1_1_3_3_1
n11_a_major_case__1_2->n11_a_major_case__1_2_1
n11_a_major_case__1_3->n11_a_major_case__1_3_1
n11_a_major_case__1_4->n11_a_major_case__1_4_1
n11_a_major_case__1_5_1
BEN;_ex_V_
n11_a_major_case__1_5->n11_a_major_case__1_5_1
n11_a_major_case__1_5_2
NP-ESBJ
n11_a_major_case__1_5->n11_a_major_case__1_5_2
n11_a_major_case__1_5_1->n11_a_major_case__1_5_1_1
n11_a_major_case__1_5_2_1
Q
n11_a_major_case__1_5_2->n11_a_major_case__1_5_2_1
n11_a_major_case__1_5_2_2
N
n11_a_major_case__1_5_2->n11_a_major_case__1_5_2_2
n11_a_major_case__1_5_2_3
CP-THT
n11_a_major_case__1_5_2->n11_a_major_case__1_5_2_3
n11_a_major_case__1_5_2_1->n11_a_major_case__1_5_2_1_1
n11_a_major_case__1_5_2_2->n11_a_major_case__1_5_2_2_1
n11_a_major_case__1_5_2_3_1
IP-SUB
n11_a_major_case__1_5_2_3->n11_a_major_case__1_5_2_3_1
n11_a_major_case__1_5_2_3_1_1
C
n11_a_major_case__1_5_2_3_1->n11_a_major_case__1_5_2_3_1_1
n11_a_major_case__1_5_2_3_1_2
NP-SBJ
n11_a_major_case__1_5_2_3_1->n11_a_major_case__1_5_2_3_1_2
n11_a_major_case__1_5_2_3_1_3
VBP;__
n11_a_major_case__1_5_2_3_1->n11_a_major_case__1_5_2_3_1_3
n11_a_major_case__1_5_2_3_1_4
NP-OB1
n11_a_major_case__1_5_2_3_1->n11_a_major_case__1_5_2_3_1_4
n11_a_major_case__1_5_2_3_1_1->n11_a_major_case__1_5_2_3_1_1_1
n11_a_major_case__1_5_2_3_1_2_1
PRO
n11_a_major_case__1_5_2_3_1_2->n11_a_major_case__1_5_2_3_1_2_1
n11_a_major_case__1_5_2_3_1_2_1->n11_a_major_case__1_5_2_3_1_2_1_1
n11_a_major_case__1_5_2_3_1_3->n11_a_major_case__1_5_2_3_1_3_1
n11_a_major_case__1_5_2_3_1_4_1
D
n11_a_major_case__1_5_2_3_1_4->n11_a_major_case__1_5_2_3_1_4_1
n11_a_major_case__1_5_2_3_1_4_2
ADJP
n11_a_major_case__1_5_2_3_1_4->n11_a_major_case__1_5_2_3_1_4_2
n11_a_major_case__1_5_2_3_1_4_3
N
n11_a_major_case__1_5_2_3_1_4->n11_a_major_case__1_5_2_3_1_4_3
n11_a_major_case__1_5_2_3_1_4_4
PP
n11_a_major_case__1_5_2_3_1_4->n11_a_major_case__1_5_2_3_1_4_4
n11_a_major_case__1_5_2_3_1_4_1->n11_a_major_case__1_5_2_3_1_4_1_1
n11_a_major_case__1_5_2_3_1_4_2_1
AJLYR
n11_a_major_case__1_5_2_3_1_4_2->n11_a_major_case__1_5_2_3_1_4_2_1
n11_a_major_case__1_5_2_3_1_4_2_1_1
AJLYR
n11_a_major_case__1_5_2_3_1_4_2_1->n11_a_major_case__1_5_2_3_1_4_2_1_1
n11_a_major_case__1_5_2_3_1_4_2_1_2
CONJP
n11_a_major_case__1_5_2_3_1_4_2_1->n11_a_major_case__1_5_2_3_1_4_2_1_2
n11_a_major_case__1_5_2_3_1_4_2_1_1_1
ADJ
n11_a_major_case__1_5_2_3_1_4_2_1_1->n11_a_major_case__1_5_2_3_1_4_2_1_1_1
n11_a_major_case__1_5_2_3_1_4_2_1_1_1->n11_a_major_case__1_5_2_3_1_4_2_1_1_1_1
n11_a_major_case__1_5_2_3_1_4_2_1_2_1
CONJ
n11_a_major_case__1_5_2_3_1_4_2_1_2->n11_a_major_case__1_5_2_3_1_4_2_1_2_1
n11_a_major_case__1_5_2_3_1_4_2_1_2_2
AJLYR
n11_a_major_case__1_5_2_3_1_4_2_1_2->n11_a_major_case__1_5_2_3_1_4_2_1_2_2
n11_a_major_case__1_5_2_3_1_4_2_1_2_1->n11_a_major_case__1_5_2_3_1_4_2_1_2_1_1
n11_a_major_case__1_5_2_3_1_4_2_1_2_2_1
ADJ
n11_a_major_case__1_5_2_3_1_4_2_1_2_2->n11_a_major_case__1_5_2_3_1_4_2_1_2_2_1
n11_a_major_case__1_5_2_3_1_4_2_1_2_2_1->n11_a_major_case__1_5_2_3_1_4_2_1_2_2_1_1
n11_a_major_case__1_5_2_3_1_4_3->n11_a_major_case__1_5_2_3_1_4_3_1
n11_a_major_case__1_5_2_3_1_4_4_1
P-ROLE
n11_a_major_case__1_5_2_3_1_4_4->n11_a_major_case__1_5_2_3_1_4_4_1
n11_a_major_case__1_5_2_3_1_4_4_2
NP
n11_a_major_case__1_5_2_3_1_4_4->n11_a_major_case__1_5_2_3_1_4_4_2
n11_a_major_case__1_5_2_3_1_4_4_1->n11_a_major_case__1_5_2_3_1_4_4_1_1
n11_a_major_case__1_5_2_3_1_4_4_2_1
D
n11_a_major_case__1_5_2_3_1_4_4_2->n11_a_major_case__1_5_2_3_1_4_4_2_1
n11_a_major_case__1_5_2_3_1_4_4_2_2
NS
n11_a_major_case__1_5_2_3_1_4_4_2->n11_a_major_case__1_5_2_3_1_4_4_2_2
n11_a_major_case__1_5_2_3_1_4_4_2_3
PP
n11_a_major_case__1_5_2_3_1_4_4_2->n11_a_major_case__1_5_2_3_1_4_4_2_3
n11_a_major_case__1_5_2_3_1_4_4_2_1->n11_a_major_case__1_5_2_3_1_4_4_2_1_1
n11_a_major_case__1_5_2_3_1_4_4_2_2->n11_a_major_case__1_5_2_3_1_4_4_2_2_1
n11_a_major_case__1_5_2_3_1_4_4_2_3_1
P-ROLE
n11_a_major_case__1_5_2_3_1_4_4_2_3->n11_a_major_case__1_5_2_3_1_4_4_2_3_1
n11_a_major_case__1_5_2_3_1_4_4_2_3_2
NP
n11_a_major_case__1_5_2_3_1_4_4_2_3->n11_a_major_case__1_5_2_3_1_4_4_2_3_2
n11_a_major_case__1_5_2_3_1_4_4_2_3_1->n11_a_major_case__1_5_2_3_1_4_4_2_3_1_1
n11_a_major_case__1_5_2_3_1_4_4_2_3_2_1
D
n11_a_major_case__1_5_2_3_1_4_4_2_3_2->n11_a_major_case__1_5_2_3_1_4_4_2_3_2_1
n11_a_major_case__1_5_2_3_1_4_4_2_3_2_2
N
n11_a_major_case__1_5_2_3_1_4_4_2_3_2->n11_a_major_case__1_5_2_3_1_4_4_2_3_2_2
n11_a_major_case__1_5_2_3_1_4_4_2_3_2_1->n11_a_major_case__1_5_2_3_1_4_4_2_3_2_1_1
n11_a_major_case__1_5_2_3_1_4_4_2_3_2_2->n11_a_major_case__1_5_2_3_1_4_4_2_3_2_2_1
n11_a_major_case__1_6->n11_a_major_case__1_6_1
( (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))