TSPC 44_a_uksc

44_a_uksc_judgment
It does not discuss the impact of prorogation on the special procedures for scrutinising the delegated legislation necessary to make UK law ready for exit day and achieve an orderly withdrawal with or without a withdrawal agreement, which are laid down in the European Union (Withdrawal) Act 2018.

( (IP-MAT (NP-SBJ;{PROPOSAL} (PRO It;{it}))
          (DOP does;{do})
          (NEG not;{not})
          (VB;_Tn_ discuss;{discuss})
          (NP-OB1 (D the;{the})
                  (N impact;{impact})
                  (PP (P-ROLE of;{of})
                      (NP (N prorogation;{prorogation})))
                  (PP (P-ROLE on;{on})
                      (NP (D the;{the})
                          (ADJP (ADJ special;{special}))
                          (NS procedures;{procedure})
                          (PP (P-ROLE for;{for})
                              (IP-PPL (VAG;_Tn_ scrutinising;{scrutinise})
                                      (NP-OB1 (D the;{the})
                                              (ADJP (ADJ delegated;{delegated}))
                                              (N legislation;{legislation})
                                              (ADJP (ADJ necessary;{necessary})
                                                    (IP-INF (TO to;{to})
                                                            (ILYR (ILYR (VB;_Cn.a_ make;{make})
                                                                        (NP-OB1 (NPR UK;{UK})
                                                                                (N law;{law}))
                                                                        (ADJP-PRD (ADJ ready;{ready})
                                                                                  (PP (P-ROLE for;{for})
                                                                                      (NP (N exit;{exit})
                                                                                          (N day;{day})))))
                                                                  (CONJP (CONJ and;{and})
                                                                         (ILYR (VB;_Tn_ achieve;{achieve})
                                                                               (NP-OB1 (D an;{an})
                                                                                       (ADJP (ADJ orderly;{orderly}))
                                                                                       (N withdrawal;{withdrawal}))
                                                                               (PP-NIM (P-ROLE with_or_without;{with_or_without})
                                                                                       (NP (D a;{a})
                                                                                           (N withdrawal;{withdrawal})
                                                                                           (N agreement;{agreement})))))))))))
                          (PUNC ,)
                          (IP-REL (NP-SBJ (RPRO which;{which}))
                                  (BEP;_cat_VePASS_ are;{be})
                                  (IP-PPL-CAT (NP-LGS *)
                                              (VVN;_phr_Vn<=>p_ laid;{lay[down]})
                                              (RP down;{down})
                                              (PP-NIM (P-ROLE in;{in})
                                                      (NP (D the;{the})
                                                          (NPR European;{European})
                                                          (NPR Union;{Union})
                                                          (PULB -LRB-)
                                                          (PRN (NP (NPR Withdrawal;{Withdrawal})))
                                                          (PURB -RRB-)
                                                          (N Act;{act})
                                                          (NPR 2018))))))))
          (PUNC .))
  (ID 44_a_uksc_judgment))

arc(r_0044_0002__does_r_0044_0004__discuss,r_0044_0001__It,arg0).
arc(r_0044_0002__does_r_0044_0004__discuss,r_0044_0005__the_r_0044_0006__impact,arg1).
arc(r_0044_0003__not,r_0044_0002__does_r_0044_0004__discuss,keep_scope).
arc(r_0044_0005__the_r_0044_0006__impact,r_0044_0008__prorogation,r_0044_0007__of).
arc(r_0044_0005__the_r_0044_0006__impact,r_0044_0010__the_r_0044_0012__procedures,r_0044_0009__on).
arc(r_0044_0010__the_r_0044_0012__procedures,r_0044_0011__special,attrib).
arc(r_0044_0010__the_r_0044_0012__procedures,r_0044_0014__scrutinising,r_0044_0013__for).
arc(r_0044_0014__scrutinising,r_0044_0015__the_r_0044_0017__legislation,arg1).
arc(r_0044_0014__scrutinising,z_0044_5007,arg0).
arc(r_0044_0015__the_r_0044_0017__legislation,r_0044_0016__delegated,attrib).
arc(r_0044_0015__the_r_0044_0017__legislation,r_0044_0018__necessary,attrib).
arc(r_0044_0018__necessary,r_0044_0027__and,emb).
arc(r_0044_0020__make,r_0044_0021__UK_r_0044_0022__law,arg1).
arc(r_0044_0020__make,r_0044_0023__ready,prd).
arc(r_0044_0020__make,z_0044_5013,arg0).
arc(r_0044_0023__ready,r_0044_0025__exit_r_0044_0026__day,r_0044_0024__for).
arc(r_0044_0027__and,r_0044_0020__make,conj1).
arc(r_0044_0027__and,r_0044_0028__achieve,conj2).
arc(r_0044_0028__achieve,r_0044_0029__an_r_0044_0031__withdrawal,arg1).
arc(r_0044_0028__achieve,r_0044_0033__a_r_0044_0034__withdrawal_r_0044_0035__agreement,r_0044_0032__with_or_without__nim).
arc(r_0044_0028__achieve,z_0044_5013,arg0).
arc(r_0044_0029__an_r_0044_0031__withdrawal,r_0044_0030__orderly,attrib).
arc(r_0044_0038__are,r_0044_0039__laid_r_0044_0040__down,scope).
arc(r_0044_0039__laid_r_0044_0040__down,r_0044_0010__the_r_0044_0012__procedures,arg1).
arc(r_0044_0039__laid_r_0044_0040__down,r_0044_0042__the_r_0044_0043__European_r_0044_0044__Union_r_0044_0048__Act_r_0044_0049__2018,r_0044_0041__in__nim).
arc(r_0044_0039__laid_r_0044_0040__down,z_0044_5027___star_,arg0).
arc(z_0044_5025,r_0044_0042__the_r_0044_0043__European_r_0044_0044__Union_r_0044_0048__Act_r_0044_0049__2018,arg0).
arc(z_0044_5025,r_0044_0046__Withdrawal,prd).

fof(formula,axiom,
    ? [R_0044_0011__SPECIAL,R_0044_0016__DELEGATED,R_0044_0021__UK_R_0044_0022__LAW,R_0044_0025__EXIT_R_0044_0026__DAY,R_0044_0023__READY,Z_0044_5013,R_0044_0020__MAKE,R_0044_0030__ORDERLY,R_0044_0029__AN_R_0044_0031__WITHDRAWAL,R_0044_0033__A_R_0044_0034__WITHDRAWAL_R_0044_0035__AGREEMENT,R_0044_0028__ACHIEVE,R_0044_0027__AND,R_0044_0018__NECESSARY,R_0044_0015__THE_R_0044_0017__LEGISLATION,Z_0044_5007,R_0044_0014__SCRUTINISING,R_0044_0010__THE_R_0044_0012__PROCEDURES,R_0044_0042__THE_R_0044_0043__EUROPEAN_R_0044_0044__UNION_R_0044_0048__ACT_R_0044_0049__2018,Z_0044_5027___STAR_,R_0044_0038__ARE_R_0044_0039__LAID_R_0044_0040__DOWN,R_0044_0046__WITHDRAWAL,Z_0044_5025] :
      ( r_0044_0011__special(R_0044_0011__SPECIAL)
      & r_0044_0016__delegated(R_0044_0016__DELEGATED)
      & r_0044_0021__UK_r_0044_0022__law(R_0044_0021__UK_R_0044_0022__LAW)
      & r_0044_0025__exit_r_0044_0026__day(R_0044_0025__EXIT_R_0044_0026__DAY)
      & r_0044_0030__orderly(R_0044_0030__ORDERLY)
      & r_0044_0033__a_r_0044_0034__withdrawal_r_0044_0035__agreement(R_0044_0033__A_R_0044_0034__WITHDRAWAL_R_0044_0035__AGREEMENT)
      & r_0044_0042__the_r_0044_0043__European_r_0044_0044__Union_r_0044_0048__Act_r_0044_0049__2018(R_0044_0042__THE_R_0044_0043__EUROPEAN_R_0044_0044__UNION_R_0044_0048__ACT_R_0044_0049__2018)
      & r_0044_0046__Withdrawal(R_0044_0046__WITHDRAWAL)
      & z_0044_5007(Z_0044_5007)
      & z_0044_5013(Z_0044_5013)
      & z_0044_5027___star_(Z_0044_5027___STAR_)
      & z_0044_5025(Z_0044_5025)
      & has_prd(Z_0044_5025,R_0044_0046__WITHDRAWAL)
      & has_arg0(Z_0044_5025,R_0044_0042__THE_R_0044_0043__EUROPEAN_R_0044_0044__UNION_R_0044_0048__ACT_R_0044_0049__2018)
      & r_0044_0038__are_r_0044_0039__laid_r_0044_0040__down(R_0044_0038__ARE_R_0044_0039__LAID_R_0044_0040__DOWN)
      & has_arg0(R_0044_0038__ARE_R_0044_0039__LAID_R_0044_0040__DOWN,Z_0044_5027___STAR_)
      & has_r_0044_0041__in__nim(R_0044_0038__ARE_R_0044_0039__LAID_R_0044_0040__DOWN,R_0044_0042__THE_R_0044_0043__EUROPEAN_R_0044_0044__UNION_R_0044_0048__ACT_R_0044_0049__2018)
      & has_arg1(R_0044_0038__ARE_R_0044_0039__LAID_R_0044_0040__DOWN,R_0044_0010__THE_R_0044_0012__PROCEDURES)
      & r_0044_0010__the_r_0044_0012__procedures(R_0044_0010__THE_R_0044_0012__PROCEDURES)
      & has_r_0044_0013__for(R_0044_0010__THE_R_0044_0012__PROCEDURES,R_0044_0014__SCRUTINISING)
      & r_0044_0014__scrutinising(R_0044_0014__SCRUTINISING)
      & has_arg0(R_0044_0014__SCRUTINISING,Z_0044_5007)
      & has_arg1(R_0044_0014__SCRUTINISING,R_0044_0015__THE_R_0044_0017__LEGISLATION)
      & r_0044_0015__the_r_0044_0017__legislation(R_0044_0015__THE_R_0044_0017__LEGISLATION)
      & has_attrib(R_0044_0015__THE_R_0044_0017__LEGISLATION,R_0044_0018__NECESSARY)
      & r_0044_0018__necessary(R_0044_0018__NECESSARY)
      & has_emb(R_0044_0018__NECESSARY,R_0044_0027__AND)
      & r_0044_0027__and(R_0044_0027__AND)
      & has_conj2(R_0044_0027__AND,R_0044_0028__ACHIEVE)
      & r_0044_0028__achieve(R_0044_0028__ACHIEVE)
      & has_arg0(R_0044_0028__ACHIEVE,Z_0044_5013)
      & has_r_0044_0032__with_or_without__nim(R_0044_0028__ACHIEVE,R_0044_0033__A_R_0044_0034__WITHDRAWAL_R_0044_0035__AGREEMENT)
      & has_arg1(R_0044_0028__ACHIEVE,R_0044_0029__AN_R_0044_0031__WITHDRAWAL)
      & r_0044_0029__an_r_0044_0031__withdrawal(R_0044_0029__AN_R_0044_0031__WITHDRAWAL)
      & has_attrib(R_0044_0029__AN_R_0044_0031__WITHDRAWAL,R_0044_0030__ORDERLY)
      & has_conj1(R_0044_0027__AND,R_0044_0020__MAKE)
      & r_0044_0020__make(R_0044_0020__MAKE)
      & has_arg0(R_0044_0020__MAKE,Z_0044_5013)
      & has_prd(R_0044_0020__MAKE,R_0044_0023__READY)
      & r_0044_0023__ready(R_0044_0023__READY)
      & has_r_0044_0024__for(R_0044_0023__READY,R_0044_0025__EXIT_R_0044_0026__DAY)
      & has_arg1(R_0044_0020__MAKE,R_0044_0021__UK_R_0044_0022__LAW)
      & has_attrib(R_0044_0015__THE_R_0044_0017__LEGISLATION,R_0044_0016__DELEGATED)
      & has_attrib(R_0044_0010__THE_R_0044_0012__PROCEDURES,R_0044_0011__SPECIAL)
      & ~ ? [R_0044_0001__IT,R_0044_0008__PROROGATION,R_0044_0005__THE_R_0044_0006__IMPACT,R_0044_0002__DOES_R_0044_0004__DISCUSS] :
            ( r_0044_0001__It(R_0044_0001__IT)
            & r_0044_0008__prorogation(R_0044_0008__PROROGATION)
            & r_0044_0002__does_r_0044_0004__discuss(R_0044_0002__DOES_R_0044_0004__DISCUSS)
            & has_arg1(R_0044_0002__DOES_R_0044_0004__DISCUSS,R_0044_0005__THE_R_0044_0006__IMPACT)
            & r_0044_0005__the_r_0044_0006__impact(R_0044_0005__THE_R_0044_0006__IMPACT)
            & has_r_0044_0009__on(R_0044_0005__THE_R_0044_0006__IMPACT,R_0044_0010__THE_R_0044_0012__PROCEDURES)
            & has_r_0044_0007__of(R_0044_0005__THE_R_0044_0006__IMPACT,R_0044_0008__PROROGATION)
            & has_arg0(R_0044_0002__DOES_R_0044_0004__DISCUSS,R_0044_0001__IT) ) ) ).