TSPC 16_a_major

16_a_major_case
15.1 On 3 September 2019 the Prime Minister was asked in the House of Commons: “Is it true that senior civil servants have refused to sign witness statements for ongoing legal proceedings relating to the prorogation? Were the director of legislative affairs and the Cabinet Secretary asked to do so, and did they agree?”

( (IP-MAT (LST (LS 15<dot>1))
          (PP-NIM (P-ROLE On;{on})
                  (NP (NPR 3)
                      (NPR September;{September})
                      (NPR 2019)))
          (NP-SBJ;{JOHNSON} (D the;{the})
                            (NPR Prime;{Prime})
                            (NPR Minister;{Minister}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Dn.r_ asked;{ask})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (D the;{the})
                                  (N House;{house})
                                  (PP (P-ROLE of;{of})
                                      (NP (NS Commons;{common})))))
                      (PUNC :)
                      (PULQ <ldquo>)
                      (utterance-OB1 (CP-QUE-MAT (IP-SUB (BEP;_La_ Is;{be})
                                                         (NP-SBJ (PRO;_provisional_ it;{it}))
                                                         (ADJP-PRD (ADJ true;{true}))
                                                         (CP-THT-NSBJ (IP-SUB (C that;{that})
                                                                              (NP-SBJ (ADJP (ADJ senior;{senior}))
                                                                                      (ADJP (ADJ civil;{civil}))
                                                                                      (NS servants;{servant}))
                                                                              (HVP;_cat_Ve_ have;{have})
                                                                              (IP-PPL-CAT (VVN;__ refused;{refuse})
                                                                                          (IP-INF-OB1 (TO to;{to})
                                                                                                      (VB;__ sign;{sign})
                                                                                                      (NP-OB1 (N witness;{witness})
                                                                                                              (NS statements;{statement})
                                                                                                              (PP (P-ROLE for;{for})
                                                                                                                  (NP (ADJP (ADJ ongoing;{ongoing}))
                                                                                                                      (ADJP (ADJ legal;{legal}))
                                                                                                                      (NS proceedings;{proceeding})
                                                                                                                      (IP-PPL (VAG;__ relating;{relate})
                                                                                                                              (PP-CLR (P-ROLE to;{to})
                                                                                                                                      (NP (D the;{the})
                                                                                                                                          (N prorogation;{prorogation}))))))))))))
                                                 (PUNC ?))
                                     (CP-QUE-MAT (IP-SUB (ILYR (ILYR (BED;_cat_Vt_ Were;{be})
                                                                     (NP-SBJ;{DOLA+CS} (NLYR (NLYR (D the;{the})
                                                                                                   (N director;{director})
                                                                                                   (PP (P-ROLE of;{of})
                                                                                                       (NP (ADJP (ADJ legislative;{legislative}))
                                                                                                           (NS affairs;{affair}))))
                                                                                             (CONJP (CONJ and;{and})
                                                                                                    (NLYR (D the;{the})
                                                                                                          (NPR Cabinet;{Cabinet})
                                                                                                          (NPR Secretary;{Secretary})))))
                                                                     (IP-PPL-CAT (NP-LGS *)
                                                                                 (VBD;_Dn.t_ asked;{ask})
                                                                                 (IP-INF-OB1 (TO to;{to})
                                                                                             (DO do;{do})
                                                                                             (ADVP-CLR (ADV so;{so})))))
                                                               (PUNC ,)
                                                               (CONJP (CONJ and;{and})
                                                                      (ILYR (DOD did;{do})
                                                                            (NP-SBJ;{DOLA+CS} (PRO they;{they}))
                                                                            (VB;_I_ agree;{agree})))))
                                                 (PUNC ?)))
                      (PURQ <rdquo>)))
  (ID 16_a_major_case))

arc(r_0016_0009__was,r_0016_0003__3_r_0016_0004__September_r_0016_0005__2019,r_0016_0002__On__nim).
arc(r_0016_0009__was,r_0016_0010__asked,scope).
arc(r_0016_0010__asked,r_0016_0006__the_r_0016_0007__Prime_r_0016_0008__Minister,arg2).
arc(r_0016_0010__asked,r_0016_0012__the_r_0016_0013__House,r_0016_0011__in__nim).
arc(r_0016_0010__asked,z_0016_5003__utterance,arg1).
arc(r_0016_0010__asked,z_0016_5038___star_,arg0).
arc(r_0016_0012__the_r_0016_0013__House,r_0016_0015__Commons,r_0016_0014__of).
arc(r_0016_0018__Is,r_0016_0020__true,prd).
arc(r_0016_0018__Is,r_0016_0025__have,arg0).
arc(r_0016_0024__servants,r_0016_0022__senior,attrib).
arc(r_0016_0024__servants,r_0016_0023__civil,attrib).
arc(r_0016_0025__have,r_0016_0026__refused,scope).
arc(r_0016_0026__refused,r_0016_0024__servants,arg0).
arc(r_0016_0026__refused,r_0016_0028__sign,arg1).
arc(r_0016_0028__sign,r_0016_0024__servants,arg0).
arc(r_0016_0028__sign,r_0016_0029__witness_r_0016_0030__statements,arg1).
arc(r_0016_0029__witness_r_0016_0030__statements,r_0016_0034__proceedings,r_0016_0031__for).
arc(r_0016_0034__proceedings,r_0016_0032__ongoing,attrib).
arc(r_0016_0034__proceedings,r_0016_0033__legal,attrib).
arc(r_0016_0035__relating,r_0016_0034__proceedings,inv_arg0).
arc(r_0016_0035__relating,r_0016_0037__the_r_0016_0038__prorogation,r_0016_0036__to__clr).
arc(r_0016_0040__Were,r_0016_0050__asked,scope).
arc(r_0016_0041__the_r_0016_0042__director,r_0016_0045__affairs,r_0016_0043__of).
arc(r_0016_0045__affairs,r_0016_0044__legislative,attrib).
arc(r_0016_0046__and,r_0016_0041__the_r_0016_0042__director,conj1).
arc(r_0016_0046__and,r_0016_0047__the_r_0016_0048__Cabinet_r_0016_0049__Secretary,conj2).
arc(r_0016_0050__asked,r_0016_0046__and,arg2).
arc(r_0016_0050__asked,r_0016_0052__do_r_0016_0053__so,arg1).
arc(r_0016_0050__asked,z_0016_5029___star_,arg0).
arc(r_0016_0052__do_r_0016_0053__so,r_0016_0046__and,arg0).
arc(r_0016_0055__and,r_0016_0040__Were,conj1).
arc(r_0016_0055__and,r_0016_0056__did_r_0016_0058__agree,conj2).
arc(r_0016_0056__did_r_0016_0058__agree,r_0016_0046__and,arg0).
arc(z_0016_5003__utterance,r_0016_0018__Is,part1).
arc(z_0016_5003__utterance,r_0016_0055__and,part2).

fof(formula,axiom,
    ? [R_0016_0003__3_R_0016_0004__SEPTEMBER_R_0016_0005__2019,R_0016_0006__THE_R_0016_0007__PRIME_R_0016_0008__MINISTER,R_0016_0015__COMMONS,R_0016_0012__THE_R_0016_0013__HOUSE,R_0016_0020__TRUE,R_0016_0022__SENIOR,R_0016_0023__CIVIL,R_0016_0024__SERVANTS,R_0016_0032__ONGOING,R_0016_0033__LEGAL,R_0016_0037__THE_R_0016_0038__PROROGATION,R_0016_0035__RELATING,R_0016_0034__PROCEEDINGS,R_0016_0029__WITNESS_R_0016_0030__STATEMENTS,R_0016_0028__SIGN,R_0016_0025__HAVE_R_0016_0026__REFUSED,R_0016_0018__IS,R_0016_0044__LEGISLATIVE,R_0016_0045__AFFAIRS,R_0016_0041__THE_R_0016_0042__DIRECTOR,R_0016_0047__THE_R_0016_0048__CABINET_R_0016_0049__SECRETARY,R_0016_0046__AND,R_0016_0052__DO_R_0016_0053__SO,Z_0016_5029___STAR_,R_0016_0040__WERE_R_0016_0050__ASKED,R_0016_0056__DID_R_0016_0058__AGREE,R_0016_0055__AND,Z_0016_5003__UTTERANCE,Z_0016_5038___STAR_,R_0016_0009__WAS_R_0016_0010__ASKED] :
      ( r_0016_0003__3_r_0016_0004__September_r_0016_0005__2019(R_0016_0003__3_R_0016_0004__SEPTEMBER_R_0016_0005__2019)
      & r_0016_0006__the_r_0016_0007__Prime_r_0016_0008__Minister(R_0016_0006__THE_R_0016_0007__PRIME_R_0016_0008__MINISTER)
      & r_0016_0015__Commons(R_0016_0015__COMMONS)
      & r_0016_0020__true(R_0016_0020__TRUE)
      & r_0016_0022__senior(R_0016_0022__SENIOR)
      & r_0016_0023__civil(R_0016_0023__CIVIL)
      & r_0016_0032__ongoing(R_0016_0032__ONGOING)
      & r_0016_0033__legal(R_0016_0033__LEGAL)
      & r_0016_0037__the_r_0016_0038__prorogation(R_0016_0037__THE_R_0016_0038__PROROGATION)
      & r_0016_0044__legislative(R_0016_0044__LEGISLATIVE)
      & r_0016_0047__the_r_0016_0048__Cabinet_r_0016_0049__Secretary(R_0016_0047__THE_R_0016_0048__CABINET_R_0016_0049__SECRETARY)
      & z_0016_5029___star_(Z_0016_5029___STAR_)
      & z_0016_5038___star_(Z_0016_5038___STAR_)
      & r_0016_0009__was_r_0016_0010__asked(R_0016_0009__WAS_R_0016_0010__ASKED)
      & has_arg0(R_0016_0009__WAS_R_0016_0010__ASKED,Z_0016_5038___STAR_)
      & has_arg1(R_0016_0009__WAS_R_0016_0010__ASKED,Z_0016_5003__UTTERANCE)
      & z_0016_5003__utterance(Z_0016_5003__UTTERANCE)
      & has_part2(Z_0016_5003__UTTERANCE,R_0016_0055__AND)
      & r_0016_0055__and(R_0016_0055__AND)
      & has_conj2(R_0016_0055__AND,R_0016_0056__DID_R_0016_0058__AGREE)
      & r_0016_0056__did_r_0016_0058__agree(R_0016_0056__DID_R_0016_0058__AGREE)
      & has_arg0(R_0016_0056__DID_R_0016_0058__AGREE,R_0016_0046__AND)
      & r_0016_0046__and(R_0016_0046__AND)
      & has_conj2(R_0016_0046__AND,R_0016_0047__THE_R_0016_0048__CABINET_R_0016_0049__SECRETARY)
      & has_conj1(R_0016_0046__AND,R_0016_0041__THE_R_0016_0042__DIRECTOR)
      & r_0016_0041__the_r_0016_0042__director(R_0016_0041__THE_R_0016_0042__DIRECTOR)
      & has_r_0016_0043__of(R_0016_0041__THE_R_0016_0042__DIRECTOR,R_0016_0045__AFFAIRS)
      & r_0016_0045__affairs(R_0016_0045__AFFAIRS)
      & has_attrib(R_0016_0045__AFFAIRS,R_0016_0044__LEGISLATIVE)
      & has_conj1(R_0016_0055__AND,R_0016_0040__WERE_R_0016_0050__ASKED)
      & r_0016_0040__Were_r_0016_0050__asked(R_0016_0040__WERE_R_0016_0050__ASKED)
      & has_arg0(R_0016_0040__WERE_R_0016_0050__ASKED,Z_0016_5029___STAR_)
      & has_arg1(R_0016_0040__WERE_R_0016_0050__ASKED,R_0016_0052__DO_R_0016_0053__SO)
      & r_0016_0052__do_r_0016_0053__so(R_0016_0052__DO_R_0016_0053__SO)
      & has_arg0(R_0016_0052__DO_R_0016_0053__SO,R_0016_0046__AND)
      & has_arg2(R_0016_0040__WERE_R_0016_0050__ASKED,R_0016_0046__AND)
      & has_part1(Z_0016_5003__UTTERANCE,R_0016_0018__IS)
      & r_0016_0018__Is(R_0016_0018__IS)
      & has_arg0(R_0016_0018__IS,R_0016_0025__HAVE_R_0016_0026__REFUSED)
      & r_0016_0025__have_r_0016_0026__refused(R_0016_0025__HAVE_R_0016_0026__REFUSED)
      & has_arg1(R_0016_0025__HAVE_R_0016_0026__REFUSED,R_0016_0028__SIGN)
      & r_0016_0028__sign(R_0016_0028__SIGN)
      & has_arg1(R_0016_0028__SIGN,R_0016_0029__WITNESS_R_0016_0030__STATEMENTS)
      & r_0016_0029__witness_r_0016_0030__statements(R_0016_0029__WITNESS_R_0016_0030__STATEMENTS)
      & has_r_0016_0031__for(R_0016_0029__WITNESS_R_0016_0030__STATEMENTS,R_0016_0034__PROCEEDINGS)
      & r_0016_0034__proceedings(R_0016_0034__PROCEEDINGS)
      & has_inv_arg0(R_0016_0034__PROCEEDINGS,R_0016_0035__RELATING)
      & r_0016_0035__relating(R_0016_0035__RELATING)
      & has_r_0016_0036__to__clr(R_0016_0035__RELATING,R_0016_0037__THE_R_0016_0038__PROROGATION)
      & has_attrib(R_0016_0034__PROCEEDINGS,R_0016_0033__LEGAL)
      & has_attrib(R_0016_0034__PROCEEDINGS,R_0016_0032__ONGOING)
      & has_arg0(R_0016_0028__SIGN,R_0016_0024__SERVANTS)
      & r_0016_0024__servants(R_0016_0024__SERVANTS)
      & has_attrib(R_0016_0024__SERVANTS,R_0016_0023__CIVIL)
      & has_attrib(R_0016_0024__SERVANTS,R_0016_0022__SENIOR)
      & has_arg0(R_0016_0025__HAVE_R_0016_0026__REFUSED,R_0016_0024__SERVANTS)
      & has_prd(R_0016_0018__IS,R_0016_0020__TRUE)
      & has_r_0016_0011__in__nim(R_0016_0009__WAS_R_0016_0010__ASKED,R_0016_0012__THE_R_0016_0013__HOUSE)
      & r_0016_0012__the_r_0016_0013__House(R_0016_0012__THE_R_0016_0013__HOUSE)
      & has_r_0016_0014__of(R_0016_0012__THE_R_0016_0013__HOUSE,R_0016_0015__COMMONS)
      & has_arg2(R_0016_0009__WAS_R_0016_0010__ASKED,R_0016_0006__THE_R_0016_0007__PRIME_R_0016_0008__MINISTER)
      & has_r_0016_0002__On__nim(R_0016_0009__WAS_R_0016_0010__ASKED,R_0016_0003__3_R_0016_0004__SEPTEMBER_R_0016_0005__2019) ) ).