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.

( (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))

arc(r_0051_0003__is,r_0051_0004__impossible,prd).
arc(r_0051_0003__is,r_0051_0008__conclude,arg0).
arc(r_0051_0008__conclude,r_0051_0006__us,arg0).
arc(r_0051_0008__conclude,r_0051_0011__the_r_0051_0012__evidence,r_0051_0010__on__nim).
arc(r_0051_0008__conclude,r_0051_0022__was,arg1).
arc(r_0051_0014__has,r_0051_0015__been,scope).
arc(r_0051_0015__been,r_0051_0016__put_r_0051_0017__before,scope).
arc(r_0051_0016__put_r_0051_0017__before,r_0051_0006__us,arg2).
arc(r_0051_0016__put_r_0051_0017__before,r_0051_0011__the_r_0051_0012__evidence,arg1).
arc(r_0051_0016__put_r_0051_0017__before,z_0051_5021___star_,arg0).
arc(r_0051_0022__was,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,attrib).
arc(r_0051_0032__advise,r_0051_0023__any_r_0051_0024__reason,arg0).
arc(r_0051_0032__advise,r_0051_0033__Her_r_0051_0034__Majesty,arg2).
arc(r_0051_0032__advise,r_0051_0036__prorogue,arg1).
arc(r_0051_0036__prorogue,r_0051_0033__Her_r_0051_0034__Majesty,arg0).
arc(r_0051_0036__prorogue,r_0051_0037__Parliament,arg1).
arc(r_0051_0036__prorogue,r_0051_0039__five_r_0051_0040__weeks,r_0051_0038__for__nim).
arc(r_0051_0036__prorogue,r_0051_0046__September,r_0051_0042__from__nim).
arc(r_0051_0036__prorogue,r_0051_0049__October,r_0051_0047__until__nim).
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,attrib).
arc(r_0051_0049__October,r_0051_0048__14th,attrib).

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_0036__PROROGUE,R_0051_0022__WAS_R_0051_0032__ADVISE,R_0051_0008__CONCLUDE,R_0051_0003__IS,Z_0051_5021___STAR_,R_0051_0014__HAS_R_0051_0015__BEEN_R_0051_0016__PUT_R_0051_0017__BEFORE] :
      ( 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_0051_5021___star_(Z_0051_5021___STAR_)
      & r_0051_0014__has_r_0051_0015__been_r_0051_0016__put_r_0051_0017__before(R_0051_0014__HAS_R_0051_0015__BEEN_R_0051_0016__PUT_R_0051_0017__BEFORE)
      & has_arg0(R_0051_0014__HAS_R_0051_0015__BEEN_R_0051_0016__PUT_R_0051_0017__BEFORE,Z_0051_5021___STAR_)
      & has_arg1(R_0051_0014__HAS_R_0051_0015__BEEN_R_0051_0016__PUT_R_0051_0017__BEFORE,R_0051_0011__THE_R_0051_0012__EVIDENCE)
      & has_arg2(R_0051_0014__HAS_R_0051_0015__BEEN_R_0051_0016__PUT_R_0051_0017__BEFORE,R_0051_0006__US)
      & r_0051_0003__is(R_0051_0003__IS)
      & has_arg0(R_0051_0003__IS,R_0051_0008__CONCLUDE)
      & r_0051_0008__conclude(R_0051_0008__CONCLUDE)
      & has_arg1(R_0051_0008__CONCLUDE,R_0051_0022__WAS_R_0051_0032__ADVISE)
      & r_0051_0022__was_r_0051_0032__advise(R_0051_0022__WAS_R_0051_0032__ADVISE)
      & has_arg1(R_0051_0022__WAS_R_0051_0032__ADVISE,R_0051_0036__PROROGUE)
      & r_0051_0036__prorogue(R_0051_0036__PROROGUE)
      & has_r_0051_0047__until__nim(R_0051_0036__PROROGUE,R_0051_0049__OCTOBER)
      & r_0051_0049__October(R_0051_0049__OCTOBER)
      & has_attrib(R_0051_0049__OCTOBER,R_0051_0048__14TH)
      & has_r_0051_0042__from__nim(R_0051_0036__PROROGUE,R_0051_0046__SEPTEMBER)
      & r_0051_0046__September(R_0051_0046__SEPTEMBER)
      & has_attrib(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__nim(R_0051_0036__PROROGUE,R_0051_0039__FIVE_R_0051_0040__WEEKS)
      & has_arg1(R_0051_0036__PROROGUE,R_0051_0037__PARLIAMENT)
      & has_arg0(R_0051_0036__PROROGUE,R_0051_0033__HER_R_0051_0034__MAJESTY)
      & has_arg2(R_0051_0022__WAS_R_0051_0032__ADVISE,R_0051_0033__HER_R_0051_0034__MAJESTY)
      & has_arg0(R_0051_0022__WAS_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_attrib(R_0051_0027__A_R_0051_0029__REASON,R_0051_0028__GOOD)
      & has_r_0051_0010__on__nim(R_0051_0008__CONCLUDE,R_0051_0011__THE_R_0051_0012__EVIDENCE)
      & has_arg0(R_0051_0008__CONCLUDE,R_0051_0006__US)
      & has_prd(R_0051_0003__IS,R_0051_0004__IMPOSSIBLE) ) ).