TSPC 22_a_uksc

22_a_uksc_judgment
And the House of Commons has already demonstrated, by its motions against leaving without an agreement and by the European Union (Withdrawal) (No 2) Act 2019, that it does not support the Prime Minister on the critical issue for his Government at this time and that it is especially important that he be ready to face the House of Commons.

( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ;{HOUSE} (D the;{the})
                          (N House;{house})
                          (PP (P-ROLE of;{of})
                              (NP (NS Commons;{common}))))
          (HVP;_cat_Ve_ has;{have})
          (IP-PPL-CAT (ADVP-NIM (ADV already;{already}))
                      (VVN;_Tf_ demonstrated;{demonstrate})
                      (PUNC ,)
                      (PP-NIM (PP-NIM (P-ROLE by;{by})
                                      (NP (NP-GEN;{HOUSE} (PRO;_genm_ its;{its}))
                                          (NS motions;{motion})
                                          (PP (P-ROLE against;{against})
                                              (IP-PPL (VAG;_Ipr_ leaving;{leave[without]})
                                                      (PP-CLR (P-ROLE without;{without})
                                                              (NP (D an;{an})
                                                                  (N agreement;{agreement})))))))
                              (CONJP (CONJ and;{and})
                                     (PP-NIM (P-ROLE by;{by})
                                             (NP (D the;{the})
                                                 (NPR European;{European})
                                                 (NPR Union;{Union})
                                                 (PRN (NP (PULB -LRB-)
                                                          (NPR Withdrawal;{Withdrawal})
                                                          (PURB -RRB-)))
                                                 (PRN (NP (PULB -LRB-)
                                                          (N No;{no})
                                                          (NUM 2)
                                                          (PURB -RRB-)))
                                                 (N Act;{act})
                                                 (NPR 2019)))))
                      (PUNC ,)
                      (CP-THT-OB1 (IP-SUB (ILYR (ILYR (C that;{that})
                                                      (NP-SBJ;{HOUSE} (PRO it;{it}))
                                                      (DOP does;{do})
                                                      (NEG not;{not})
                                                      (VB;_Tn_ support;{support})
                                                      (NP-OB1;{PM} (D the;{the})
                                                                   (NPR Prime;{Prime})
                                                                   (NPR Minister;{Minister}))
                                                      (PP-NIM (P-ROLE on;{on})
                                                              (NP (D the;{the})
                                                                  (ADJP (ADJ critical;{critical}))
                                                                  (N issue;{issue})
                                                                  (PP (P-ROLE for;{for})
                                                                      (NP (NP-GEN;{PM} (PRO;_genm_ his;{his}))
                                                                          (N Government;{government})))
                                                                  (PP (P-ROLE at;{at})
                                                                      (NP (D this;{this})
                                                                          (N time;{time}))))))
                                                (CONJP (CONJ and;{and})
                                                       (ILYR (C that;{that})
                                                             (NP-SBJ (PRO;_provisional_ it;{it}))
                                                             (BEP;_La_ is;{be})
                                                             (ADJP-PRD (ADVP (ADV especially;{especially}))
                                                                       (ADJ important;{important}))
                                                             (CP-THT-NSBJ (IP-SUB (C that;{that})
                                                                                  (NP-SBJ;{PM} (PRO he;{he}))
                                                                                  (BE;_La_ be;{be})
                                                                                  (ADJP-PRD (ADJ;_cat_ ready;{ready})
                                                                                            (IP-INF (TO to;{to})
                                                                                                    (VB;_Tn_ face;{face})
                                                                                                    (NP-OB1;{HOUSE} (D the;{the})
                                                                                                                    (N House;{house})
                                                                                                                    (PP (P-ROLE of;{of})
                                                                                                                        (NP (NPRS Commons;{Commons}))))))))))))))
          (PUNC .))
  (ID 22_a_uksc_judgment))

arc(r_0022_0002__the_r_0022_0003__House,r_0022_0005__Commons,r_0022_0004__of).
arc(r_0022_0006__has,r_0022_0008__demonstrated,scope).
arc(r_0022_0008__demonstrated,r_0022_0002__the_r_0022_0003__House,arg0).
arc(r_0022_0008__demonstrated,r_0022_0007__already,nim).
arc(r_0022_0008__demonstrated,r_0022_0018__and,nim).
arc(r_0022_0008__demonstrated,r_0022_0051__and,arg1).
arc(r_0022_0012__motions,r_0022_0014__leaving_r_0022_0015__without,r_0022_0013__against).
arc(r_0022_0012__motions,r_0022_0063__the_r_0022_0064__House,gen).
arc(r_0022_0014__leaving_r_0022_0015__without,r_0022_0016__an_r_0022_0017__agreement,arg1).
arc(r_0022_0014__leaving_r_0022_0015__without,z_0022_5031,arg0).
arc(r_0022_0018__and,r_0022_0012__motions,r_0022_0010__by__nim).
arc(r_0022_0018__and,r_0022_0020__the_r_0022_0021__European_r_0022_0022__Union_r_0022_0030__Act_r_0022_0031__2019,r_0022_0019__by__nim).
arc(r_0022_0035__does_r_0022_0037__support,r_0022_0002__the_r_0022_0003__House,arg0).
arc(r_0022_0035__does_r_0022_0037__support,r_0022_0038__the_r_0022_0039__Prime_r_0022_0040__Minister,arg1).
arc(r_0022_0035__does_r_0022_0037__support,r_0022_0042__the_r_0022_0044__issue,r_0022_0041__on__nim).
arc(r_0022_0036__not,r_0022_0035__does_r_0022_0037__support,keep_scope).
arc(r_0022_0042__the_r_0022_0044__issue,r_0022_0043__critical,attrib).
arc(r_0022_0042__the_r_0022_0044__issue,r_0022_0047__Government,r_0022_0045__for).
arc(r_0022_0042__the_r_0022_0044__issue,r_0022_0049__this_r_0022_0050__time,r_0022_0048__at).
arc(r_0022_0047__Government,r_0022_0038__the_r_0022_0039__Prime_r_0022_0040__Minister,gen).
arc(r_0022_0051__and,r_0022_0036__not,conj1).
arc(r_0022_0051__and,r_0022_0054__is,conj2).
arc(r_0022_0054__is,r_0022_0056__important,prd).
arc(r_0022_0054__is,r_0022_0059__be,arg0).
arc(r_0022_0056__important,r_0022_0055__especially,qual).
arc(r_0022_0059__be,r_0022_0060__ready,scope).
arc(r_0022_0060__ready,r_0022_0062__face,scope).
arc(r_0022_0062__face,r_0022_0038__the_r_0022_0039__Prime_r_0022_0040__Minister,arg0).
arc(r_0022_0062__face,r_0022_0063__the_r_0022_0064__House,arg1).
arc(r_0022_0063__the_r_0022_0064__House,r_0022_0066__Commons,r_0022_0065__of).
arc(z_0022_5034,r_0022_0020__the_r_0022_0021__European_r_0022_0022__Union_r_0022_0030__Act_r_0022_0031__2019,arg0).
arc(z_0022_5034,r_0022_0024__Withdrawal,prd).
arc(z_0022_5037,r_0022_0020__the_r_0022_0021__European_r_0022_0022__Union_r_0022_0030__Act_r_0022_0031__2019,arg0).
arc(z_0022_5037,r_0022_0027__No_r_0022_0028__2,prd).

fof(formula,axiom,
    ? [R_0022_0005__COMMONS,R_0022_0002__THE_R_0022_0003__HOUSE,R_0022_0007__ALREADY,R_0022_0016__AN_R_0022_0017__AGREEMENT,Z_0022_5031,R_0022_0014__LEAVING_R_0022_0015__WITHOUT,R_0022_0066__COMMONS,R_0022_0063__THE_R_0022_0064__HOUSE,R_0022_0012__MOTIONS,R_0022_0020__THE_R_0022_0021__EUROPEAN_R_0022_0022__UNION_R_0022_0030__ACT_R_0022_0031__2019,R_0022_0018__AND,R_0022_0055__ESPECIALLY,R_0022_0056__IMPORTANT,R_0022_0038__THE_R_0022_0039__PRIME_R_0022_0040__MINISTER,R_0022_0059__BE_R_0022_0060__READY_R_0022_0062__FACE,R_0022_0054__IS,R_0022_0051__AND,R_0022_0006__HAS_R_0022_0008__DEMONSTRATED,R_0022_0024__WITHDRAWAL,Z_0022_5034,R_0022_0027__NO_R_0022_0028__2,Z_0022_5037] :
      ( r_0022_0005__Commons(R_0022_0005__COMMONS)
      & r_0022_0007__already(R_0022_0007__ALREADY)
      & r_0022_0016__an_r_0022_0017__agreement(R_0022_0016__AN_R_0022_0017__AGREEMENT)
      & r_0022_0020__the_r_0022_0021__European_r_0022_0022__Union_r_0022_0030__Act_r_0022_0031__2019(R_0022_0020__THE_R_0022_0021__EUROPEAN_R_0022_0022__UNION_R_0022_0030__ACT_R_0022_0031__2019)
      & r_0022_0024__Withdrawal(R_0022_0024__WITHDRAWAL)
      & r_0022_0027__No_r_0022_0028__2(R_0022_0027__NO_R_0022_0028__2)
      & r_0022_0038__the_r_0022_0039__Prime_r_0022_0040__Minister(R_0022_0038__THE_R_0022_0039__PRIME_R_0022_0040__MINISTER)
      & r_0022_0055__especially(R_0022_0055__ESPECIALLY)
      & r_0022_0066__Commons(R_0022_0066__COMMONS)
      & z_0022_5031(Z_0022_5031)
      & z_0022_5037(Z_0022_5037)
      & has_prd(Z_0022_5037,R_0022_0027__NO_R_0022_0028__2)
      & has_arg0(Z_0022_5037,R_0022_0020__THE_R_0022_0021__EUROPEAN_R_0022_0022__UNION_R_0022_0030__ACT_R_0022_0031__2019)
      & z_0022_5034(Z_0022_5034)
      & has_prd(Z_0022_5034,R_0022_0024__WITHDRAWAL)
      & has_arg0(Z_0022_5034,R_0022_0020__THE_R_0022_0021__EUROPEAN_R_0022_0022__UNION_R_0022_0030__ACT_R_0022_0031__2019)
      & r_0022_0006__has_r_0022_0008__demonstrated(R_0022_0006__HAS_R_0022_0008__DEMONSTRATED)
      & has_arg1(R_0022_0006__HAS_R_0022_0008__DEMONSTRATED,R_0022_0051__AND)
      & r_0022_0051__and(R_0022_0051__AND)
      & has_conj2(R_0022_0051__AND,R_0022_0054__IS)
      & r_0022_0054__is(R_0022_0054__IS)
      & has_arg0(R_0022_0054__IS,R_0022_0059__BE_R_0022_0060__READY_R_0022_0062__FACE)
      & r_0022_0059__be_r_0022_0060__ready_r_0022_0062__face(R_0022_0059__BE_R_0022_0060__READY_R_0022_0062__FACE)
      & has_arg1(R_0022_0059__BE_R_0022_0060__READY_R_0022_0062__FACE,R_0022_0063__THE_R_0022_0064__HOUSE)
      & r_0022_0063__the_r_0022_0064__House(R_0022_0063__THE_R_0022_0064__HOUSE)
      & has_r_0022_0065__of(R_0022_0063__THE_R_0022_0064__HOUSE,R_0022_0066__COMMONS)
      & has_arg0(R_0022_0059__BE_R_0022_0060__READY_R_0022_0062__FACE,R_0022_0038__THE_R_0022_0039__PRIME_R_0022_0040__MINISTER)
      & has_prd(R_0022_0054__IS,R_0022_0056__IMPORTANT)
      & r_0022_0056__important(R_0022_0056__IMPORTANT)
      & has_qual(R_0022_0056__IMPORTANT,R_0022_0055__ESPECIALLY)
      & has_conj1(R_0022_0051__AND,R_0022_0036__NOT)
      & ~ ? [R_0022_0043__CRITICAL,R_0022_0047__GOVERNMENT,R_0022_0049__THIS_R_0022_0050__TIME,R_0022_0042__THE_R_0022_0044__ISSUE,R_0022_0035__DOES_R_0022_0037__SUPPORT] :
            ( r_0022_0043__critical(R_0022_0043__CRITICAL)
            & r_0022_0049__this_r_0022_0050__time(R_0022_0049__THIS_R_0022_0050__TIME)
            & r_0022_0035__does_r_0022_0037__support(R_0022_0035__DOES_R_0022_0037__SUPPORT)
            & has_r_0022_0041__on__nim(R_0022_0035__DOES_R_0022_0037__SUPPORT,R_0022_0042__THE_R_0022_0044__ISSUE)
            & r_0022_0042__the_r_0022_0044__issue(R_0022_0042__THE_R_0022_0044__ISSUE)
            & has_r_0022_0048__at(R_0022_0042__THE_R_0022_0044__ISSUE,R_0022_0049__THIS_R_0022_0050__TIME)
            & has_r_0022_0045__for(R_0022_0042__THE_R_0022_0044__ISSUE,R_0022_0047__GOVERNMENT)
            & r_0022_0047__Government(R_0022_0047__GOVERNMENT)
            & has_gen(R_0022_0047__GOVERNMENT,R_0022_0038__THE_R_0022_0039__PRIME_R_0022_0040__MINISTER)
            & has_attrib(R_0022_0042__THE_R_0022_0044__ISSUE,R_0022_0043__CRITICAL)
            & has_arg1(R_0022_0035__DOES_R_0022_0037__SUPPORT,R_0022_0038__THE_R_0022_0039__PRIME_R_0022_0040__MINISTER)
            & has_arg0(R_0022_0035__DOES_R_0022_0037__SUPPORT,R_0022_0002__THE_R_0022_0003__HOUSE) )
      & has_nim(R_0022_0006__HAS_R_0022_0008__DEMONSTRATED,R_0022_0018__AND)
      & r_0022_0018__and(R_0022_0018__AND)
      & has_r_0022_0019__by__nim(R_0022_0018__AND,R_0022_0020__THE_R_0022_0021__EUROPEAN_R_0022_0022__UNION_R_0022_0030__ACT_R_0022_0031__2019)
      & has_r_0022_0010__by__nim(R_0022_0018__AND,R_0022_0012__MOTIONS)
      & r_0022_0012__motions(R_0022_0012__MOTIONS)
      & has_gen(R_0022_0012__MOTIONS,R_0022_0063__THE_R_0022_0064__HOUSE)
      & has_r_0022_0013__against(R_0022_0012__MOTIONS,R_0022_0014__LEAVING_R_0022_0015__WITHOUT)
      & r_0022_0014__leaving_r_0022_0015__without(R_0022_0014__LEAVING_R_0022_0015__WITHOUT)
      & has_arg0(R_0022_0014__LEAVING_R_0022_0015__WITHOUT,Z_0022_5031)
      & has_arg1(R_0022_0014__LEAVING_R_0022_0015__WITHOUT,R_0022_0016__AN_R_0022_0017__AGREEMENT)
      & has_nim(R_0022_0006__HAS_R_0022_0008__DEMONSTRATED,R_0022_0007__ALREADY)
      & has_arg0(R_0022_0006__HAS_R_0022_0008__DEMONSTRATED,R_0022_0002__THE_R_0022_0003__HOUSE)
      & r_0022_0002__the_r_0022_0003__House(R_0022_0002__THE_R_0022_0003__HOUSE)
      & has_r_0022_0004__of(R_0022_0002__THE_R_0022_0003__HOUSE,R_0022_0005__COMMONS) ) ).