TSPC 43_a_major

43_a_major_case
The Court is under no obligation to approach this case on the artificially na<iuml>ve basis that the handful of disclosed documents, the contents of which nobody has been prepared to verify with a statement of truth, should nevertheless be assumed to be entirely accurate and complete when even members of the Cabinet do not appear to believe them (see previous submissions <sect> 17).

arc(r_0043_0003__is, r_0043_0001__The_r_0043_0002__Court, arg0).
arc(r_0043_0003__is, r_0043_0006__obligation, r_0043_0004__under_clr12).
arc(r_0043_0005__no_quant, r_0043_0003__is, scope).
arc(r_0043_0005__no_quant, r_0043_0006__obligation, restriction).
arc(r_0043_0006__obligation, r_0043_0007__to_r_0043_0008__approach, emb17).
arc(r_0043_0007__to_r_0043_0008__approach, r_0043_0009__this_r_0043_0010__case, arg1).
arc(r_0043_0007__to_r_0043_0008__approach, r_0043_0012__the_r_0043_0015__basis, r_0043_0011__on_nim30).
arc(r_0043_0007__to_r_0043_0008__approach, z_000_43_a_major_case_17, arg0).
arc(r_0043_0012__the_r_0043_0015__basis, r_0043_0014__na_iuml_ve, attrib33).
arc(r_0043_0012__the_r_0043_0015__basis, r_0043_0016__that_r_0043_0039__should, emb42).
arc(r_0043_0014__na_iuml_ve, r_0043_0013__artificially, qual34).
arc(r_0043_0016__that_r_0043_0039__should, r_0043_0041__be, scope).
arc(r_0043_0017__the_r_0043_0018__handful, r_0043_0021__documents, r_0043_0019__of).
arc(r_0043_0020__disclosed, r_0043_0021__documents, arg1).
arc(r_0043_0020__disclosed, z_000_43_a_major_case_55, arg0).
arc(r_0043_0023__the_r_0043_0024__contents, r_0043_0021__documents, r_0043_0025__of).
arc(r_0043_0027__nobody_quant, r_0043_0028__has, scope).
arc(r_0043_0027__nobody_quant, z_000_43_a_major_case_75, restriction).
arc(r_0043_0028__has, r_0043_0029__been, scope).
arc(r_0043_0029__been, r_0043_0030__prepared, scope).
arc(r_0043_0030__prepared, r_0043_0031__to_r_0043_0032__verify, prd).
arc(r_0043_0030__prepared, z_000_43_a_major_case_75, arg1).
arc(r_0043_0030__prepared, z_000_43_a_major_case_84, arg0).
arc(r_0043_0031__to_r_0043_0032__verify, r_0043_0023__the_r_0043_0024__contents, arg1).
arc(r_0043_0031__to_r_0043_0032__verify, r_0043_0034__a_r_0043_0035__statement, r_0043_0033__with_nim98).
arc(r_0043_0031__to_r_0043_0032__verify, x_000_43_a_major_case_88, arg0).
arc(r_0043_0034__a_r_0043_0035__statement, r_0043_0037__truth, r_0043_0036__of).
arc(r_0043_0041__be, r_0043_0040__nevertheless, nim114).
arc(r_0043_0041__be, r_0043_0042__assumed, scope).
arc(r_0043_0042__assumed, r_0043_0043__to_r_0043_0044__be, arg1).
arc(r_0043_0042__assumed, z_000_43_a_major_case_120, arg0).
arc(r_0043_0043__to_r_0043_0044__be, r_0043_0017__the_r_0043_0018__handful, arg0).
arc(r_0043_0043__to_r_0043_0044__be, r_0043_0047__and, prd).
arc(r_0043_0047__and, r_0043_0045__entirely, qual130).
arc(r_0043_0047__and, r_0043_0046__accurate, conj1).
arc(r_0043_0047__and, r_0043_0048__complete, conj2).
arc(r_0043_0049__when, r_0043_0005__no_quant, scope).
arc(r_0043_0049__when, r_0043_0056__not, restriction).
arc(r_0043_0051__members, r_0043_0050__even, qual148).
arc(r_0043_0051__members, r_0043_0053__the_r_0043_0054__Cabinet, r_0043_0052__of).
arc(r_0043_0055__do_r_0043_0057__appear, r_0043_0058__to_r_0043_0059__believe, scope).
arc(r_0043_0056__not, r_0043_0055__do_r_0043_0057__appear, keep_scope).
arc(r_0043_0058__to_r_0043_0059__believe, r_0043_0017__the_r_0043_0018__handful, arg1).
arc(r_0043_0058__to_r_0043_0059__believe, r_0043_0051__members, arg0).

fof(formula,axiom,
    ? [R_0043_0021__DOCUMENTS,Z_000_43_A_MAJOR_CASE_55,R_0043_0020__DISCLOSED] :
      ( r_0043_0021__documents(R_0043_0021__DOCUMENTS)
      & z_000_43_a_major_case_55(Z_000_43_A_MAJOR_CASE_55)
      & ! [R_0043_0056__NOT] :
          ( ~ ? [R_0043_0017__THE_R_0043_0018__HANDFUL,R_0043_0050__EVEN,R_0043_0053__THE_R_0043_0054__CABINET,R_0043_0051__MEMBERS,R_0043_0055__DO_R_0043_0057__APPEAR_R_0043_0058__TO_R_0043_0059__BELIEVE] :
                ( r_0043_0050__even(R_0043_0050__EVEN)
                & r_0043_0053__the_r_0043_0054__Cabinet(R_0043_0053__THE_R_0043_0054__CABINET)
                & r_0043_0055__do_r_0043_0057__appear_r_0043_0058__to_r_0043_0059__believe(R_0043_0055__DO_R_0043_0057__APPEAR_R_0043_0058__TO_R_0043_0059__BELIEVE)
                & has_arg0(R_0043_0055__DO_R_0043_0057__APPEAR_R_0043_0058__TO_R_0043_0059__BELIEVE,R_0043_0051__MEMBERS)
                & r_0043_0051__members(R_0043_0051__MEMBERS)
                & has_r_0043_0052__of(R_0043_0051__MEMBERS,R_0043_0053__THE_R_0043_0054__CABINET)
                & has_qual148(R_0043_0051__MEMBERS,R_0043_0050__EVEN)
                & has_arg1(R_0043_0055__DO_R_0043_0057__APPEAR_R_0043_0058__TO_R_0043_0059__BELIEVE,R_0043_0017__THE_R_0043_0018__HANDFUL)
                & r_0043_0017__the_r_0043_0018__handful(R_0043_0017__THE_R_0043_0018__HANDFUL)
                & has_r_0043_0019__of(R_0043_0017__THE_R_0043_0018__HANDFUL,R_0043_0021__DOCUMENTS) )
         => ! [R_0043_0006__OBLIGATION,R_0043_0009__THIS_R_0043_0010__CASE,R_0043_0013__ARTIFICIALLY,R_0043_0014__NA_IUML_VE,R_0043_0040__NEVERTHELESS,R_0043_0017__THE_R_0043_0018__HANDFUL,R_0043_0045__ENTIRELY,R_0043_0046__ACCURATE,R_0043_0048__COMPLETE,R_0043_0047__AND,R_0043_0043__TO_R_0043_0044__BE,Z_000_43_A_MAJOR_CASE_120,R_0043_0016__THAT_R_0043_0039__SHOULD_R_0043_0041__BE_R_0043_0042__ASSUMED,R_0043_0012__THE_R_0043_0015__BASIS,Z_000_43_A_MAJOR_CASE_17,R_0043_0007__TO_R_0043_0008__APPROACH] :
              ( ( r_0043_0009__this_r_0043_0010__case(R_0043_0009__THIS_R_0043_0010__CASE)
                & r_0043_0013__artificially(R_0043_0013__ARTIFICIALLY)
                & r_0043_0040__nevertheless(R_0043_0040__NEVERTHELESS)
                & r_0043_0045__entirely(R_0043_0045__ENTIRELY)
                & r_0043_0046__accurate(R_0043_0046__ACCURATE)
                & r_0043_0048__complete(R_0043_0048__COMPLETE)
                & z_000_43_a_major_case_120(Z_000_43_A_MAJOR_CASE_120)
                & z_000_43_a_major_case_17(Z_000_43_A_MAJOR_CASE_17)
                & r_0043_0006__obligation(R_0043_0006__OBLIGATION)
                & has_emb17(R_0043_0006__OBLIGATION,R_0043_0007__TO_R_0043_0008__APPROACH)
                & r_0043_0007__to_r_0043_0008__approach(R_0043_0007__TO_R_0043_0008__APPROACH)
                & has_arg0(R_0043_0007__TO_R_0043_0008__APPROACH,Z_000_43_A_MAJOR_CASE_17)
                & has_r_0043_0011__on_nim30(R_0043_0007__TO_R_0043_0008__APPROACH,R_0043_0012__THE_R_0043_0015__BASIS)
                & r_0043_0012__the_r_0043_0015__basis(R_0043_0012__THE_R_0043_0015__BASIS)
                & has_emb42(R_0043_0012__THE_R_0043_0015__BASIS,R_0043_0016__THAT_R_0043_0039__SHOULD_R_0043_0041__BE_R_0043_0042__ASSUMED)
                & r_0043_0016__that_r_0043_0039__should_r_0043_0041__be_r_0043_0042__assumed(R_0043_0016__THAT_R_0043_0039__SHOULD_R_0043_0041__BE_R_0043_0042__ASSUMED)
                & has_arg0(R_0043_0016__THAT_R_0043_0039__SHOULD_R_0043_0041__BE_R_0043_0042__ASSUMED,Z_000_43_A_MAJOR_CASE_120)
                & has_arg1(R_0043_0016__THAT_R_0043_0039__SHOULD_R_0043_0041__BE_R_0043_0042__ASSUMED,R_0043_0043__TO_R_0043_0044__BE)
                & r_0043_0043__to_r_0043_0044__be(R_0043_0043__TO_R_0043_0044__BE)
                & has_prd(R_0043_0043__TO_R_0043_0044__BE,R_0043_0047__AND)
                & r_0043_0047__and(R_0043_0047__AND)
                & has_conj2(R_0043_0047__AND,R_0043_0048__COMPLETE)
                & has_conj1(R_0043_0047__AND,R_0043_0046__ACCURATE)
                & has_qual130(R_0043_0047__AND,R_0043_0045__ENTIRELY)
                & has_arg0(R_0043_0043__TO_R_0043_0044__BE,R_0043_0017__THE_R_0043_0018__HANDFUL)
                & r_0043_0017__the_r_0043_0018__handful(R_0043_0017__THE_R_0043_0018__HANDFUL)
                & has_r_0043_0019__of(R_0043_0017__THE_R_0043_0018__HANDFUL,R_0043_0021__DOCUMENTS)
                & has_nim114(R_0043_0016__THAT_R_0043_0039__SHOULD_R_0043_0041__BE_R_0043_0042__ASSUMED,R_0043_0040__NEVERTHELESS)
                & has_attrib33(R_0043_0012__THE_R_0043_0015__BASIS,R_0043_0014__NA_IUML_VE)
                & r_0043_0014__na_iuml_ve(R_0043_0014__NA_IUML_VE)
                & has_qual34(R_0043_0014__NA_IUML_VE,R_0043_0013__ARTIFICIALLY)
                & has_arg1(R_0043_0007__TO_R_0043_0008__APPROACH,R_0043_0009__THIS_R_0043_0010__CASE) )
             => ? [R_0043_0001__THE_R_0043_0002__COURT,R_0043_0003__IS] :
                  ( r_0043_0001__The_r_0043_0002__Court(R_0043_0001__THE_R_0043_0002__COURT)
                  & r_0043_0003__is(R_0043_0003__IS)
                  & has_r_0043_0004__under_clr12(R_0043_0003__IS,R_0043_0006__OBLIGATION)
                  & has_arg0(R_0043_0003__IS,R_0043_0001__THE_R_0043_0002__COURT) ) ) )
      & ! [Z_000_43_A_MAJOR_CASE_75] :
          ( z_000_43_a_major_case_75(Z_000_43_A_MAJOR_CASE_75)
         => ? [R_0043_0023__THE_R_0043_0024__CONTENTS,R_0043_0037__TRUTH,R_0043_0034__A_R_0043_0035__STATEMENT,X_000_43_A_MAJOR_CASE_88,R_0043_0031__TO_R_0043_0032__VERIFY,Z_000_43_A_MAJOR_CASE_84,R_0043_0028__HAS_R_0043_0029__BEEN_R_0043_0030__PREPARED] :
              ( r_0043_0037__truth(R_0043_0037__TRUTH)
              & x_000_43_a_major_case_88(X_000_43_A_MAJOR_CASE_88)
              & z_000_43_a_major_case_84(Z_000_43_A_MAJOR_CASE_84)
              & r_0043_0028__has_r_0043_0029__been_r_0043_0030__prepared(R_0043_0028__HAS_R_0043_0029__BEEN_R_0043_0030__PREPARED)
              & has_arg0(R_0043_0028__HAS_R_0043_0029__BEEN_R_0043_0030__PREPARED,Z_000_43_A_MAJOR_CASE_84)
              & has_arg1(R_0043_0028__HAS_R_0043_0029__BEEN_R_0043_0030__PREPARED,Z_000_43_A_MAJOR_CASE_75)
              & has_prd(R_0043_0028__HAS_R_0043_0029__BEEN_R_0043_0030__PREPARED,R_0043_0031__TO_R_0043_0032__VERIFY)
              & r_0043_0031__to_r_0043_0032__verify(R_0043_0031__TO_R_0043_0032__VERIFY)
              & has_arg0(R_0043_0031__TO_R_0043_0032__VERIFY,X_000_43_A_MAJOR_CASE_88)
              & has_r_0043_0033__with_nim98(R_0043_0031__TO_R_0043_0032__VERIFY,R_0043_0034__A_R_0043_0035__STATEMENT)
              & r_0043_0034__a_r_0043_0035__statement(R_0043_0034__A_R_0043_0035__STATEMENT)
              & has_r_0043_0036__of(R_0043_0034__A_R_0043_0035__STATEMENT,R_0043_0037__TRUTH)
              & has_arg1(R_0043_0031__TO_R_0043_0032__VERIFY,R_0043_0023__THE_R_0043_0024__CONTENTS)
              & r_0043_0023__the_r_0043_0024__contents(R_0043_0023__THE_R_0043_0024__CONTENTS)
              & has_r_0043_0025__of(R_0043_0023__THE_R_0043_0024__CONTENTS,R_0043_0021__DOCUMENTS) ) )
      & r_0043_0020__disclosed(R_0043_0020__DISCLOSED)
      & has_arg0(R_0043_0020__DISCLOSED,Z_000_43_A_MAJOR_CASE_55)
      & has_arg1(R_0043_0020__DISCLOSED,R_0043_0021__DOCUMENTS) ) ).

( (IP-MAT (NP-SBJ (D The;{the})
                  (NPR Court;{Court}))
          (BEP;_Ipr_ is;{be[under]})
          (PP-CLR (P-ROLE under;{under})
                  (NP (Q no;{no})
                      (N obligation;{obligation})
                      (IP-INF (TO to;{to})
                              (VB;_Tn_ approach;{approach})
                              (NP-OB1 (D this;{this})
                                      (N case;{case}))
                              (PP-NIM (P-ROLE on;{on})
                                      (NP (D the;{the})
                                          (ADJP (ADVP (ADV artificially;{artificially}))
                                                (ADJ na<iuml>ve;{naive}))
                                          (N basis;{basis})
                                          (CP-THT (IP-SUB (C that;{that})
                                                          (NP-SBJ;{DOCUMENTS} (D the;{the})
                                                                              (N handful;{handful})
                                                                              (PP (P-ROLE of;{of})
                                                                                  (NP (IP-PPL (NP-LGS *)
                                                                                              (VVN;_Tn_ disclosed;{disclose}))
                                                                                      (NS documents;{document})
                                                                                      (PUNC ,)
                                                                                      (IP-REL (NP-121 (D the;{the})
                                                                                                      (NS contents;{content})
                                                                                                      (PP (P-ROLE of;{of})
                                                                                                          (NP (RPRO which;{which}))))
                                                                                              (NP-SBJ (Q;_nphd_ nobody;{nobody}))
                                                                                              (HVP;_cat_Ve_ has;{have})
                                                                                              (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                                                                                          (IP-PPL-CAT (NP-LGS *)
                                                                                                                      (VVN;_Cn.t_ prepared;{prepare})
                                                                                                                      (IP-INF-PRD (NP-OB1 *ICH*-121)
                                                                                                                                  (TO to;{to})
                                                                                                                                  (VB;_Tn_ verify;{verify})
                                                                                                                                  (PP-NIM (P-ROLE with;{with})
                                                                                                                                          (NP (D a;{a})
                                                                                                                                              (N statement;{statement})
                                                                                                                                              (PP (P-ROLE of;{of})
                                                                                                                                                  (NP (N truth;{truth}))))))))))))
                                                          (PUNC ,)
                                                          (MD;_cat_Vi_ should;{shall})
                                                          (IP-INF-CAT (ADVP-NIM (ADV nevertheless;{nevertheless}))
                                                                      (BE;_cat_VePASS_ be;{be})
                                                                      (IP-PPL-CAT (NP-LGS *)
                                                                                  (VVN;_Tnt_ assumed;{assume})
                                                                                  (IP-INF-OB1 (TO to;{to})
                                                                                              (BE;_La_ be;{be})
                                                                                              (ADJP-PRD (ADVP (ADV entirely;{entirely}))
                                                                                                        (AJLYR (AJLYR (ADJ accurate;{accurate}))
                                                                                                               (CONJP (CONJ and;{and})
                                                                                                                      (AJLYR (ADJ complete;{complete})))))))))))))))
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ (ADVP (ADV even;{even}))
                                   (NS members;{member})
                                   (PP (P-ROLE of;{of})
                                       (NP (D the;{the})
                                           (NPR Cabinet;{Cabinet}))))
                           (DOP do;{do})
                           (NEG not;{not})
                           (VB;_cat_Vt_ appear;{appear})
                           (IP-INF-CAT (TO to;{to})
                                       (VB;_Tn_ believe;{believe})
                                       (NP-OB1;{DOCUMENTS} (PRO them;{they})))
                           (PULB -LRB-)
                           (PRN (IP-IMP (VB;_Tn_ see;{see})
                                        (NP-OB1 (ADJP (ADJ previous;{previous}))
                                                (NS submissions;{submission})
                                                (N <sect>)
                                                (NUM 17))))
                           (PURB -RRB-)))
          (PUNC .))
  (ID 43_a_major_case))