TSPC 18_a_major

18_a_major_case
15.2 Also on 3 September 2019, the Leader of the House (who, as Lord President of the Privy Council, also chaired the meeting at which the Order in Council proroguing Parliament was made) was asked: “have any officials from his office, 10 Downing Street or elsewhere, whether political advisers or civil servants, been conducting communications away from the normal channels, in such a way that would not comply with the terms of candour and disclosure necessary for the court proceedings that are currently taking place?”

( (IP-MAT (LST (LS 15<dot>2))
          (ADVP-NIM (ADV Also;{also}))
          (PP-NIM (P-ROLE on;{on})
                  (NP (NPR 3)
                      (NPR September;{September})
                      (NPR 2019)))
          (PUNC ,)
          (NP-SBJ;{HOUSE_LEADER} (D the;{the})
                                 (N Leader;{leader})
                                 (PP (P-ROLE of;{of})
                                     (NP (D the;{the})
                                         (N House;{house})))
                                 (PULB -LRB-)
                                 (IP-REL (NP-SBJ (RPRO who;{who})
                                                 (PUNC ,)
                                                 (PP (P-ROLE as;{as})
                                                     (NP (NPR Lord;{Lord})
                                                         (NPR President;{President})
                                                         (PP (P-ROLE of;{of})
                                                             (NP (D the;{the})
                                                                 (NPR Privy;{Privy})
                                                                 (NPR Council;{Council}))))))
                                         (PUNC ,)
                                         (ADVP-NIM (ADV also;{also}))
                                         (VBD;__ chaired;{chair})
                                         (NP-OB1 (D the;{the})
                                                 (N meeting;{meeting})
                                                 (IP-REL (PP-NIM (P-ROLE at;{at})
                                                                 (NP (RPRO which;{which})))
                                                         (NP-SBJ (D the;{the})
                                                                 (N Order;{order})
                                                                 (PP (P-ROLE in;{in})
                                                                     (NP (NPR Council;{Council})))
                                                                 (IP-PPL (VAG;__ proroguing;{prorogue})
                                                                         (NP-OB1 (NPR Parliament;{Parliament}))))
                                                         (BED;_cat_VePASS_ was;{be})
                                                         (IP-PPL-CAT (NP-LGS *)
                                                                     (VVN;__ made;{make})))))
                                 (PURB -RRB-))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Dn.r_ asked;{ask})
                      (PUNC :)
                      (PULQ <ldquo>)
                      (utterance-OB1 (CP-QUE-MAT (IP-SUB (HVP;_cat_Ve_ have;{have})
                                                         (NP-SBJ (D any;{any})
                                                                 (NS officials;{official})
                                                                 (PP (P-ROLE from;{from})
                                                                     (NP (NP-GEN;{JOHNSON} (PRO;_genm_ his;{his}))
                                                                         (N office;{office})
                                                                         (PUNC ,)
                                                                         (PRN (NP (NLYR (NLYR (NUM 10)
                                                                                              (NPR Downing;{Downing})
                                                                                              (NPR Street;{Street}))
                                                                                        (CONJP (CONJ or;{or})
                                                                                               (NLYR (ADVP (ADV elsewhere;{elsewhere})))))))
                                                                         (PUNC ,)
                                                                         (PRN (NP (NLYR (WQ whether;{whether})
                                                                                        (NLYR (ADJP (ADJ political;{political}))
                                                                                              (NS advisers;{adviser}))
                                                                                        (CONJP (CONJ or;{or})
                                                                                               (NLYR (ADJP (ADJ civil;{civil}))
                                                                                                     (NS servants;{servant})))))))))
                                                         (PUNC ,)
                                                         (IP-PPL-CAT (BEN;_cat_Vg_ been;{be})
                                                                     (IP-PPL-CAT (VAG;_Tn_ conducting;{conduct})
                                                                                 (NP-OB1 (NS communications;{communication}))
                                                                                 (PP-NIM (P-ROLE away_from;{away_from})
                                                                                         (NP (D the;{the})
                                                                                             (ADJP (ADJ normal;{normal}))
                                                                                             (NS channels;{channel})))
                                                                                 (PUNC ,)
                                                                                 (PP-NIM (P-ROLE in;{in})
                                                                                         (NP (ADJP (ADJ;_such_ such;{such}))
                                                                                             (D a;{a})
                                                                                             (N way;{way})
                                                                                             (IP-REL (C that;{that})
                                                                                                     (NP-SBJ *T*)
                                                                                                     (MD;_cat_Vi_ would;{will})
                                                                                                     (NEG not;{not})
                                                                                                     (IP-INF-CAT (VB;__ comply;{comply})
                                                                                                                 (PP-NIM (P-ROLE with;{with})
                                                                                                                         (NP (D the;{the})
                                                                                                                             (NS terms;{term})
                                                                                                                             (PP (P-ROLE of;{of})
                                                                                                                                 (NP (NLYR (NLYR (N candour;{candour}))
                                                                                                                                           (CONJP (CONJ and;{and})
                                                                                                                                                  (NLYR (N disclosure;{disclosure}))))))
                                                                                                                             (ADJP (ADJ necessary;{necessary})
                                                                                                                                   (PP (P-ROLE for;{for})
                                                                                                                                       (NP (D the;{the})
                                                                                                                                           (N court;{court})
                                                                                                                                           (NS proceedings;{proceeding})
                                                                                                                                           (IP-REL (C that;{that})
                                                                                                                                                   (NP-SBJ *T*)
                                                                                                                                                   (BEP;_cat_Vg_ are;{be})
                                                                                                                                                   (IP-PPL-CAT (ADVP-NIM (ADV currently;{currently}))
                                                                                                                                                               (VAG;__ taking;{take})
                                                                                                                                                               (NP-OB1 (N place;{place})))))))))))))))))))
          (PUNC ?)
          (PURQ <rdquo>))
  (ID 18_a_major_case))

arc(r_0018_0008__the_r_0018_0009__Leader,r_0018_0011__the_r_0018_0012__House,r_0018_0010__of).
arc(r_0018_0008__the_r_0018_0009__Leader,r_0018_0017__Lord_r_0018_0018__President,r_0018_0016__as).
arc(r_0018_0017__Lord_r_0018_0018__President,r_0018_0020__the_r_0018_0021__Privy_r_0018_0022__Council,r_0018_0019__of).
arc(r_0018_0025__chaired,r_0018_0008__the_r_0018_0009__Leader,arg0).
arc(r_0018_0025__chaired,r_0018_0024__also,nim).
arc(r_0018_0025__chaired,r_0018_0026__the_r_0018_0027__meeting,arg1).
arc(r_0018_0025__chaired,z_0018_5004,arg0).
arc(r_0018_0030__the_r_0018_0031__Order,r_0018_0033__Council,r_0018_0032__in).
arc(r_0018_0034__proroguing,r_0018_0030__the_r_0018_0031__Order,inv_arg0).
arc(r_0018_0034__proroguing,r_0018_0035__Parliament,arg1).
arc(r_0018_0036__was,r_0018_0026__the_r_0018_0027__meeting,r_0018_0028__at__nim).
arc(r_0018_0036__was,r_0018_0037__made,scope).
arc(r_0018_0037__made,r_0018_0030__the_r_0018_0031__Order,arg1).
arc(r_0018_0037__made,z_0018_5009___star_,arg0).
arc(r_0018_0039__was,r_0018_0002__Also,nim).
arc(r_0018_0039__was,r_0018_0004__3_r_0018_0005__September_r_0018_0006__2019,r_0018_0003__on__nim).
arc(r_0018_0039__was,r_0018_0040__asked,scope).
arc(r_0018_0040__asked,r_0018_0008__the_r_0018_0009__Leader,arg2).
arc(r_0018_0040__asked,z_0018_5004,arg2).
arc(r_0018_0040__asked,z_0018_5016__utterance,arg1).
arc(r_0018_0040__asked,z_0018_5060___star_,arg0).
arc(r_0018_0043__have,r_0018_0063__been,scope).
arc(r_0018_0044__any_r_0018_0045__officials,r_0018_0048__office,r_0018_0046__from).
arc(r_0018_0048__office,r_0018_0047__his,gen).
arc(r_0018_0053__or,r_0018_0050__10_r_0018_0051__Downing_r_0018_0052__Street,conj1).
arc(r_0018_0053__or,z_0018_5022,conj2).
arc(r_0018_0056__whether_r_0018_0059__or,r_0018_0058__advisers,conj1).
arc(r_0018_0056__whether_r_0018_0059__or,r_0018_0061__servants,conj2).
arc(r_0018_0058__advisers,r_0018_0057__political,attrib).
arc(r_0018_0061__servants,r_0018_0060__civil,attrib).
arc(r_0018_0063__been,r_0018_0064__conducting,scope).
arc(r_0018_0064__conducting,r_0018_0044__any_r_0018_0045__officials,arg0).
arc(r_0018_0064__conducting,r_0018_0065__communications,arg1).
arc(r_0018_0064__conducting,r_0018_0067__the_r_0018_0069__channels,r_0018_0066__away_from__nim).
arc(r_0018_0064__conducting,r_0018_0073__a_r_0018_0074__way,r_0018_0071__in__nim).
arc(r_0018_0067__the_r_0018_0069__channels,r_0018_0068__normal,attrib).
arc(r_0018_0073__a_r_0018_0074__way,r_0018_0072__such,attrib).
arc(r_0018_0076__would,r_0018_0078__comply,scope).
arc(r_0018_0077__not,r_0018_0076__would,keep_scope).
arc(r_0018_0078__comply,r_0018_0073__a_r_0018_0074__way,arg0).
arc(r_0018_0078__comply,r_0018_0080__the_r_0018_0081__terms,r_0018_0079__with__nim).
arc(r_0018_0080__the_r_0018_0081__terms,r_0018_0084__and,r_0018_0082__of).
arc(r_0018_0080__the_r_0018_0081__terms,r_0018_0086__necessary,attrib).
arc(r_0018_0084__and,r_0018_0083__candour,conj1).
arc(r_0018_0084__and,r_0018_0085__disclosure,conj2).
arc(r_0018_0086__necessary,r_0018_0088__the_r_0018_0089__court_r_0018_0090__proceedings,r_0018_0087__for).
arc(r_0018_0092__are,r_0018_0094__taking,scope).
arc(r_0018_0094__taking,r_0018_0088__the_r_0018_0089__court_r_0018_0090__proceedings,inv_arg0).
arc(r_0018_0094__taking,r_0018_0093__currently,nim).
arc(r_0018_0094__taking,r_0018_0095__place,arg1).
arc(z_0018_5004,r_0018_0011__the_r_0018_0012__House,r_0018_0010__of).
arc(z_0018_5004,r_0018_0017__Lord_r_0018_0018__President,r_0018_0016__as).
arc(z_0018_5016__utterance,r_0018_0043__have,part1).
arc(z_0018_5022,r_0018_0054__elsewhere,qual).
arc(z_0018_5023,r_0018_0048__office,arg0).
arc(z_0018_5023,r_0018_0053__or,prd).
arc(z_0018_5030,r_0018_0048__office,arg0).
arc(z_0018_5030,r_0018_0056__whether_r_0018_0059__or,prd).

fof(formula,axiom,
    ? [R_0018_0011__THE_R_0018_0012__HOUSE,R_0018_0020__THE_R_0018_0021__PRIVY_R_0018_0022__COUNCIL,R_0018_0017__LORD_R_0018_0018__PRESIDENT,R_0018_0008__THE_R_0018_0009__LEADER,R_0018_0024__ALSO,R_0018_0026__THE_R_0018_0027__MEETING,Z_0018_5004,R_0018_0025__CHAIRED,R_0018_0033__COUNCIL,R_0018_0035__PARLIAMENT,R_0018_0034__PROROGUING,R_0018_0030__THE_R_0018_0031__ORDER,Z_0018_5009___STAR_,R_0018_0036__WAS_R_0018_0037__MADE,R_0018_0002__ALSO,R_0018_0004__3_R_0018_0005__SEPTEMBER_R_0018_0006__2019,R_0018_0047__HIS,R_0018_0048__OFFICE,R_0018_0044__ANY_R_0018_0045__OFFICIALS,R_0018_0065__COMMUNICATIONS,R_0018_0068__NORMAL,R_0018_0067__THE_R_0018_0069__CHANNELS,R_0018_0072__SUCH,R_0018_0073__A_R_0018_0074__WAY,R_0018_0043__HAVE_R_0018_0063__BEEN_R_0018_0064__CONDUCTING,Z_0018_5016__UTTERANCE,Z_0018_5060___STAR_,R_0018_0039__WAS_R_0018_0040__ASKED,R_0018_0050__10_R_0018_0051__DOWNING_R_0018_0052__STREET,R_0018_0054__ELSEWHERE,Z_0018_5022,R_0018_0053__OR,Z_0018_5023,R_0018_0057__POLITICAL,R_0018_0058__ADVISERS,R_0018_0060__CIVIL,R_0018_0061__SERVANTS,R_0018_0056__WHETHER_R_0018_0059__OR,Z_0018_5030] :
      ( r_0018_0002__Also(R_0018_0002__ALSO)
      & r_0018_0004__3_r_0018_0005__September_r_0018_0006__2019(R_0018_0004__3_R_0018_0005__SEPTEMBER_R_0018_0006__2019)
      & r_0018_0011__the_r_0018_0012__House(R_0018_0011__THE_R_0018_0012__HOUSE)
      & r_0018_0020__the_r_0018_0021__Privy_r_0018_0022__Council(R_0018_0020__THE_R_0018_0021__PRIVY_R_0018_0022__COUNCIL)
      & r_0018_0024__also(R_0018_0024__ALSO)
      & r_0018_0026__the_r_0018_0027__meeting(R_0018_0026__THE_R_0018_0027__MEETING)
      & r_0018_0033__Council(R_0018_0033__COUNCIL)
      & r_0018_0035__Parliament(R_0018_0035__PARLIAMENT)
      & r_0018_0047__his(R_0018_0047__HIS)
      & r_0018_0050__10_r_0018_0051__Downing_r_0018_0052__Street(R_0018_0050__10_R_0018_0051__DOWNING_R_0018_0052__STREET)
      & r_0018_0054__elsewhere(R_0018_0054__ELSEWHERE)
      & r_0018_0057__political(R_0018_0057__POLITICAL)
      & r_0018_0060__civil(R_0018_0060__CIVIL)
      & r_0018_0065__communications(R_0018_0065__COMMUNICATIONS)
      & r_0018_0068__normal(R_0018_0068__NORMAL)
      & r_0018_0072__such(R_0018_0072__SUCH)
      & z_0018_5009___star_(Z_0018_5009___STAR_)
      & z_0018_5060___star_(Z_0018_5060___STAR_)
      & z_0018_5030(Z_0018_5030)
      & has_prd(Z_0018_5030,R_0018_0056__WHETHER_R_0018_0059__OR)
      & r_0018_0056__whether_r_0018_0059__or(R_0018_0056__WHETHER_R_0018_0059__OR)
      & has_conj2(R_0018_0056__WHETHER_R_0018_0059__OR,R_0018_0061__SERVANTS)
      & r_0018_0061__servants(R_0018_0061__SERVANTS)
      & has_attrib(R_0018_0061__SERVANTS,R_0018_0060__CIVIL)
      & has_conj1(R_0018_0056__WHETHER_R_0018_0059__OR,R_0018_0058__ADVISERS)
      & r_0018_0058__advisers(R_0018_0058__ADVISERS)
      & has_attrib(R_0018_0058__ADVISERS,R_0018_0057__POLITICAL)
      & has_arg0(Z_0018_5030,R_0018_0048__OFFICE)
      & r_0018_0048__office(R_0018_0048__OFFICE)
      & has_gen(R_0018_0048__OFFICE,R_0018_0047__HIS)
      & z_0018_5023(Z_0018_5023)
      & has_prd(Z_0018_5023,R_0018_0053__OR)
      & r_0018_0053__or(R_0018_0053__OR)
      & has_conj2(R_0018_0053__OR,Z_0018_5022)
      & z_0018_5022(Z_0018_5022)
      & has_qual(Z_0018_5022,R_0018_0054__ELSEWHERE)
      & has_conj1(R_0018_0053__OR,R_0018_0050__10_R_0018_0051__DOWNING_R_0018_0052__STREET)
      & has_arg0(Z_0018_5023,R_0018_0048__OFFICE)
      & ~ ? [R_0018_0083__CANDOUR,R_0018_0085__DISCLOSURE,R_0018_0084__AND,R_0018_0093__CURRENTLY,R_0018_0095__PLACE,R_0018_0092__ARE_R_0018_0094__TAKING,R_0018_0088__THE_R_0018_0089__COURT_R_0018_0090__PROCEEDINGS,R_0018_0086__NECESSARY,R_0018_0080__THE_R_0018_0081__TERMS,R_0018_0076__WOULD_R_0018_0078__COMPLY] :
            ( r_0018_0083__candour(R_0018_0083__CANDOUR)
            & r_0018_0085__disclosure(R_0018_0085__DISCLOSURE)
            & r_0018_0093__currently(R_0018_0093__CURRENTLY)
            & r_0018_0095__place(R_0018_0095__PLACE)
            & r_0018_0076__would_r_0018_0078__comply(R_0018_0076__WOULD_R_0018_0078__COMPLY)
            & has_r_0018_0079__with__nim(R_0018_0076__WOULD_R_0018_0078__COMPLY,R_0018_0080__THE_R_0018_0081__TERMS)
            & r_0018_0080__the_r_0018_0081__terms(R_0018_0080__THE_R_0018_0081__TERMS)
            & has_attrib(R_0018_0080__THE_R_0018_0081__TERMS,R_0018_0086__NECESSARY)
            & r_0018_0086__necessary(R_0018_0086__NECESSARY)
            & has_r_0018_0087__for(R_0018_0086__NECESSARY,R_0018_0088__THE_R_0018_0089__COURT_R_0018_0090__PROCEEDINGS)
            & r_0018_0088__the_r_0018_0089__court_r_0018_0090__proceedings(R_0018_0088__THE_R_0018_0089__COURT_R_0018_0090__PROCEEDINGS)
            & has_inv_arg0(R_0018_0088__THE_R_0018_0089__COURT_R_0018_0090__PROCEEDINGS,R_0018_0092__ARE_R_0018_0094__TAKING)
            & r_0018_0092__are_r_0018_0094__taking(R_0018_0092__ARE_R_0018_0094__TAKING)
            & has_arg1(R_0018_0092__ARE_R_0018_0094__TAKING,R_0018_0095__PLACE)
            & has_nim(R_0018_0092__ARE_R_0018_0094__TAKING,R_0018_0093__CURRENTLY)
            & has_r_0018_0082__of(R_0018_0080__THE_R_0018_0081__TERMS,R_0018_0084__AND)
            & r_0018_0084__and(R_0018_0084__AND)
            & has_conj2(R_0018_0084__AND,R_0018_0085__DISCLOSURE)
            & has_conj1(R_0018_0084__AND,R_0018_0083__CANDOUR)
            & has_arg0(R_0018_0076__WOULD_R_0018_0078__COMPLY,R_0018_0073__A_R_0018_0074__WAY) )
      & r_0018_0039__was_r_0018_0040__asked(R_0018_0039__WAS_R_0018_0040__ASKED)
      & has_arg0(R_0018_0039__WAS_R_0018_0040__ASKED,Z_0018_5060___STAR_)
      & has_arg1(R_0018_0039__WAS_R_0018_0040__ASKED,Z_0018_5016__UTTERANCE)
      & z_0018_5016__utterance(Z_0018_5016__UTTERANCE)
      & has_part1(Z_0018_5016__UTTERANCE,R_0018_0043__HAVE_R_0018_0063__BEEN_R_0018_0064__CONDUCTING)
      & r_0018_0043__have_r_0018_0063__been_r_0018_0064__conducting(R_0018_0043__HAVE_R_0018_0063__BEEN_R_0018_0064__CONDUCTING)
      & has_r_0018_0071__in__nim(R_0018_0043__HAVE_R_0018_0063__BEEN_R_0018_0064__CONDUCTING,R_0018_0073__A_R_0018_0074__WAY)
      & r_0018_0073__a_r_0018_0074__way(R_0018_0073__A_R_0018_0074__WAY)
      & has_attrib(R_0018_0073__A_R_0018_0074__WAY,R_0018_0072__SUCH)
      & has_r_0018_0066__away_from__nim(R_0018_0043__HAVE_R_0018_0063__BEEN_R_0018_0064__CONDUCTING,R_0018_0067__THE_R_0018_0069__CHANNELS)
      & r_0018_0067__the_r_0018_0069__channels(R_0018_0067__THE_R_0018_0069__CHANNELS)
      & has_attrib(R_0018_0067__THE_R_0018_0069__CHANNELS,R_0018_0068__NORMAL)
      & has_arg1(R_0018_0043__HAVE_R_0018_0063__BEEN_R_0018_0064__CONDUCTING,R_0018_0065__COMMUNICATIONS)
      & has_arg0(R_0018_0043__HAVE_R_0018_0063__BEEN_R_0018_0064__CONDUCTING,R_0018_0044__ANY_R_0018_0045__OFFICIALS)
      & r_0018_0044__any_r_0018_0045__officials(R_0018_0044__ANY_R_0018_0045__OFFICIALS)
      & has_r_0018_0046__from(R_0018_0044__ANY_R_0018_0045__OFFICIALS,R_0018_0048__OFFICE)
      & has_arg2(R_0018_0039__WAS_R_0018_0040__ASKED,Z_0018_5004)
      & z_0018_5004(Z_0018_5004)
      & has_r_0018_0016__as(Z_0018_5004,R_0018_0017__LORD_R_0018_0018__PRESIDENT)
      & r_0018_0017__Lord_r_0018_0018__President(R_0018_0017__LORD_R_0018_0018__PRESIDENT)
      & has_r_0018_0019__of(R_0018_0017__LORD_R_0018_0018__PRESIDENT,R_0018_0020__THE_R_0018_0021__PRIVY_R_0018_0022__COUNCIL)
      & has_r_0018_0010__of(Z_0018_5004,R_0018_0011__THE_R_0018_0012__HOUSE)
      & has_arg2(R_0018_0039__WAS_R_0018_0040__ASKED,R_0018_0008__THE_R_0018_0009__LEADER)
      & r_0018_0008__the_r_0018_0009__Leader(R_0018_0008__THE_R_0018_0009__LEADER)
      & has_r_0018_0016__as(R_0018_0008__THE_R_0018_0009__LEADER,R_0018_0017__LORD_R_0018_0018__PRESIDENT)
      & has_r_0018_0010__of(R_0018_0008__THE_R_0018_0009__LEADER,R_0018_0011__THE_R_0018_0012__HOUSE)
      & has_r_0018_0003__on__nim(R_0018_0039__WAS_R_0018_0040__ASKED,R_0018_0004__3_R_0018_0005__SEPTEMBER_R_0018_0006__2019)
      & has_nim(R_0018_0039__WAS_R_0018_0040__ASKED,R_0018_0002__ALSO)
      & r_0018_0036__was_r_0018_0037__made(R_0018_0036__WAS_R_0018_0037__MADE)
      & has_arg0(R_0018_0036__WAS_R_0018_0037__MADE,Z_0018_5009___STAR_)
      & has_arg1(R_0018_0036__WAS_R_0018_0037__MADE,R_0018_0030__THE_R_0018_0031__ORDER)
      & r_0018_0030__the_r_0018_0031__Order(R_0018_0030__THE_R_0018_0031__ORDER)
      & has_inv_arg0(R_0018_0030__THE_R_0018_0031__ORDER,R_0018_0034__PROROGUING)
      & r_0018_0034__proroguing(R_0018_0034__PROROGUING)
      & has_arg1(R_0018_0034__PROROGUING,R_0018_0035__PARLIAMENT)
      & has_r_0018_0032__in(R_0018_0030__THE_R_0018_0031__ORDER,R_0018_0033__COUNCIL)
      & has_r_0018_0028__at__nim(R_0018_0036__WAS_R_0018_0037__MADE,R_0018_0026__THE_R_0018_0027__MEETING)
      & r_0018_0025__chaired(R_0018_0025__CHAIRED)
      & has_arg0(R_0018_0025__CHAIRED,Z_0018_5004)
      & has_arg1(R_0018_0025__CHAIRED,R_0018_0026__THE_R_0018_0027__MEETING)
      & has_nim(R_0018_0025__CHAIRED,R_0018_0024__ALSO)
      & has_arg0(R_0018_0025__CHAIRED,R_0018_0008__THE_R_0018_0009__LEADER) ) ).