Context                Previous, Next                Top


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

%3 r_0043_0003__is is r_0043_0001__The_r_0043_0002__Court The Court r_0043_0003__is->r_0043_0001__The_r_0043_0002__Court [arg0] r_0043_0006__obligation obligation r_0043_0003__is->r_0043_0006__obligation under [clr] r_0043_0007__to_r_0043_0008__approach to approach r_0043_0006__obligation->r_0043_0007__to_r_0043_0008__approach [emb] r_0043_0005__no_quant no [quant] r_0043_0005__no_quant->r_0043_0006__obligation [restriction] r_0043_0049__when when r_0043_0005__no_quant->r_0043_0049__when [scope] r_0043_0049__when->r_0043_0003__is [scope] r_0043_0056__not not r_0043_0049__when->r_0043_0056__not [restriction] r_0043_0009__this_r_0043_0010__case this case r_0043_0007__to_r_0043_0008__approach->r_0043_0009__this_r_0043_0010__case [arg1] r_0043_0012__the_r_0043_0015__basis the basis r_0043_0007__to_r_0043_0008__approach->r_0043_0012__the_r_0043_0015__basis on [nim] z_000_43_a_major_case_17 r_0043_0007__to_r_0043_0008__approach->z_000_43_a_major_case_17 [arg0] r_0043_0014__na_iuml_ve na iuml ve r_0043_0012__the_r_0043_0015__basis->r_0043_0014__na_iuml_ve [attrib] r_0043_0016__that_r_0043_0039__should that should r_0043_0012__the_r_0043_0015__basis->r_0043_0016__that_r_0043_0039__should [emb] r_0043_0013__artificially artificially r_0043_0014__na_iuml_ve->r_0043_0013__artificially [qual] r_0043_0041__be be r_0043_0016__that_r_0043_0039__should->r_0043_0041__be [scope] r_0043_0040__nevertheless nevertheless r_0043_0041__be->r_0043_0040__nevertheless [nim] r_0043_0042__assumed assumed r_0043_0041__be->r_0043_0042__assumed [scope] r_0043_0017__the_r_0043_0018__handful the handful r_0043_0021__documents documents r_0043_0017__the_r_0043_0018__handful->r_0043_0021__documents of r_0043_0020__disclosed disclosed r_0043_0020__disclosed->r_0043_0021__documents [arg1] z_000_43_a_major_case_55 r_0043_0020__disclosed->z_000_43_a_major_case_55 [arg0] r_0043_0023__the_r_0043_0024__contents the contents r_0043_0023__the_r_0043_0024__contents->r_0043_0021__documents of r_0043_0027__nobody_quant nobody [quant] r_0043_0028__has has r_0043_0027__nobody_quant->r_0043_0028__has [scope] z_000_43_a_major_case_75 r_0043_0027__nobody_quant->z_000_43_a_major_case_75 [restriction] r_0043_0029__been been r_0043_0028__has->r_0043_0029__been [scope] r_0043_0030__prepared prepared r_0043_0029__been->r_0043_0030__prepared [scope] r_0043_0030__prepared->z_000_43_a_major_case_75 [arg1] r_0043_0031__to_r_0043_0032__verify to verify r_0043_0030__prepared->r_0043_0031__to_r_0043_0032__verify [prd] z_000_43_a_major_case_84 r_0043_0030__prepared->z_000_43_a_major_case_84 [arg0] r_0043_0031__to_r_0043_0032__verify->r_0043_0023__the_r_0043_0024__contents [arg1] r_0043_0034__a_r_0043_0035__statement a statement r_0043_0031__to_r_0043_0032__verify->r_0043_0034__a_r_0043_0035__statement with [nim] x_000_43_a_major_case_88 __ r_0043_0031__to_r_0043_0032__verify->x_000_43_a_major_case_88 [arg0] r_0043_0037__truth truth r_0043_0034__a_r_0043_0035__statement->r_0043_0037__truth of r_0043_0043__to_r_0043_0044__be to be r_0043_0042__assumed->r_0043_0043__to_r_0043_0044__be [arg1] z_000_43_a_major_case_120 r_0043_0042__assumed->z_000_43_a_major_case_120 [arg0] r_0043_0043__to_r_0043_0044__be->r_0043_0017__the_r_0043_0018__handful [arg0] r_0043_0047__and and r_0043_0043__to_r_0043_0044__be->r_0043_0047__and [prd] r_0043_0045__entirely entirely r_0043_0047__and->r_0043_0045__entirely [qual] r_0043_0046__accurate accurate r_0043_0047__and->r_0043_0046__accurate [conj1] r_0043_0048__complete complete r_0043_0047__and->r_0043_0048__complete [conj2] r_0043_0055__do_r_0043_0057__appear do appear r_0043_0056__not->r_0043_0055__do_r_0043_0057__appear [keep_scope] r_0043_0051__members members r_0043_0050__even even r_0043_0051__members->r_0043_0050__even [qual] r_0043_0053__the_r_0043_0054__Cabinet the Cabinet r_0043_0051__members->r_0043_0053__the_r_0043_0054__Cabinet of r_0043_0058__to_r_0043_0059__believe to believe r_0043_0055__do_r_0043_0057__appear->r_0043_0058__to_r_0043_0059__believe [scope] r_0043_0058__to_r_0043_0059__believe->r_0043_0017__the_r_0043_0018__handful [arg1] r_0043_0058__to_r_0043_0059__believe->r_0043_0051__members [arg0] 
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_0006__obligation, restriction).
arc(r_0043_0005__no_quant, r_0043_0049__when, scope).
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_0003__is, 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).


%3 r_0043_0003__is is r_0043_0001__The_r_0043_0002__Court The Court r_0043_0003__is->r_0043_0001__The_r_0043_0002__Court [arg0] r_0043_0006__obligation obligation r_0043_0003__is->r_0043_0006__obligation under [clr] r_0043_0007__to_r_0043_0008__approach to approach r_0043_0006__obligation->r_0043_0007__to_r_0043_0008__approach [emb] r_0043_0005__no_quant no [quant] r_0043_0005__no_quant->r_0043_0006__obligation [restriction] r_0043_0049__when when r_0043_0005__no_quant->r_0043_0049__when [scope] r_0043_0049__when->r_0043_0003__is [scope] r_0043_0056__not not r_0043_0049__when->r_0043_0056__not [restriction] r_0043_0009__this_r_0043_0010__case this case r_0043_0007__to_r_0043_0008__approach->r_0043_0009__this_r_0043_0010__case [arg1] r_0043_0012__the_r_0043_0015__basis the basis r_0043_0007__to_r_0043_0008__approach->r_0043_0012__the_r_0043_0015__basis on [nim] z_000_43_a_major_case_17 r_0043_0007__to_r_0043_0008__approach->z_000_43_a_major_case_17 [arg0] r_0043_0014__na_iuml_ve na iuml ve r_0043_0012__the_r_0043_0015__basis->r_0043_0014__na_iuml_ve [attrib] r_0043_0016__that_r_0043_0039__should_r_0043_0041__be_r_0043_0042__assumed that should be assumed r_0043_0012__the_r_0043_0015__basis->r_0043_0016__that_r_0043_0039__should_r_0043_0041__be_r_0043_0042__assumed [emb] r_0043_0013__artificially artificially r_0043_0014__na_iuml_ve->r_0043_0013__artificially [qual] r_0043_0040__nevertheless nevertheless r_0043_0016__that_r_0043_0039__should_r_0043_0041__be_r_0043_0042__assumed->r_0043_0040__nevertheless [nim] r_0043_0043__to_r_0043_0044__be to be r_0043_0016__that_r_0043_0039__should_r_0043_0041__be_r_0043_0042__assumed->r_0043_0043__to_r_0043_0044__be [arg1] z_000_43_a_major_case_120 r_0043_0016__that_r_0043_0039__should_r_0043_0041__be_r_0043_0042__assumed->z_000_43_a_major_case_120 [arg0] r_0043_0017__the_r_0043_0018__handful the handful r_0043_0043__to_r_0043_0044__be->r_0043_0017__the_r_0043_0018__handful [arg0] r_0043_0047__and and r_0043_0043__to_r_0043_0044__be->r_0043_0047__and [prd] r_0043_0021__documents documents r_0043_0017__the_r_0043_0018__handful->r_0043_0021__documents of r_0043_0020__disclosed disclosed r_0043_0020__disclosed->r_0043_0021__documents [arg1] z_000_43_a_major_case_55 r_0043_0020__disclosed->z_000_43_a_major_case_55 [arg0] r_0043_0023__the_r_0043_0024__contents the contents r_0043_0023__the_r_0043_0024__contents->r_0043_0021__documents of r_0043_0027__nobody_quant nobody [quant] r_0043_0028__has_r_0043_0029__been_r_0043_0030__prepared has been prepared r_0043_0027__nobody_quant->r_0043_0028__has_r_0043_0029__been_r_0043_0030__prepared [scope] z_000_43_a_major_case_75 r_0043_0027__nobody_quant->z_000_43_a_major_case_75 [restriction] r_0043_0028__has_r_0043_0029__been_r_0043_0030__prepared->z_000_43_a_major_case_75 [arg1] r_0043_0031__to_r_0043_0032__verify to verify r_0043_0028__has_r_0043_0029__been_r_0043_0030__prepared->r_0043_0031__to_r_0043_0032__verify [prd] z_000_43_a_major_case_84 r_0043_0028__has_r_0043_0029__been_r_0043_0030__prepared->z_000_43_a_major_case_84 [arg0] r_0043_0031__to_r_0043_0032__verify->r_0043_0023__the_r_0043_0024__contents [arg1] r_0043_0034__a_r_0043_0035__statement a statement r_0043_0031__to_r_0043_0032__verify->r_0043_0034__a_r_0043_0035__statement with [nim] x_000_43_a_major_case_88 __ r_0043_0031__to_r_0043_0032__verify->x_000_43_a_major_case_88 [arg0] r_0043_0037__truth truth r_0043_0034__a_r_0043_0035__statement->r_0043_0037__truth of r_0043_0045__entirely entirely r_0043_0047__and->r_0043_0045__entirely [qual] r_0043_0046__accurate accurate r_0043_0047__and->r_0043_0046__accurate [conj1] r_0043_0048__complete complete r_0043_0047__and->r_0043_0048__complete [conj2] r_0043_0055__do_r_0043_0057__appear_r_0043_0058__to_r_0043_0059__believe do appear to believe r_0043_0056__not->r_0043_0055__do_r_0043_0057__appear_r_0043_0058__to_r_0043_0059__believe [keep_scope] r_0043_0051__members members r_0043_0050__even even r_0043_0051__members->r_0043_0050__even [qual] r_0043_0053__the_r_0043_0054__Cabinet the Cabinet r_0043_0051__members->r_0043_0053__the_r_0043_0054__Cabinet of r_0043_0055__do_r_0043_0057__appear_r_0043_0058__to_r_0043_0059__believe->r_0043_0017__the_r_0043_0018__handful [arg1] r_0043_0055__do_r_0043_0057__appear_r_0043_0058__to_r_0043_0059__believe->r_0043_0051__members [arg0] 
fof(formula,axiom,
    ? [R_43_20_DISCLOSED,Z_43_A_MAJOR_CASE_55,R_43_21_DOCUMENTS] :
      ( documents(R_43_21_DOCUMENTS)
      & ! [R_43_6_OBLIGATION,R_43_7_TO_APPROACH,Z_43_A_MAJOR_CASE_17,R_43_9_THIS_CASE,R_43_12_THE_BASIS,R_43_14_NA_IUML_VE,R_43_13_ARTIFICIALLY,R_43_16_THAT_SHOULD_BE_ASSUMED,Z_43_A_MAJOR_CASE_120,R_43_43_TO_BE,R_43_17_THE_HANDFUL,R_43_47_AND,R_43_46_ACCURATE,R_43_48_COMPLETE,R_43_45_ENTIRELY,R_43_40_NEVERTHELESS] :
          ( ( this_case(R_43_9_THIS_CASE)
            & artificially(R_43_13_ARTIFICIALLY)
            & accurate(R_43_46_ACCURATE)
            & complete(R_43_48_COMPLETE)
            & entirely(R_43_45_ENTIRELY)
            & nevertheless(R_43_40_NEVERTHELESS)
            & obligation(R_43_6_OBLIGATION)
            & emb17(R_43_6_OBLIGATION,R_43_7_TO_APPROACH)
            & to_approach(R_43_7_TO_APPROACH,Z_43_A_MAJOR_CASE_17,R_43_9_THIS_CASE)
            & on_nim30(R_43_7_TO_APPROACH,R_43_12_THE_BASIS)
            & the_basis(R_43_12_THE_BASIS)
            & attrib33(R_43_12_THE_BASIS,R_43_14_NA_IUML_VE)
            & na_iuml_ve(R_43_14_NA_IUML_VE)
            & qual34(R_43_14_NA_IUML_VE,R_43_13_ARTIFICIALLY)
            & emb42(R_43_12_THE_BASIS,R_43_16_THAT_SHOULD_BE_ASSUMED)
            & that_should_be_assumed(R_43_16_THAT_SHOULD_BE_ASSUMED,Z_43_A_MAJOR_CASE_120,R_43_43_TO_BE)
            & to_be(R_43_43_TO_BE,R_43_17_THE_HANDFUL,R_43_47_AND)
            & the_handful(R_43_17_THE_HANDFUL)
            & of(R_43_17_THE_HANDFUL,R_43_21_DOCUMENTS)
            & and(R_43_47_AND)
            & conj1(R_43_47_AND,R_43_46_ACCURATE)
            & conj2(R_43_47_AND,R_43_48_COMPLETE)
            & qual130(R_43_47_AND,R_43_45_ENTIRELY)
            & nim114(R_43_16_THAT_SHOULD_BE_ASSUMED,R_43_40_NEVERTHELESS) )
         => ( ~ ? [R_43_55_DO_APPEAR_TO_BELIEVE,R_43_51_MEMBERS,R_43_50_EVEN,R_43_53_THE_CABINET] :
                  ( even(R_43_50_EVEN)
                  & the_Cabinet(R_43_53_THE_CABINET)
                  & do_appear_to_believe(R_43_55_DO_APPEAR_TO_BELIEVE,R_43_51_MEMBERS,R_43_17_THE_HANDFUL)
                  & members(R_43_51_MEMBERS)
                  & qual148(R_43_51_MEMBERS,R_43_50_EVEN)
                  & of(R_43_51_MEMBERS,R_43_53_THE_CABINET) )
           => ? [R_43_3_IS,R_43_1_THE_COURT] :
                ( the_Court(R_43_1_THE_COURT)
                & is(R_43_3_IS,R_43_1_THE_COURT)
                & under_clr12(R_43_3_IS,R_43_6_OBLIGATION) ) ) )
      & disclosed(R_43_20_DISCLOSED,Z_43_A_MAJOR_CASE_55,R_43_21_DOCUMENTS)
      & ! [Z_43_A_MAJOR_CASE_75] :
          ( true
         => ? [R_43_28_HAS_BEEN_PREPARED,Z_43_A_MAJOR_CASE_84,R_43_31_TO_VERIFY,X_43_A_MAJOR_CASE_88,R_43_23_THE_CONTENTS,R_43_34_A_STATEMENT,R_43_37_TRUTH] :
              ( truth(R_43_37_TRUTH)
              & has_been_prepared(R_43_28_HAS_BEEN_PREPARED,Z_43_A_MAJOR_CASE_84,Z_43_A_MAJOR_CASE_75,R_43_31_TO_VERIFY)
              & to_verify(R_43_31_TO_VERIFY,X_43_A_MAJOR_CASE_88,R_43_23_THE_CONTENTS)
              & the_contents(R_43_23_THE_CONTENTS)
              & of(R_43_23_THE_CONTENTS,R_43_21_DOCUMENTS)
              & with_nim98(R_43_31_TO_VERIFY,R_43_34_A_STATEMENT)
              & a_statement(R_43_34_A_STATEMENT)
              & of(R_43_34_A_STATEMENT,R_43_37_TRUTH) ) ) ) ).


n43_a_major_case n43_a_major_case_4 The n43_a_major_case_6 Court n43_a_major_case_8 is n43_a_major_case_11 under n43_a_major_case_14 no n43_a_major_case_16 obligation n43_a_major_case_19 to n43_a_major_case_21 approach n43_a_major_case_24 this n43_a_major_case_26 case n43_a_major_case_29 on n43_a_major_case_32 the n43_a_major_case_36 artificially n43_a_major_case_38 na<iuml>ve n43_a_major_case_40 basis n43_a_major_case_44 that n43_a_major_case_47 the n43_a_major_case_49 handful n43_a_major_case_52 of n43_a_major_case_56 * n43_a_major_case_58 disclosed n43_a_major_case_60 documents n43_a_major_case_62 , n43_a_major_case_66 the n43_a_major_case_68 contents n43_a_major_case_71 of n43_a_major_case_74 which n43_a_major_case_77 nobody n43_a_major_case_79 has n43_a_major_case_82 been n43_a_major_case_85 * n43_a_major_case_87 prepared n43_a_major_case_90 *ICH*-121 n43_a_major_case_92 to n43_a_major_case_94 verify n43_a_major_case_97 with n43_a_major_case_100 a n43_a_major_case_102 statement n43_a_major_case_105 of n43_a_major_case_108 truth n43_a_major_case_110 , n43_a_major_case_112 should n43_a_major_case_116 nevertheless n43_a_major_case_118 be n43_a_major_case_121 * n43_a_major_case_123 assumed n43_a_major_case_126 to n43_a_major_case_128 be n43_a_major_case_132 entirely n43_a_major_case_136 accurate n43_a_major_case_139 and n43_a_major_case_142 complete n43_a_major_case_145 when n43_a_major_case_150 even n43_a_major_case_152 members n43_a_major_case_155 of n43_a_major_case_158 the n43_a_major_case_160 Cabinet n43_a_major_case_162 do n43_a_major_case_164 not n43_a_major_case_166 appear n43_a_major_case_169 to n43_a_major_case_171 believe n43_a_major_case_174 them n43_a_major_case_176 -LRB- n43_a_major_case_180 see n43_a_major_case_184 previous n43_a_major_case_186 submissions n43_a_major_case_188 <sect> n43_a_major_case_190 17 n43_a_major_case_192 -RRB- n43_a_major_case_194 . n43_a_major_case_1 IP-MAT n43_a_major_case_2 NP-SBJ n43_a_major_case_1->n43_a_major_case_2 n43_a_major_case_7 BEP;_Ipr_ n43_a_major_case_1->n43_a_major_case_7 n43_a_major_case_9 PP-CLR n43_a_major_case_1->n43_a_major_case_9 n43_a_major_case_143 PP-SCON n43_a_major_case_1->n43_a_major_case_143 n43_a_major_case_193 PUNC n43_a_major_case_1->n43_a_major_case_193 n43_a_major_case_3 D n43_a_major_case_2->n43_a_major_case_3 n43_a_major_case_5 NPR n43_a_major_case_2->n43_a_major_case_5 n43_a_major_case_3->n43_a_major_case_4 n43_a_major_case_5->n43_a_major_case_6 n43_a_major_case_7->n43_a_major_case_8 n43_a_major_case_10 P-ROLE n43_a_major_case_9->n43_a_major_case_10 n43_a_major_case_12 NP n43_a_major_case_9->n43_a_major_case_12 n43_a_major_case_10->n43_a_major_case_11 n43_a_major_case_13 Q n43_a_major_case_12->n43_a_major_case_13 n43_a_major_case_15 N n43_a_major_case_12->n43_a_major_case_15 n43_a_major_case_17 IP-INF n43_a_major_case_12->n43_a_major_case_17 n43_a_major_case_13->n43_a_major_case_14 n43_a_major_case_15->n43_a_major_case_16 n43_a_major_case_18 TO n43_a_major_case_17->n43_a_major_case_18 n43_a_major_case_20 VB;_Tn_ n43_a_major_case_17->n43_a_major_case_20 n43_a_major_case_22 NP-OB1 n43_a_major_case_17->n43_a_major_case_22 n43_a_major_case_27 PP-NIM n43_a_major_case_17->n43_a_major_case_27 n43_a_major_case_18->n43_a_major_case_19 n43_a_major_case_20->n43_a_major_case_21 n43_a_major_case_23 D n43_a_major_case_22->n43_a_major_case_23 n43_a_major_case_25 N n43_a_major_case_22->n43_a_major_case_25 n43_a_major_case_23->n43_a_major_case_24 n43_a_major_case_25->n43_a_major_case_26 n43_a_major_case_28 P-ROLE n43_a_major_case_27->n43_a_major_case_28 n43_a_major_case_30 NP n43_a_major_case_27->n43_a_major_case_30 n43_a_major_case_28->n43_a_major_case_29 n43_a_major_case_31 D n43_a_major_case_30->n43_a_major_case_31 n43_a_major_case_33 ADJP n43_a_major_case_30->n43_a_major_case_33 n43_a_major_case_39 N n43_a_major_case_30->n43_a_major_case_39 n43_a_major_case_41 CP-THT n43_a_major_case_30->n43_a_major_case_41 n43_a_major_case_31->n43_a_major_case_32 n43_a_major_case_34 ADVP n43_a_major_case_33->n43_a_major_case_34 n43_a_major_case_37 ADJ n43_a_major_case_33->n43_a_major_case_37 n43_a_major_case_35 ADV n43_a_major_case_34->n43_a_major_case_35 n43_a_major_case_35->n43_a_major_case_36 n43_a_major_case_37->n43_a_major_case_38 n43_a_major_case_39->n43_a_major_case_40 n43_a_major_case_42 IP-SUB n43_a_major_case_41->n43_a_major_case_42 n43_a_major_case_43 C n43_a_major_case_42->n43_a_major_case_43 n43_a_major_case_45 NP-SBJ n43_a_major_case_42->n43_a_major_case_45 n43_a_major_case_109 PUNC n43_a_major_case_42->n43_a_major_case_109 n43_a_major_case_111 MD;_cat_Vi_ n43_a_major_case_42->n43_a_major_case_111 n43_a_major_case_113 IP-INF-CAT n43_a_major_case_42->n43_a_major_case_113 n43_a_major_case_43->n43_a_major_case_44 n43_a_major_case_46 D n43_a_major_case_45->n43_a_major_case_46 n43_a_major_case_48 N n43_a_major_case_45->n43_a_major_case_48 n43_a_major_case_50 PP n43_a_major_case_45->n43_a_major_case_50 n43_a_major_case_46->n43_a_major_case_47 n43_a_major_case_48->n43_a_major_case_49 n43_a_major_case_51 P-ROLE n43_a_major_case_50->n43_a_major_case_51 n43_a_major_case_53 NP n43_a_major_case_50->n43_a_major_case_53 n43_a_major_case_51->n43_a_major_case_52 n43_a_major_case_54 IP-PPL n43_a_major_case_53->n43_a_major_case_54 n43_a_major_case_59 NS n43_a_major_case_53->n43_a_major_case_59 n43_a_major_case_61 PUNC n43_a_major_case_53->n43_a_major_case_61 n43_a_major_case_63 IP-REL n43_a_major_case_53->n43_a_major_case_63 n43_a_major_case_55 NP-LGS n43_a_major_case_54->n43_a_major_case_55 n43_a_major_case_57 VVN;_Tn_ n43_a_major_case_54->n43_a_major_case_57 n43_a_major_case_55->n43_a_major_case_56 n43_a_major_case_57->n43_a_major_case_58 n43_a_major_case_59->n43_a_major_case_60 n43_a_major_case_61->n43_a_major_case_62 n43_a_major_case_64 NP-121 n43_a_major_case_63->n43_a_major_case_64 n43_a_major_case_75 NP-SBJ n43_a_major_case_63->n43_a_major_case_75 n43_a_major_case_78 HVP;_cat_Ve_ n43_a_major_case_63->n43_a_major_case_78 n43_a_major_case_80 IP-PPL-CAT n43_a_major_case_63->n43_a_major_case_80 n43_a_major_case_65 D n43_a_major_case_64->n43_a_major_case_65 n43_a_major_case_67 NS n43_a_major_case_64->n43_a_major_case_67 n43_a_major_case_69 PP n43_a_major_case_64->n43_a_major_case_69 n43_a_major_case_65->n43_a_major_case_66 n43_a_major_case_67->n43_a_major_case_68 n43_a_major_case_70 P-ROLE n43_a_major_case_69->n43_a_major_case_70 n43_a_major_case_72 NP n43_a_major_case_69->n43_a_major_case_72 n43_a_major_case_70->n43_a_major_case_71 n43_a_major_case_73 RPRO n43_a_major_case_72->n43_a_major_case_73 n43_a_major_case_73->n43_a_major_case_74 n43_a_major_case_76 Q;_nphd_ n43_a_major_case_75->n43_a_major_case_76 n43_a_major_case_76->n43_a_major_case_77 n43_a_major_case_78->n43_a_major_case_79 n43_a_major_case_81 BEN;_cat_VePASS_ n43_a_major_case_80->n43_a_major_case_81 n43_a_major_case_83 IP-PPL-CAT n43_a_major_case_80->n43_a_major_case_83 n43_a_major_case_81->n43_a_major_case_82 n43_a_major_case_84 NP-LGS n43_a_major_case_83->n43_a_major_case_84 n43_a_major_case_86 VVN;_Cn.t_ n43_a_major_case_83->n43_a_major_case_86 n43_a_major_case_88 IP-INF-PRD n43_a_major_case_83->n43_a_major_case_88 n43_a_major_case_84->n43_a_major_case_85 n43_a_major_case_86->n43_a_major_case_87 n43_a_major_case_89 NP-OB1 n43_a_major_case_88->n43_a_major_case_89 n43_a_major_case_91 TO n43_a_major_case_88->n43_a_major_case_91 n43_a_major_case_93 VB;_Tn_ n43_a_major_case_88->n43_a_major_case_93 n43_a_major_case_95 PP-NIM n43_a_major_case_88->n43_a_major_case_95 n43_a_major_case_89->n43_a_major_case_90 n43_a_major_case_91->n43_a_major_case_92 n43_a_major_case_93->n43_a_major_case_94 n43_a_major_case_96 P-ROLE n43_a_major_case_95->n43_a_major_case_96 n43_a_major_case_98 NP n43_a_major_case_95->n43_a_major_case_98 n43_a_major_case_96->n43_a_major_case_97 n43_a_major_case_99 D n43_a_major_case_98->n43_a_major_case_99 n43_a_major_case_101 N n43_a_major_case_98->n43_a_major_case_101 n43_a_major_case_103 PP n43_a_major_case_98->n43_a_major_case_103 n43_a_major_case_99->n43_a_major_case_100 n43_a_major_case_101->n43_a_major_case_102 n43_a_major_case_104 P-ROLE n43_a_major_case_103->n43_a_major_case_104 n43_a_major_case_106 NP n43_a_major_case_103->n43_a_major_case_106 n43_a_major_case_104->n43_a_major_case_105 n43_a_major_case_107 N n43_a_major_case_106->n43_a_major_case_107 n43_a_major_case_107->n43_a_major_case_108 n43_a_major_case_109->n43_a_major_case_110 n43_a_major_case_111->n43_a_major_case_112 n43_a_major_case_114 ADVP-NIM n43_a_major_case_113->n43_a_major_case_114 n43_a_major_case_117 BE;_cat_VePASS_ n43_a_major_case_113->n43_a_major_case_117 n43_a_major_case_119 IP-PPL-CAT n43_a_major_case_113->n43_a_major_case_119 n43_a_major_case_115 ADV n43_a_major_case_114->n43_a_major_case_115 n43_a_major_case_115->n43_a_major_case_116 n43_a_major_case_117->n43_a_major_case_118 n43_a_major_case_120 NP-LGS n43_a_major_case_119->n43_a_major_case_120 n43_a_major_case_122 VVN;_Tnt_ n43_a_major_case_119->n43_a_major_case_122 n43_a_major_case_124 IP-INF-OB1 n43_a_major_case_119->n43_a_major_case_124 n43_a_major_case_120->n43_a_major_case_121 n43_a_major_case_122->n43_a_major_case_123 n43_a_major_case_125 TO n43_a_major_case_124->n43_a_major_case_125 n43_a_major_case_127 BE;_La_ n43_a_major_case_124->n43_a_major_case_127 n43_a_major_case_129 ADJP-PRD n43_a_major_case_124->n43_a_major_case_129 n43_a_major_case_125->n43_a_major_case_126 n43_a_major_case_127->n43_a_major_case_128 n43_a_major_case_130 ADVP n43_a_major_case_129->n43_a_major_case_130 n43_a_major_case_133 AJLYR n43_a_major_case_129->n43_a_major_case_133 n43_a_major_case_131 ADV n43_a_major_case_130->n43_a_major_case_131 n43_a_major_case_131->n43_a_major_case_132 n43_a_major_case_134 AJLYR n43_a_major_case_133->n43_a_major_case_134 n43_a_major_case_137 CONJP n43_a_major_case_133->n43_a_major_case_137 n43_a_major_case_135 ADJ n43_a_major_case_134->n43_a_major_case_135 n43_a_major_case_135->n43_a_major_case_136 n43_a_major_case_138 CONJ n43_a_major_case_137->n43_a_major_case_138 n43_a_major_case_140 AJLYR n43_a_major_case_137->n43_a_major_case_140 n43_a_major_case_138->n43_a_major_case_139 n43_a_major_case_141 ADJ n43_a_major_case_140->n43_a_major_case_141 n43_a_major_case_141->n43_a_major_case_142 n43_a_major_case_144 P-CONN n43_a_major_case_143->n43_a_major_case_144 n43_a_major_case_146 IP-ADV n43_a_major_case_143->n43_a_major_case_146 n43_a_major_case_144->n43_a_major_case_145 n43_a_major_case_147 NP-SBJ n43_a_major_case_146->n43_a_major_case_147 n43_a_major_case_161 DOP n43_a_major_case_146->n43_a_major_case_161 n43_a_major_case_163 NEG n43_a_major_case_146->n43_a_major_case_163 n43_a_major_case_165 VB;_cat_Vt_ n43_a_major_case_146->n43_a_major_case_165 n43_a_major_case_167 IP-INF-CAT n43_a_major_case_146->n43_a_major_case_167 n43_a_major_case_175 PULB n43_a_major_case_146->n43_a_major_case_175 n43_a_major_case_177 PRN n43_a_major_case_146->n43_a_major_case_177 n43_a_major_case_191 PURB n43_a_major_case_146->n43_a_major_case_191 n43_a_major_case_148 ADVP n43_a_major_case_147->n43_a_major_case_148 n43_a_major_case_151 NS n43_a_major_case_147->n43_a_major_case_151 n43_a_major_case_153 PP n43_a_major_case_147->n43_a_major_case_153 n43_a_major_case_149 ADV n43_a_major_case_148->n43_a_major_case_149 n43_a_major_case_149->n43_a_major_case_150 n43_a_major_case_151->n43_a_major_case_152 n43_a_major_case_154 P-ROLE n43_a_major_case_153->n43_a_major_case_154 n43_a_major_case_156 NP n43_a_major_case_153->n43_a_major_case_156 n43_a_major_case_154->n43_a_major_case_155 n43_a_major_case_157 D n43_a_major_case_156->n43_a_major_case_157 n43_a_major_case_159 NPR n43_a_major_case_156->n43_a_major_case_159 n43_a_major_case_157->n43_a_major_case_158 n43_a_major_case_159->n43_a_major_case_160 n43_a_major_case_161->n43_a_major_case_162 n43_a_major_case_163->n43_a_major_case_164 n43_a_major_case_165->n43_a_major_case_166 n43_a_major_case_168 TO n43_a_major_case_167->n43_a_major_case_168 n43_a_major_case_170 VB;_Tn_ n43_a_major_case_167->n43_a_major_case_170 n43_a_major_case_172 NP-OB1 n43_a_major_case_167->n43_a_major_case_172 n43_a_major_case_168->n43_a_major_case_169 n43_a_major_case_170->n43_a_major_case_171 n43_a_major_case_173 PRO n43_a_major_case_172->n43_a_major_case_173 n43_a_major_case_173->n43_a_major_case_174 n43_a_major_case_175->n43_a_major_case_176 n43_a_major_case_178 IP-IMP n43_a_major_case_177->n43_a_major_case_178 n43_a_major_case_179 VB;_Tn_ n43_a_major_case_178->n43_a_major_case_179 n43_a_major_case_181 NP-OB1 n43_a_major_case_178->n43_a_major_case_181 n43_a_major_case_179->n43_a_major_case_180 n43_a_major_case_182 ADJP n43_a_major_case_181->n43_a_major_case_182 n43_a_major_case_185 NS n43_a_major_case_181->n43_a_major_case_185 n43_a_major_case_187 N n43_a_major_case_181->n43_a_major_case_187 n43_a_major_case_189 NUM n43_a_major_case_181->n43_a_major_case_189 n43_a_major_case_183 ADJ n43_a_major_case_182->n43_a_major_case_183 n43_a_major_case_183->n43_a_major_case_184 n43_a_major_case_185->n43_a_major_case_186 n43_a_major_case_187->n43_a_major_case_188 n43_a_major_case_189->n43_a_major_case_190 n43_a_major_case_191->n43_a_major_case_192 n43_a_major_case_193->n43_a_major_case_194 
( (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))