TSPC 11_a_major

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.

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).

fof(formula,axiom,
    ? [R_0011_0003__JUDICIAL,R_0011_0004__REVIEW_R_0011_0005__PROCEEDINGS,R_0011_0007__THERE_R_0011_0008__HAS] :
      ( r_0011_0003__judicial(R_0011_0003__JUDICIAL)
      & r_0011_0007__there_r_0011_0008__has(R_0011_0007__THERE_R_0011_0008__HAS)
      & ! [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_0012__THAT_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_emb30(R_0011_0011__CONFIRMATION,R_0011_0012__THAT_R_0011_0014__CONSTITUTE)
            & r_0011_0012__that_r_0011_0014__constitute(R_0011_0012__THAT_R_0011_0014__CONSTITUTE)
            & has_arg1(R_0011_0012__THAT_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_attrib41(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_0012__THAT_R_0011_0014__CONSTITUTE,R_0011_0013__THEY) )
         => ? [R_0011_0009__BEEN] :
              ( r_0011_0009__been(R_0011_0009__BEEN)
              & has_arg0(R_0011_0009__BEEN,R_0011_0011__CONFIRMATION) ) )
      & has_r_0011_0001__Unusually_r_0011_0002__in_nim7(R_0011_0007__THERE_R_0011_0008__HAS,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_attrib8(R_0011_0004__REVIEW_R_0011_0005__PROCEEDINGS,R_0011_0003__JUDICIAL) ) ).

( (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))