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

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

arc(r_0043_0003__is_r_0043_0004__under,r_0043_0001__The_r_0043_0002__Court,arg0).
arc(r_0043_0003__is_r_0043_0004__under,r_0043_0006__obligation,arg1).
arc(r_0043_0005__no__quant,r_0043_0006__obligation,restriction).
arc(r_0043_0005__no__quant,r_0043_0049__when,scope).
arc(r_0043_0006__obligation,r_0043_0008__approach,emb).
arc(r_0043_0008__approach,r_0043_0009__this_r_0043_0010__case,arg1).
arc(r_0043_0008__approach,r_0043_0012__the_r_0043_0015__basis,r_0043_0011__on__nim).
arc(r_0043_0008__approach,z_0043_5005,arg0).
arc(r_0043_0012__the_r_0043_0015__basis,r_0043_0014__na_iuml_ve,attrib).
arc(r_0043_0012__the_r_0043_0015__basis,r_0043_0039__should,emb).
arc(r_0043_0014__na_iuml_ve,r_0043_0013__artificially,qual).
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,inv_arg1).
arc(r_0043_0020__disclosed,z_0043_5013___star_,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_0043_5018,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_0032__verify,arg1).
arc(r_0043_0030__prepared,z_0043_5018,arg2).
arc(r_0043_0030__prepared,z_0043_5025___star_,arg0).
arc(r_0043_0032__verify,r_0043_0023__the_r_0043_0024__contents,arg1).
arc(r_0043_0032__verify,r_0043_0034__a_r_0043_0035__statement,r_0043_0033__with__nim).
arc(r_0043_0032__verify,z_0043_5018,arg0).
arc(r_0043_0034__a_r_0043_0035__statement,r_0043_0037__truth,r_0043_0036__of).
arc(r_0043_0039__should,r_0043_0041__be,scope).
arc(r_0043_0041__be,r_0043_0040__nevertheless,nim).
arc(r_0043_0041__be,r_0043_0042__assumed,scope).
arc(r_0043_0042__assumed,r_0043_0044__be,arg1).
arc(r_0043_0042__assumed,z_0043_5038___star_,arg0).
arc(r_0043_0044__be,r_0043_0017__the_r_0043_0018__handful,arg0).
arc(r_0043_0044__be,r_0043_0047__and,prd).
arc(r_0043_0047__and,r_0043_0045__entirely,qual).
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_0003__is_r_0043_0004__under,scope).
arc(r_0043_0049__when,r_0043_0056__not,restriction).
arc(r_0043_0051__members,r_0043_0050__even,qual).
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_0059__believe,scope).
arc(r_0043_0056__not,r_0043_0055__do_r_0043_0057__appear,keep_scope).
arc(r_0043_0059__believe,r_0043_0017__the_r_0043_0018__handful,arg1).
arc(r_0043_0059__believe,r_0043_0051__members,arg0).
arc(r_0043_0059__believe,r_0043_0062__see,prn).
arc(r_0043_0062__see,r_0043_0064__submissions_r_0043_0065___sect__r_0043_0066__17,arg1).
arc(r_0043_0062__see,z_0043_5050,arg0).
arc(r_0043_0064__submissions_r_0043_0065___sect__r_0043_0066__17,r_0043_0063__previous,attrib).

fof(formula,axiom,
    ( ! [Z_0043_5018] :
        ( z_0043_5018(Z_0043_5018)
       => ? [Z_0043_5013___STAR_,R_0043_0020__DISCLOSED,R_0043_0021__DOCUMENTS,R_0043_0023__THE_R_0043_0024__CONTENTS,R_0043_0037__TRUTH,R_0043_0034__A_R_0043_0035__STATEMENT,R_0043_0032__VERIFY,Z_0043_5025___STAR_,R_0043_0028__HAS_R_0043_0029__BEEN_R_0043_0030__PREPARED] :
            ( r_0043_0037__truth(R_0043_0037__TRUTH)
            & z_0043_5013___star_(Z_0043_5013___STAR_)
            & z_0043_5025___star_(Z_0043_5025___STAR_)
            & 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_0043_5025___STAR_)
            & has_arg2(R_0043_0028__HAS_R_0043_0029__BEEN_R_0043_0030__PREPARED,Z_0043_5018)
            & has_arg1(R_0043_0028__HAS_R_0043_0029__BEEN_R_0043_0030__PREPARED,R_0043_0032__VERIFY)
            & r_0043_0032__verify(R_0043_0032__VERIFY)
            & has_arg0(R_0043_0032__VERIFY,Z_0043_5018)
            & has_r_0043_0033__with__nim(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_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_0021__documents(R_0043_0021__DOCUMENTS)
            & has_inv_arg1(R_0043_0021__DOCUMENTS,R_0043_0020__DISCLOSED)
            & r_0043_0020__disclosed(R_0043_0020__DISCLOSED)
            & has_arg0(R_0043_0020__DISCLOSED,Z_0043_5013___STAR_) ) )
    & ! [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,Z_0043_5013___STAR_,R_0043_0020__DISCLOSED,R_0043_0021__DOCUMENTS,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_0044__BE,Z_0043_5038___STAR_,R_0043_0039__SHOULD_R_0043_0041__BE_R_0043_0042__ASSUMED,R_0043_0012__THE_R_0043_0015__BASIS,Z_0043_5005,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_0043_5005(Z_0043_5005)
          & z_0043_5013___star_(Z_0043_5013___STAR_)
          & z_0043_5038___star_(Z_0043_5038___STAR_)
          & r_0043_0006__obligation(R_0043_0006__OBLIGATION)
          & has_emb(R_0043_0006__OBLIGATION,R_0043_0008__APPROACH)
          & r_0043_0008__approach(R_0043_0008__APPROACH)
          & has_arg0(R_0043_0008__APPROACH,Z_0043_5005)
          & has_r_0043_0011__on__nim(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_emb(R_0043_0012__THE_R_0043_0015__BASIS,R_0043_0039__SHOULD_R_0043_0041__BE_R_0043_0042__ASSUMED)
          & r_0043_0039__should_r_0043_0041__be_r_0043_0042__assumed(R_0043_0039__SHOULD_R_0043_0041__BE_R_0043_0042__ASSUMED)
          & has_arg0(R_0043_0039__SHOULD_R_0043_0041__BE_R_0043_0042__ASSUMED,Z_0043_5038___STAR_)
          & has_arg1(R_0043_0039__SHOULD_R_0043_0041__BE_R_0043_0042__ASSUMED,R_0043_0044__BE)
          & r_0043_0044__be(R_0043_0044__BE)
          & has_prd(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_qual(R_0043_0047__AND,R_0043_0045__ENTIRELY)
          & has_arg0(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)
          & r_0043_0021__documents(R_0043_0021__DOCUMENTS)
          & has_inv_arg1(R_0043_0021__DOCUMENTS,R_0043_0020__DISCLOSED)
          & r_0043_0020__disclosed(R_0043_0020__DISCLOSED)
          & has_arg0(R_0043_0020__DISCLOSED,Z_0043_5013___STAR_)
          & has_nim(R_0043_0039__SHOULD_R_0043_0041__BE_R_0043_0042__ASSUMED,R_0043_0040__NEVERTHELESS)
          & has_attrib(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_qual(R_0043_0014__NA_IUML_VE,R_0043_0013__ARTIFICIALLY)
          & has_arg1(R_0043_0008__APPROACH,R_0043_0009__THIS_R_0043_0010__CASE) )
       => ! [R_0043_0056__NOT] :
            ( ~ ? [R_0043_0050__EVEN,R_0043_0053__THE_R_0043_0054__CABINET,R_0043_0051__MEMBERS,R_0043_0063__PREVIOUS,R_0043_0064__SUBMISSIONS_R_0043_0065___SECT__R_0043_0066__17,Z_0043_5050,R_0043_0062__SEE,R_0043_0055__DO_R_0043_0057__APPEAR_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_0063__previous(R_0043_0063__PREVIOUS)
                  & z_0043_5050(Z_0043_5050)
                  & r_0043_0055__do_r_0043_0057__appear_r_0043_0059__believe(R_0043_0055__DO_R_0043_0057__APPEAR_R_0043_0059__BELIEVE)
                  & has_prn(R_0043_0055__DO_R_0043_0057__APPEAR_R_0043_0059__BELIEVE,R_0043_0062__SEE)
                  & r_0043_0062__see(R_0043_0062__SEE)
                  & has_arg0(R_0043_0062__SEE,Z_0043_5050)
                  & has_arg1(R_0043_0062__SEE,R_0043_0064__SUBMISSIONS_R_0043_0065___SECT__R_0043_0066__17)
                  & r_0043_0064__submissions_r_0043_0065___sect__r_0043_0066__17(R_0043_0064__SUBMISSIONS_R_0043_0065___SECT__R_0043_0066__17)
                  & has_attrib(R_0043_0064__SUBMISSIONS_R_0043_0065___SECT__R_0043_0066__17,R_0043_0063__PREVIOUS)
                  & has_arg0(R_0043_0055__DO_R_0043_0057__APPEAR_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_qual(R_0043_0051__MEMBERS,R_0043_0050__EVEN)
                  & has_arg1(R_0043_0055__DO_R_0043_0057__APPEAR_R_0043_0059__BELIEVE,R_0043_0017__THE_R_0043_0018__HANDFUL) )
           => ? [R_0043_0001__THE_R_0043_0002__COURT,R_0043_0003__IS_R_0043_0004__UNDER] :
                ( r_0043_0001__The_r_0043_0002__Court(R_0043_0001__THE_R_0043_0002__COURT)
                & r_0043_0003__is_r_0043_0004__under(R_0043_0003__IS_R_0043_0004__UNDER)
                & has_arg1(R_0043_0003__IS_R_0043_0004__UNDER,R_0043_0006__OBLIGATION)
                & has_arg0(R_0043_0003__IS_R_0043_0004__UNDER,R_0043_0001__THE_R_0043_0002__COURT) ) ) ) ) ).