TSPC 43_a_uksc

43_a_uksc_judgment
It does not discuss what Parliamentary time would be needed to approve any new withdrawal agreement under section 13 of the European Union (Withdrawal) Act 2018 and enact the necessary primary and delegated legislation.

( (IP-MAT (NP-SBJ;{PROPOSAL} (PRO It;{it}))
          (DOP does;{do})
          (NEG not;{not})
          (VB;_Tw_ discuss;{discuss})
          (CP-QUE-OB1 (IP-SUB (NP-SBJ (WD what;{what})
                                      (NPR Parliamentary;{Parliamentary})
                                      (N time;{time}))
                              (MD;_cat_Vi_ would;{will})
                              (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                          (IP-PPL-CAT (NP-LGS *)
                                                      (VVN;_Tt_ needed;{need})
                                                      (IP-INF-OB1 (ILYR (ILYR (TO to;{to})
                                                                              (VB;_Tn_ approve;{approve})
                                                                              (NP-OB1 (D any;{any})
                                                                                      (ADJP (ADJ new;{new}))
                                                                                      (N withdrawal;{withdrawal})
                                                                                      (N agreement;{agreement}))
                                                                              (PP-NIM (P-ROLE under;{under})
                                                                                      (NP (N section;{section})
                                                                                          (NUM 13)
                                                                                          (PP (P-ROLE of;{of})
                                                                                              (NP (D the;{the})
                                                                                                  (NPR European;{European})
                                                                                                  (NPR Union;{Union})
                                                                                                  (PULB -LRB-)
                                                                                                  (PRN (NP (NPR Withdrawal;{Withdrawal})))
                                                                                                  (PURB -RRB-)
                                                                                                  (N Act;{act})
                                                                                                  (NPR 2018))))))
                                                                        (CONJP (CONJ and;{and})
                                                                               (ILYR (VB;_Tn_ enact;{enact})
                                                                                     (NP-OB1 (D the;{the})
                                                                                             (ADJP (ADJ necessary;{necessary}))
                                                                                             (ADJP (AJLYR (AJLYR (ADJ primary;{primary}))
                                                                                                          (CONJP (CONJ and;{and})
                                                                                                                 (AJLYR (ADJ delegated;{delegated})))))
                                                                                             (N legislation;{legislation}))))))))))
          (PUNC .))
  (ID 43_a_uksc_judgment))

arc(r_0043_0002__does_r_0043_0004__discuss,r_0043_0001__It,arg0).
arc(r_0043_0002__does_r_0043_0004__discuss,r_0043_0008__would,arg1).
arc(r_0043_0003__not,r_0043_0002__does_r_0043_0004__discuss,keep_scope).
arc(r_0043_0008__would,r_0043_0009__be,scope).
arc(r_0043_0009__be,r_0043_0010__needed,scope).
arc(r_0043_0010__needed,r_0043_0005__what_r_0043_0006__Parliamentary_r_0043_0007__time,arg2).
arc(r_0043_0010__needed,r_0043_0029__and,arg1).
arc(r_0043_0010__needed,z_0043_5019___star_,arg0).
arc(r_0043_0012__approve,r_0043_0005__what_r_0043_0006__Parliamentary_r_0043_0007__time,arg0).
arc(r_0043_0012__approve,r_0043_0013__any_r_0043_0015__withdrawal_r_0043_0016__agreement,arg1).
arc(r_0043_0012__approve,r_0043_0018__section_r_0043_0019__13,r_0043_0017__under__nim).
arc(r_0043_0013__any_r_0043_0015__withdrawal_r_0043_0016__agreement,r_0043_0014__new,attrib).
arc(r_0043_0018__section_r_0043_0019__13,r_0043_0021__the_r_0043_0022__European_r_0043_0023__Union_r_0043_0027__Act_r_0043_0028__2018,r_0043_0020__of).
arc(r_0043_0029__and,r_0043_0012__approve,conj1).
arc(r_0043_0029__and,r_0043_0030__enact,conj2).
arc(r_0043_0030__enact,r_0043_0005__what_r_0043_0006__Parliamentary_r_0043_0007__time,arg0).
arc(r_0043_0030__enact,r_0043_0031__the_r_0043_0036__legislation,arg1).
arc(r_0043_0031__the_r_0043_0036__legislation,r_0043_0032__necessary,attrib).
arc(r_0043_0031__the_r_0043_0036__legislation,r_0043_0034__and,attrib).
arc(r_0043_0034__and,r_0043_0033__primary,conj1).
arc(r_0043_0034__and,r_0043_0035__delegated,conj2).
arc(z_0043_5009,r_0043_0021__the_r_0043_0022__European_r_0043_0023__Union_r_0043_0027__Act_r_0043_0028__2018,arg0).
arc(z_0043_5009,r_0043_0025__Withdrawal,prd).

fof(formula,axiom,
    ? [R_0043_0021__THE_R_0043_0022__EUROPEAN_R_0043_0023__UNION_R_0043_0027__ACT_R_0043_0028__2018,R_0043_0025__WITHDRAWAL,Z_0043_5009] :
      ( r_0043_0021__the_r_0043_0022__European_r_0043_0023__Union_r_0043_0027__Act_r_0043_0028__2018(R_0043_0021__THE_R_0043_0022__EUROPEAN_R_0043_0023__UNION_R_0043_0027__ACT_R_0043_0028__2018)
      & r_0043_0025__Withdrawal(R_0043_0025__WITHDRAWAL)
      & z_0043_5009(Z_0043_5009)
      & has_prd(Z_0043_5009,R_0043_0025__WITHDRAWAL)
      & has_arg0(Z_0043_5009,R_0043_0021__THE_R_0043_0022__EUROPEAN_R_0043_0023__UNION_R_0043_0027__ACT_R_0043_0028__2018)
      & ~ ? [R_0043_0001__IT,R_0043_0005__WHAT_R_0043_0006__PARLIAMENTARY_R_0043_0007__TIME,R_0043_0014__NEW,R_0043_0013__ANY_R_0043_0015__WITHDRAWAL_R_0043_0016__AGREEMENT,R_0043_0018__SECTION_R_0043_0019__13,R_0043_0012__APPROVE,R_0043_0032__NECESSARY,R_0043_0033__PRIMARY,R_0043_0035__DELEGATED,R_0043_0034__AND,R_0043_0031__THE_R_0043_0036__LEGISLATION,R_0043_0030__ENACT,R_0043_0029__AND,Z_0043_5019___STAR_,R_0043_0008__WOULD_R_0043_0009__BE_R_0043_0010__NEEDED,R_0043_0002__DOES_R_0043_0004__DISCUSS] :
            ( r_0043_0001__It(R_0043_0001__IT)
            & r_0043_0005__what_r_0043_0006__Parliamentary_r_0043_0007__time(R_0043_0005__WHAT_R_0043_0006__PARLIAMENTARY_R_0043_0007__TIME)
            & r_0043_0014__new(R_0043_0014__NEW)
            & r_0043_0032__necessary(R_0043_0032__NECESSARY)
            & r_0043_0033__primary(R_0043_0033__PRIMARY)
            & r_0043_0035__delegated(R_0043_0035__DELEGATED)
            & z_0043_5019___star_(Z_0043_5019___STAR_)
            & r_0043_0002__does_r_0043_0004__discuss(R_0043_0002__DOES_R_0043_0004__DISCUSS)
            & has_arg1(R_0043_0002__DOES_R_0043_0004__DISCUSS,R_0043_0008__WOULD_R_0043_0009__BE_R_0043_0010__NEEDED)
            & r_0043_0008__would_r_0043_0009__be_r_0043_0010__needed(R_0043_0008__WOULD_R_0043_0009__BE_R_0043_0010__NEEDED)
            & has_arg0(R_0043_0008__WOULD_R_0043_0009__BE_R_0043_0010__NEEDED,Z_0043_5019___STAR_)
            & has_arg1(R_0043_0008__WOULD_R_0043_0009__BE_R_0043_0010__NEEDED,R_0043_0029__AND)
            & r_0043_0029__and(R_0043_0029__AND)
            & has_conj2(R_0043_0029__AND,R_0043_0030__ENACT)
            & r_0043_0030__enact(R_0043_0030__ENACT)
            & has_arg1(R_0043_0030__ENACT,R_0043_0031__THE_R_0043_0036__LEGISLATION)
            & r_0043_0031__the_r_0043_0036__legislation(R_0043_0031__THE_R_0043_0036__LEGISLATION)
            & has_attrib(R_0043_0031__THE_R_0043_0036__LEGISLATION,R_0043_0034__AND)
            & r_0043_0034__and(R_0043_0034__AND)
            & has_conj2(R_0043_0034__AND,R_0043_0035__DELEGATED)
            & has_conj1(R_0043_0034__AND,R_0043_0033__PRIMARY)
            & has_attrib(R_0043_0031__THE_R_0043_0036__LEGISLATION,R_0043_0032__NECESSARY)
            & has_arg0(R_0043_0030__ENACT,R_0043_0005__WHAT_R_0043_0006__PARLIAMENTARY_R_0043_0007__TIME)
            & has_conj1(R_0043_0029__AND,R_0043_0012__APPROVE)
            & r_0043_0012__approve(R_0043_0012__APPROVE)
            & has_r_0043_0017__under__nim(R_0043_0012__APPROVE,R_0043_0018__SECTION_R_0043_0019__13)
            & r_0043_0018__section_r_0043_0019__13(R_0043_0018__SECTION_R_0043_0019__13)
            & has_r_0043_0020__of(R_0043_0018__SECTION_R_0043_0019__13,R_0043_0021__THE_R_0043_0022__EUROPEAN_R_0043_0023__UNION_R_0043_0027__ACT_R_0043_0028__2018)
            & has_arg1(R_0043_0012__APPROVE,R_0043_0013__ANY_R_0043_0015__WITHDRAWAL_R_0043_0016__AGREEMENT)
            & r_0043_0013__any_r_0043_0015__withdrawal_r_0043_0016__agreement(R_0043_0013__ANY_R_0043_0015__WITHDRAWAL_R_0043_0016__AGREEMENT)
            & has_attrib(R_0043_0013__ANY_R_0043_0015__WITHDRAWAL_R_0043_0016__AGREEMENT,R_0043_0014__NEW)
            & has_arg0(R_0043_0012__APPROVE,R_0043_0005__WHAT_R_0043_0006__PARLIAMENTARY_R_0043_0007__TIME)
            & has_arg2(R_0043_0008__WOULD_R_0043_0009__BE_R_0043_0010__NEEDED,R_0043_0005__WHAT_R_0043_0006__PARLIAMENTARY_R_0043_0007__TIME)
            & has_arg0(R_0043_0002__DOES_R_0043_0004__DISCUSS,R_0043_0001__IT) ) ) ).