TSPC 51_a_uksc

51_a_uksc_judgment
61. It is impossible for us to conclude, on the evidence which has been put before us, that there was any reason - let alone a good reason - to advise Her Majesty to prorogue Parliament for five weeks, from 9th or 12th September until 14th October.

arc(r_0051_0003__is, r_0051_0004__impossible, prd).
arc(r_0051_0003__is, r_0051_0005__for_r_0051_0007__to_r_0051_0008__conclude, arg0).
arc(r_0051_0005__for_r_0051_0007__to_r_0051_0008__conclude, r_0051_0006__us, arg0).
arc(r_0051_0005__for_r_0051_0007__to_r_0051_0008__conclude, r_0051_0011__the_r_0051_0012__evidence, r_0051_0010__on_nim28).
arc(r_0051_0005__for_r_0051_0007__to_r_0051_0008__conclude, r_0051_0020__that_r_0051_0021__there_r_0051_0022__was, arg1).
arc(r_0051_0014__has, r_0051_0015__been, scope).
arc(r_0051_0015__been, r_0051_0016__put, scope).
arc(r_0051_0016__put, r_0051_0006__us, r_0051_0017__before_clr50).
arc(r_0051_0016__put, r_0051_0011__the_r_0051_0012__evidence, arg1).
arc(r_0051_0016__put, z_000_51_a_uksc_judgment_43, arg0).
arc(r_0051_0020__that_r_0051_0021__there_r_0051_0022__was, r_0051_0031__to_r_0051_0032__advise, scope).
arc(r_0051_0023__any_r_0051_0024__reason, r_0051_0027__a_r_0051_0029__reason, r_0051_0026__let_alone).
arc(r_0051_0027__a_r_0051_0029__reason, r_0051_0028__good, attrib76).
arc(r_0051_0031__to_r_0051_0032__advise, r_0051_0023__any_r_0051_0024__reason, arg0).
arc(r_0051_0031__to_r_0051_0032__advise, r_0051_0033__Her_r_0051_0034__Majesty, arg2).
arc(r_0051_0031__to_r_0051_0032__advise, r_0051_0035__to_r_0051_0036__prorogue, arg1).
arc(r_0051_0035__to_r_0051_0036__prorogue, r_0051_0033__Her_r_0051_0034__Majesty, arg0).
arc(r_0051_0035__to_r_0051_0036__prorogue, r_0051_0037__Parliament, arg1).
arc(r_0051_0035__to_r_0051_0036__prorogue, r_0051_0039__five_r_0051_0040__weeks, r_0051_0038__for_nim104).
arc(r_0051_0035__to_r_0051_0036__prorogue, r_0051_0046__September, r_0051_0042__from_nim114).
arc(r_0051_0035__to_r_0051_0036__prorogue, r_0051_0049__October, r_0051_0047__until_nim131).
arc(r_0051_0044__or, r_0051_0043__9th, conj1).
arc(r_0051_0044__or, r_0051_0045__12th, conj2).
arc(r_0051_0046__September, r_0051_0044__or, attrib115).
arc(r_0051_0049__October, r_0051_0048__14th, attrib132).

fof(formula,axiom,
    ? [R_0051_0004__IMPOSSIBLE,R_0051_0006__US,R_0051_0011__THE_R_0051_0012__EVIDENCE,R_0051_0028__GOOD,R_0051_0027__A_R_0051_0029__REASON,R_0051_0023__ANY_R_0051_0024__REASON,R_0051_0033__HER_R_0051_0034__MAJESTY,R_0051_0037__PARLIAMENT,R_0051_0039__FIVE_R_0051_0040__WEEKS,R_0051_0043__9TH,R_0051_0045__12TH,R_0051_0044__OR,R_0051_0046__SEPTEMBER,R_0051_0048__14TH,R_0051_0049__OCTOBER,R_0051_0035__TO_R_0051_0036__PROROGUE,R_0051_0020__THAT_R_0051_0021__THERE_R_0051_0022__WAS_R_0051_0031__TO_R_0051_0032__ADVISE,R_0051_0005__FOR_R_0051_0007__TO_R_0051_0008__CONCLUDE,R_0051_0003__IS,Z_000_51_A_UKSC_JUDGMENT_43,R_0051_0014__HAS_R_0051_0015__BEEN_R_0051_0016__PUT] :
      ( r_0051_0004__impossible(R_0051_0004__IMPOSSIBLE)
      & r_0051_0006__us(R_0051_0006__US)
      & r_0051_0011__the_r_0051_0012__evidence(R_0051_0011__THE_R_0051_0012__EVIDENCE)
      & r_0051_0028__good(R_0051_0028__GOOD)
      & r_0051_0033__Her_r_0051_0034__Majesty(R_0051_0033__HER_R_0051_0034__MAJESTY)
      & r_0051_0037__Parliament(R_0051_0037__PARLIAMENT)
      & r_0051_0039__five_r_0051_0040__weeks(R_0051_0039__FIVE_R_0051_0040__WEEKS)
      & r_0051_0043__9th(R_0051_0043__9TH)
      & r_0051_0045__12th(R_0051_0045__12TH)
      & r_0051_0048__14th(R_0051_0048__14TH)
      & z_000_51_a_uksc_judgment_43(Z_000_51_A_UKSC_JUDGMENT_43)
      & r_0051_0014__has_r_0051_0015__been_r_0051_0016__put(R_0051_0014__HAS_R_0051_0015__BEEN_R_0051_0016__PUT)
      & has_arg0(R_0051_0014__HAS_R_0051_0015__BEEN_R_0051_0016__PUT,Z_000_51_A_UKSC_JUDGMENT_43)
      & has_arg1(R_0051_0014__HAS_R_0051_0015__BEEN_R_0051_0016__PUT,R_0051_0011__THE_R_0051_0012__EVIDENCE)
      & has_r_0051_0017__before_clr50(R_0051_0014__HAS_R_0051_0015__BEEN_R_0051_0016__PUT,R_0051_0006__US)
      & r_0051_0003__is(R_0051_0003__IS)
      & has_arg0(R_0051_0003__IS,R_0051_0005__FOR_R_0051_0007__TO_R_0051_0008__CONCLUDE)
      & r_0051_0005__for_r_0051_0007__to_r_0051_0008__conclude(R_0051_0005__FOR_R_0051_0007__TO_R_0051_0008__CONCLUDE)
      & has_arg1(R_0051_0005__FOR_R_0051_0007__TO_R_0051_0008__CONCLUDE,R_0051_0020__THAT_R_0051_0021__THERE_R_0051_0022__WAS_R_0051_0031__TO_R_0051_0032__ADVISE)
      & r_0051_0020__that_r_0051_0021__there_r_0051_0022__was_r_0051_0031__to_r_0051_0032__advise(R_0051_0020__THAT_R_0051_0021__THERE_R_0051_0022__WAS_R_0051_0031__TO_R_0051_0032__ADVISE)
      & has_arg1(R_0051_0020__THAT_R_0051_0021__THERE_R_0051_0022__WAS_R_0051_0031__TO_R_0051_0032__ADVISE,R_0051_0035__TO_R_0051_0036__PROROGUE)
      & r_0051_0035__to_r_0051_0036__prorogue(R_0051_0035__TO_R_0051_0036__PROROGUE)
      & has_r_0051_0047__until_nim131(R_0051_0035__TO_R_0051_0036__PROROGUE,R_0051_0049__OCTOBER)
      & r_0051_0049__October(R_0051_0049__OCTOBER)
      & has_attrib132(R_0051_0049__OCTOBER,R_0051_0048__14TH)
      & has_r_0051_0042__from_nim114(R_0051_0035__TO_R_0051_0036__PROROGUE,R_0051_0046__SEPTEMBER)
      & r_0051_0046__September(R_0051_0046__SEPTEMBER)
      & has_attrib115(R_0051_0046__SEPTEMBER,R_0051_0044__OR)
      & r_0051_0044__or(R_0051_0044__OR)
      & has_conj2(R_0051_0044__OR,R_0051_0045__12TH)
      & has_conj1(R_0051_0044__OR,R_0051_0043__9TH)
      & has_r_0051_0038__for_nim104(R_0051_0035__TO_R_0051_0036__PROROGUE,R_0051_0039__FIVE_R_0051_0040__WEEKS)
      & has_arg1(R_0051_0035__TO_R_0051_0036__PROROGUE,R_0051_0037__PARLIAMENT)
      & has_arg0(R_0051_0035__TO_R_0051_0036__PROROGUE,R_0051_0033__HER_R_0051_0034__MAJESTY)
      & has_arg2(R_0051_0020__THAT_R_0051_0021__THERE_R_0051_0022__WAS_R_0051_0031__TO_R_0051_0032__ADVISE,R_0051_0033__HER_R_0051_0034__MAJESTY)
      & has_arg0(R_0051_0020__THAT_R_0051_0021__THERE_R_0051_0022__WAS_R_0051_0031__TO_R_0051_0032__ADVISE,R_0051_0023__ANY_R_0051_0024__REASON)
      & r_0051_0023__any_r_0051_0024__reason(R_0051_0023__ANY_R_0051_0024__REASON)
      & has_r_0051_0026__let_alone(R_0051_0023__ANY_R_0051_0024__REASON,R_0051_0027__A_R_0051_0029__REASON)
      & r_0051_0027__a_r_0051_0029__reason(R_0051_0027__A_R_0051_0029__REASON)
      & has_attrib76(R_0051_0027__A_R_0051_0029__REASON,R_0051_0028__GOOD)
      & has_r_0051_0010__on_nim28(R_0051_0005__FOR_R_0051_0007__TO_R_0051_0008__CONCLUDE,R_0051_0011__THE_R_0051_0012__EVIDENCE)
      & has_arg0(R_0051_0005__FOR_R_0051_0007__TO_R_0051_0008__CONCLUDE,R_0051_0006__US)
      & has_prd(R_0051_0003__IS,R_0051_0004__IMPOSSIBLE) ) ).

( (IP-MAT (LST (LS 61<dot>))
          (NP-SBJ (PRO;_provisional_ It;{it}))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ impossible;{impossible}))
          (IP-INF-NSBJ (P-CONN for;{for})
                       (NP-SBJ (PRO us;{we}))
                       (TO to;{to})
                       (VB;_Tf_ conclude;{conclude})
                       (PUNC ,)
                       (PP-NIM (P-ROLE on;{on})
                               (NP (D the;{the})
                                   (N evidence;{evidence})
                                   (IP-REL (NP-SBJ (RPRO which;{which}))
                                           (HVP;_cat_Ve_ has;{have})
                                           (IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
                                                       (IP-PPL-CAT (NP-LGS *)
                                                                   (VVN;_Tn.pr_ put;{put[before]})
                                                                   (PP-CLR (P-ROLE before;{before})
                                                                           (NP (PRO us;{we}))))))))
                       (PUNC ,)
                       (CP-THT-OB1 (IP-SUB (C that;{that})
                                           (EX there;{there})
                                           (BED;_ex_cat_Vt_ was;{be})
                                           (NP-ESBJ (D any;{any})
                                                    (N reason;{reason})
                                                    (PUNC <hyphen>)
                                                    (PP (P-ROLE let_alone;{let_alone})
                                                        (NP (D a;{a})
                                                            (ADJP (ADJ good;{good}))
                                                            (N reason;{reason}))))
                                           (PUNC <hyphen>)
                                           (IP-INF-CAT (TO to;{to})
                                                       (VB;_Dn.t_ advise;{advise})
                                                       (NP-OB2 (NPR Her;{Her})
                                                               (NPR Majesty;{Majesty}))
                                                       (IP-INF-OB1 (TO to;{to})
                                                                   (VB;_Tn_ prorogue;{prorogue})
                                                                   (NP-OB1;{PARLIAMENT} (NPR Parliament;{Parliament}))
                                                                   (PP-NIM (P-ROLE for;{for})
                                                                           (NP (NUM five;{five})
                                                                               (NS weeks;{week})))
                                                                   (PUNC ,)
                                                                   (PP-NIM (P-ROLE from;{from})
                                                                           (NP (ADJP (AJLYR (AJLYR (ADJ 9th))
                                                                                            (CONJP (CONJ or;{or})
                                                                                                   (AJLYR (ADJ 12th)))))
                                                                               (NPR September;{September})))
                                                                   (PP-NIM (P-ROLE until;{until})
                                                                           (NP (ADJP (ADJ 14th))
                                                                               (NPR October;{October}))))))))
          (PUNC .))
  (ID 51_a_uksc_judgment))