TSPC 33_a_major

33_a_major_case
In particular, it would be very straightforward for the Prime Minister or a senior official to sign a witness statement confirming (for example) that the decision had nothing to do with Brexit if that were indeed the case, and despite repeated requests nobody has been prepared to do so.

( (IP-MAT (ILYR (ILYR (ADVP-NIM (ADV In_particular;{in_particular}))
                      (PUNC ,)
                      (NP-SBJ (PRO;_provisional_ it;{it}))
                      (MD;_cat_Vi_ would;{will})
                      (IP-INF-CAT (BE;_La_ be;{be})
                                  (ADJP-PRD (ADVP (ADV very;{very}))
                                            (ADJ straightforward;{straightforward}))
                                  (IP-INF-NSBJ (P-CONN for;{for})
                                               (NP-SBJ (NLYR (NLYR;{JOHNSON} (D the;{the})
                                                                             (NPR Prime;{Prime})
                                                                             (NPR Minister;{Minister}))
                                                             (CONJP (CONJ or;{or})
                                                                    (NLYR (D a;{a})
                                                                          (ADJP (ADJ senior;{senior}))
                                                                          (N official;{official})))))
                                               (TO to;{to})
                                               (VB;__ sign;{sign})
                                               (NP-OB1 (D a;{a})
                                                       (N witness;{witness})
                                                       (N statement;{statement})
                                                       (IP-PPL (VAG;__ confirming;{confirm})
                                                               (PULB -LRB-)
                                                               (ADVP-NIM (ADV for_example;{for_example}))
                                                               (PURB -RRB-)
                                                               (CP-THT-OB1 (IP-SUB (C that;{that})
                                                                                   (NP-SBJ (D the;{the})
                                                                                           (N decision;{decision}))
                                                                                   (HVD;_Tn_ had;{have})
                                                                                   (NP-OB1 (Q;_nphd_ nothing;{nothing})
                                                                                           (IP-INF-REL (NP-SBJ *T*)
                                                                                                       (TO to;{to})
                                                                                                       (DO;_Ipr_ do;{do[with]})
                                                                                                       (PP-CLR (P-ROLE with;{with})
                                                                                                               (NP (NPR Brexit;{Brexit})))))
                                                                                   (PP-SCON (P-CONN if;{if})
                                                                                            (IP-ADV (NP-SBJ (D;_nphd_ that;{that}))
                                                                                                    (BED;_Ln_ were;{be})
                                                                                                    (ADVP-NIM (ADV indeed;{indeed}))
                                                                                                    (NP-PRD (D the;{the})
                                                                                                            (N case;{case})))))))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (PP-SCON (P-CONN despite;{despite})
                                      (IP-PPL3 (VVN;__ repeated;{repeat})
                                               (NP-OB1 (NS requests;{request}))))
                             (NP-SBJ (Q;_nphd_ nobody;{nobody}))
                             (HVP;_cat_Ve_ has;{have})
                             (IP-PPL-CAT (NP-LGS *)
                                         (BEN;_La_ been;{be})
                                         (ADJP-PRD (VVN;__ prepared;{prepare})
                                                   (IP-INF-OB1 (TO to;{to})
                                                               (DO do;{do})
                                                               (ADVP-CLR (ADV so;{so}))))))))
          (PUNC .))
  (ID 33_a_major_case))

arc(r_0033_0004__would,r_0033_0001__In_particular,nim).
arc(r_0033_0004__would,r_0033_0005__be,scope).
arc(r_0033_0005__be,r_0033_0007__straightforward,prd).
arc(r_0033_0005__be,r_0033_0017__sign,arg0).
arc(r_0033_0007__straightforward,r_0033_0006__very,qual).
arc(r_0033_0012__or,r_0033_0009__the_r_0033_0010__Prime_r_0033_0011__Minister,conj1).
arc(r_0033_0012__or,r_0033_0013__a_r_0033_0015__official,conj2).
arc(r_0033_0013__a_r_0033_0015__official,r_0033_0014__senior,attrib).
arc(r_0033_0017__sign,r_0033_0012__or,arg0).
arc(r_0033_0017__sign,r_0033_0018__a_r_0033_0019__witness_r_0033_0020__statement,arg1).
arc(r_0033_0021__confirming,r_0033_0018__a_r_0033_0019__witness_r_0033_0020__statement,inv_arg0).
arc(r_0033_0021__confirming,r_0033_0023__for_example,nim).
arc(r_0033_0021__confirming,r_0033_0029__nothing__quant,arg1).
arc(r_0033_0028__had,r_0033_0026__the_r_0033_0027__decision,arg0).
arc(r_0033_0028__had,z_0033_5014,arg1).
arc(r_0033_0029__nothing__quant,r_0033_0034__if,scope).
arc(r_0033_0029__nothing__quant,z_0033_5014,restriction).
arc(r_0033_0031__do_r_0033_0032__with,r_0033_0033__Brexit,arg1).
arc(r_0033_0031__do_r_0033_0032__with,z_0033_5014,inv_arg0).
arc(r_0033_0034__if,r_0033_0028__had,scope).
arc(r_0033_0034__if,r_0033_0036__were,restriction).
arc(r_0033_0036__were,r_0033_0035__that,arg0).
arc(r_0033_0036__were,r_0033_0037__indeed,nim).
arc(r_0033_0036__were,r_0033_0038__the_r_0033_0039__case,prd).
arc(r_0033_0041__and,r_0033_0004__would,conj1).
arc(r_0033_0041__and,r_0033_0042__despite,conj2).
arc(r_0033_0042__despite,r_0033_0043__repeated,restriction).
arc(r_0033_0042__despite,r_0033_0045__nobody__quant,scope).
arc(r_0033_0043__repeated,r_0033_0044__requests,arg1).
arc(r_0033_0043__repeated,z_0033_5029,arg0).
arc(r_0033_0045__nobody__quant,r_0033_0046__has,scope).
arc(r_0033_0045__nobody__quant,z_0033_5034,restriction).
arc(r_0033_0046__has,r_0033_0047__been,scope).
arc(r_0033_0047__been,z_0033_5034,arg1).
arc(r_0033_0047__been,z_0033_5041,prd).
arc(r_0033_0047__been,z_0033_5042___star_,arg0).
arc(r_0033_0050__do_r_0033_0051__so,z_0033_5039,arg0).
arc(z_0033_5041,r_0033_0050__do_r_0033_0051__so,arg1).

fof(formula,axiom,
    ? [R_0033_0001__IN_PARTICULAR,R_0033_0006__VERY,R_0033_0007__STRAIGHTFORWARD,R_0033_0009__THE_R_0033_0010__PRIME_R_0033_0011__MINISTER,R_0033_0014__SENIOR,R_0033_0013__A_R_0033_0015__OFFICIAL,R_0033_0012__OR,R_0033_0023__FOR_EXAMPLE,R_0033_0021__CONFIRMING,R_0033_0018__A_R_0033_0019__WITNESS_R_0033_0020__STATEMENT,R_0033_0017__SIGN,R_0033_0004__WOULD_R_0033_0005__BE,R_0033_0044__REQUESTS,Z_0033_5029,R_0033_0043__REPEATED,R_0033_0042__DESPITE,R_0033_0041__AND] :
      ( r_0033_0001__In_particular(R_0033_0001__IN_PARTICULAR)
      & r_0033_0006__very(R_0033_0006__VERY)
      & r_0033_0009__the_r_0033_0010__Prime_r_0033_0011__Minister(R_0033_0009__THE_R_0033_0010__PRIME_R_0033_0011__MINISTER)
      & r_0033_0014__senior(R_0033_0014__SENIOR)
      & r_0033_0023__for_example(R_0033_0023__FOR_EXAMPLE)
      & r_0033_0044__requests(R_0033_0044__REQUESTS)
      & z_0033_5029(Z_0033_5029)
      & r_0033_0041__and(R_0033_0041__AND)
      & has_conj2(R_0033_0041__AND,R_0033_0042__DESPITE)
      & r_0033_0042__despite(R_0033_0042__DESPITE)
      & ! [Z_0033_5034] :
          ( z_0033_5034(Z_0033_5034)
         => ? [Z_0033_5039,R_0033_0050__DO_R_0033_0051__SO,Z_0033_5041,Z_0033_5042___STAR_,R_0033_0046__HAS_R_0033_0047__BEEN] :
              ( z_0033_5039(Z_0033_5039)
              & z_0033_5042___star_(Z_0033_5042___STAR_)
              & r_0033_0046__has_r_0033_0047__been(R_0033_0046__HAS_R_0033_0047__BEEN)
              & has_arg0(R_0033_0046__HAS_R_0033_0047__BEEN,Z_0033_5042___STAR_)
              & has_prd(R_0033_0046__HAS_R_0033_0047__BEEN,Z_0033_5041)
              & z_0033_5041(Z_0033_5041)
              & has_arg1(Z_0033_5041,R_0033_0050__DO_R_0033_0051__SO)
              & r_0033_0050__do_r_0033_0051__so(R_0033_0050__DO_R_0033_0051__SO)
              & has_arg0(R_0033_0050__DO_R_0033_0051__SO,Z_0033_5039)
              & has_arg1(R_0033_0046__HAS_R_0033_0047__BEEN,Z_0033_5034) ) )
      & has_conj1(R_0033_0042__DESPITE,R_0033_0043__REPEATED)
      & r_0033_0043__repeated(R_0033_0043__REPEATED)
      & has_arg0(R_0033_0043__REPEATED,Z_0033_5029)
      & has_arg1(R_0033_0043__REPEATED,R_0033_0044__REQUESTS)
      & has_conj1(R_0033_0041__AND,R_0033_0004__WOULD_R_0033_0005__BE)
      & r_0033_0004__would_r_0033_0005__be(R_0033_0004__WOULD_R_0033_0005__BE)
      & has_arg0(R_0033_0004__WOULD_R_0033_0005__BE,R_0033_0017__SIGN)
      & r_0033_0017__sign(R_0033_0017__SIGN)
      & has_arg1(R_0033_0017__SIGN,R_0033_0018__A_R_0033_0019__WITNESS_R_0033_0020__STATEMENT)
      & r_0033_0018__a_r_0033_0019__witness_r_0033_0020__statement(R_0033_0018__A_R_0033_0019__WITNESS_R_0033_0020__STATEMENT)
      & has_inv_arg0(R_0033_0018__A_R_0033_0019__WITNESS_R_0033_0020__STATEMENT,R_0033_0021__CONFIRMING)
      & r_0033_0021__confirming(R_0033_0021__CONFIRMING)
      & ! [Z_0033_5014,R_0033_0033__BREXIT,R_0033_0031__DO_R_0033_0032__WITH] :
          ( ( r_0033_0033__Brexit(R_0033_0033__BREXIT)
            & z_0033_5014(Z_0033_5014)
            & has_inv_arg0(Z_0033_5014,R_0033_0031__DO_R_0033_0032__WITH)
            & r_0033_0031__do_r_0033_0032__with(R_0033_0031__DO_R_0033_0032__WITH)
            & has_arg1(R_0033_0031__DO_R_0033_0032__WITH,R_0033_0033__BREXIT) )
         => ! [R_0033_0036__WERE,R_0033_0035__THAT,R_0033_0037__INDEED,R_0033_0038__THE_R_0033_0039__CASE] :
              ( ( r_0033_0035__that(R_0033_0035__THAT)
                & r_0033_0037__indeed(R_0033_0037__INDEED)
                & r_0033_0038__the_r_0033_0039__case(R_0033_0038__THE_R_0033_0039__CASE)
                & r_0033_0036__were(R_0033_0036__WERE)
                & has_prd(R_0033_0036__WERE,R_0033_0038__THE_R_0033_0039__CASE)
                & has_nim(R_0033_0036__WERE,R_0033_0037__INDEED)
                & has_arg0(R_0033_0036__WERE,R_0033_0035__THAT) )
             => ? [R_0033_0026__THE_R_0033_0027__DECISION,R_0033_0028__HAD] :
                  ( r_0033_0026__the_r_0033_0027__decision(R_0033_0026__THE_R_0033_0027__DECISION)
                  & r_0033_0028__had(R_0033_0028__HAD)
                  & has_arg1(R_0033_0028__HAD,Z_0033_5014)
                  & has_arg0(R_0033_0028__HAD,R_0033_0026__THE_R_0033_0027__DECISION) ) ) )
      & has_nim(R_0033_0021__CONFIRMING,R_0033_0023__FOR_EXAMPLE)
      & has_arg0(R_0033_0017__SIGN,R_0033_0012__OR)
      & r_0033_0012__or(R_0033_0012__OR)
      & has_conj2(R_0033_0012__OR,R_0033_0013__A_R_0033_0015__OFFICIAL)
      & r_0033_0013__a_r_0033_0015__official(R_0033_0013__A_R_0033_0015__OFFICIAL)
      & has_attrib(R_0033_0013__A_R_0033_0015__OFFICIAL,R_0033_0014__SENIOR)
      & has_conj1(R_0033_0012__OR,R_0033_0009__THE_R_0033_0010__PRIME_R_0033_0011__MINISTER)
      & has_prd(R_0033_0004__WOULD_R_0033_0005__BE,R_0033_0007__STRAIGHTFORWARD)
      & r_0033_0007__straightforward(R_0033_0007__STRAIGHTFORWARD)
      & has_qual(R_0033_0007__STRAIGHTFORWARD,R_0033_0006__VERY)
      & has_nim(R_0033_0004__WOULD_R_0033_0005__BE,R_0033_0001__IN_PARTICULAR) ) ).