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.

n11_a_major_case n11_a_major_case__1_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 ADVP-NIM 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_1 ADV n11_a_major_case__1_1_1->n11_a_major_case__1_1_1_1 n11_a_major_case__1_1_1_1->n11_a_major_case__1_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 (ADVP-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))



%3 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_0014__constitute constitute r_0011_0014__constitute->r_0011_0015__an_r_0011_0019__record [arg1] r_0011_0013__they they r_0011_0014__constitute->r_0011_0013__they [arg0] r_0011_0011__confirmation confirmation r_0011_0011__confirmation->r_0011_0014__constitute [emb] r_0011_0010__no__quant no [quant] r_0011_0010__no__quant->r_0011_0011__confirmation [restriction] r_0011_0008__has has r_0011_0010__no__quant->r_0011_0008__has [scope] r_0011_0009__been been r_0011_0008__has->r_0011_0009__been [scope] r_0011_0004__review_r_0011_0005__proceedings review proceedings r_0011_0008__has->r_0011_0004__review_r_0011_0005__proceedings Unusually in [nim] 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]
arc(r_0011_0004__review_r_0011_0005__proceedings,r_0011_0003__judicial,attrib).
arc(r_0011_0008__has,r_0011_0004__review_r_0011_0005__proceedings,r_0011_0001__Unusually_r_0011_0002__in__nim).
arc(r_0011_0008__has,r_0011_0009__been,scope).
arc(r_0011_0009__been,r_0011_0011__confirmation,arg0).
arc(r_0011_0010__no__quant,r_0011_0008__has,scope).
arc(r_0011_0010__no__quant,r_0011_0011__confirmation,restriction).
arc(r_0011_0011__confirmation,r_0011_0014__constitute,emb).
arc(r_0011_0014__constitute,r_0011_0013__they,arg0).
arc(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,attrib).
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_0008__has_r_0011_0009__been has been r_0011_0008__has_r_0011_0009__been->r_0011_0004__review_r_0011_0005__proceedings Unusually in [nim] r_0011_0011__confirmation confirmation r_0011_0008__has_r_0011_0009__been->r_0011_0011__confirmation [arg0] r_0011_0014__constitute constitute r_0011_0011__confirmation->r_0011_0014__constitute [emb] r_0011_0010__no__quant no [quant] r_0011_0010__no__quant->r_0011_0008__has_r_0011_0009__been [scope] r_0011_0010__no__quant->r_0011_0011__confirmation [restriction] r_0011_0013__they they r_0011_0014__constitute->r_0011_0013__they [arg0] r_0011_0015__an_r_0011_0019__record an record 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_0011_0011__CONFIRMATION,R_0011_0013__THEY,R_0011_0016__ACCURATE,R_0011_0018__COMPLETE,R_0011_0017__OR,R_0011_0024__THE_R_0011_0025__DECISION,R_0011_0021__THE_R_0011_0022__REASONS,R_0011_0015__AN_R_0011_0019__RECORD,R_0011_0014__CONSTITUTE] :
      ( ( r_0011_0013__they(R_0011_0013__THEY)
        & r_0011_0016__accurate(R_0011_0016__ACCURATE)
        & r_0011_0018__complete(R_0011_0018__COMPLETE)
        & r_0011_0024__the_r_0011_0025__decision(R_0011_0024__THE_R_0011_0025__DECISION)
        & r_0011_0011__confirmation(R_0011_0011__CONFIRMATION)
        & has_emb(R_0011_0011__CONFIRMATION,R_0011_0014__CONSTITUTE)
        & r_0011_0014__constitute(R_0011_0014__CONSTITUTE)
        & has_arg1(R_0011_0014__CONSTITUTE,R_0011_0015__AN_R_0011_0019__RECORD)
        & r_0011_0015__an_r_0011_0019__record(R_0011_0015__AN_R_0011_0019__RECORD)
        & has_r_0011_0020__of(R_0011_0015__AN_R_0011_0019__RECORD,R_0011_0021__THE_R_0011_0022__REASONS)
        & r_0011_0021__the_r_0011_0022__reasons(R_0011_0021__THE_R_0011_0022__REASONS)
        & has_r_0011_0023__for(R_0011_0021__THE_R_0011_0022__REASONS,R_0011_0024__THE_R_0011_0025__DECISION)
        & has_attrib(R_0011_0015__AN_R_0011_0019__RECORD,R_0011_0017__OR)
        & r_0011_0017__or(R_0011_0017__OR)
        & has_conj2(R_0011_0017__OR,R_0011_0018__COMPLETE)
        & has_conj1(R_0011_0017__OR,R_0011_0016__ACCURATE)
        & has_arg0(R_0011_0014__CONSTITUTE,R_0011_0013__THEY) )
     => ? [R_0011_0003__JUDICIAL,R_0011_0004__REVIEW_R_0011_0005__PROCEEDINGS,R_0011_0008__HAS_R_0011_0009__BEEN] :
          ( r_0011_0003__judicial(R_0011_0003__JUDICIAL)
          & r_0011_0008__has_r_0011_0009__been(R_0011_0008__HAS_R_0011_0009__BEEN)
          & has_arg0(R_0011_0008__HAS_R_0011_0009__BEEN,R_0011_0011__CONFIRMATION)
          & has_r_0011_0001__Unusually_r_0011_0002__in__nim(R_0011_0008__HAS_R_0011_0009__BEEN,R_0011_0004__REVIEW_R_0011_0005__PROCEEDINGS)
          & r_0011_0004__review_r_0011_0005__proceedings(R_0011_0004__REVIEW_R_0011_0005__PROCEEDINGS)
          & has_attrib(R_0011_0004__REVIEW_R_0011_0005__PROCEEDINGS,R_0011_0003__JUDICIAL) ) ) ).