40_a_uksc_judgment
But that was totally to ignore whatever else Parliament might have wanted to do during the four weeks it might normally have had before a prorogation.

n40_a_uksc_judgment n40_a_uksc_judgment__1_1_1 But n40_a_uksc_judgment__1_2_1_1 that n40_a_uksc_judgment__1_3_1 was n40_a_uksc_judgment__1_4_1_1_1 totally n40_a_uksc_judgment__1_4_2_1 to n40_a_uksc_judgment__1_4_3_1 ignore n40_a_uksc_judgment__1_4_4_1_1_1_1 whatever n40_a_uksc_judgment__1_4_4_1_1_2_1_1 else n40_a_uksc_judgment__1_4_4_1_2_1_1 Parliament n40_a_uksc_judgment__1_4_4_1_3_1 might n40_a_uksc_judgment__1_4_4_1_4_1_1 have n40_a_uksc_judgment__1_4_4_1_4_2_1_1 wanted n40_a_uksc_judgment__1_4_4_1_4_2_2_1_1 *ICH*-123 n40_a_uksc_judgment__1_4_4_1_4_2_2_2_1 to n40_a_uksc_judgment__1_4_4_1_4_2_2_3_1 do n40_a_uksc_judgment__1_4_4_1_4_2_2_4_1_1 during n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_1_1 the n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_2_1 four n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_3_1 weeks n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_1_1_1 it n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_2_1 might n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_1_1_1 normally n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_2_1 have n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_1_1 *T* n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_2_1 had n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3_1_1 before n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3_2_1_1 a n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3_2_2_1 prorogation n40_a_uksc_judgment__1_5_1 . n40_a_uksc_judgment__1 IP-MAT n40_a_uksc_judgment__1_1 CONJ;_cl_ n40_a_uksc_judgment__1->n40_a_uksc_judgment__1_1 n40_a_uksc_judgment__1_2 NP-SBJ n40_a_uksc_judgment__1->n40_a_uksc_judgment__1_2 n40_a_uksc_judgment__1_3 BED;_equ_Vt_ n40_a_uksc_judgment__1->n40_a_uksc_judgment__1_3 n40_a_uksc_judgment__1_4 IP-INF-PRD n40_a_uksc_judgment__1->n40_a_uksc_judgment__1_4 n40_a_uksc_judgment__1_5 PUNC n40_a_uksc_judgment__1->n40_a_uksc_judgment__1_5 n40_a_uksc_judgment__1_1->n40_a_uksc_judgment__1_1_1 n40_a_uksc_judgment__1_2_1 D;_nphd_ n40_a_uksc_judgment__1_2->n40_a_uksc_judgment__1_2_1 n40_a_uksc_judgment__1_2_1->n40_a_uksc_judgment__1_2_1_1 n40_a_uksc_judgment__1_3->n40_a_uksc_judgment__1_3_1 n40_a_uksc_judgment__1_4_1 ADVP-NIM n40_a_uksc_judgment__1_4->n40_a_uksc_judgment__1_4_1 n40_a_uksc_judgment__1_4_2 TO n40_a_uksc_judgment__1_4->n40_a_uksc_judgment__1_4_2 n40_a_uksc_judgment__1_4_3 VB;_Tn_ n40_a_uksc_judgment__1_4->n40_a_uksc_judgment__1_4_3 n40_a_uksc_judgment__1_4_4 NP-OB1 n40_a_uksc_judgment__1_4->n40_a_uksc_judgment__1_4_4 n40_a_uksc_judgment__1_4_1_1 ADV n40_a_uksc_judgment__1_4_1->n40_a_uksc_judgment__1_4_1_1 n40_a_uksc_judgment__1_4_1_1->n40_a_uksc_judgment__1_4_1_1_1 n40_a_uksc_judgment__1_4_2->n40_a_uksc_judgment__1_4_2_1 n40_a_uksc_judgment__1_4_3->n40_a_uksc_judgment__1_4_3_1 n40_a_uksc_judgment__1_4_4_1 IP-REL n40_a_uksc_judgment__1_4_4->n40_a_uksc_judgment__1_4_4_1 n40_a_uksc_judgment__1_4_4_1_1 NP-123 n40_a_uksc_judgment__1_4_4_1->n40_a_uksc_judgment__1_4_4_1_1 n40_a_uksc_judgment__1_4_4_1_2 NP-SBJ n40_a_uksc_judgment__1_4_4_1->n40_a_uksc_judgment__1_4_4_1_2 n40_a_uksc_judgment__1_4_4_1_3 MD;_cat_Vi_ n40_a_uksc_judgment__1_4_4_1->n40_a_uksc_judgment__1_4_4_1_3 n40_a_uksc_judgment__1_4_4_1_4 IP-INF-CAT n40_a_uksc_judgment__1_4_4_1->n40_a_uksc_judgment__1_4_4_1_4 n40_a_uksc_judgment__1_4_4_1_1_1 RPRO n40_a_uksc_judgment__1_4_4_1_1->n40_a_uksc_judgment__1_4_4_1_1_1 n40_a_uksc_judgment__1_4_4_1_1_2 ADVP n40_a_uksc_judgment__1_4_4_1_1->n40_a_uksc_judgment__1_4_4_1_1_2 n40_a_uksc_judgment__1_4_4_1_1_1->n40_a_uksc_judgment__1_4_4_1_1_1_1 n40_a_uksc_judgment__1_4_4_1_1_2_1 ADV n40_a_uksc_judgment__1_4_4_1_1_2->n40_a_uksc_judgment__1_4_4_1_1_2_1 n40_a_uksc_judgment__1_4_4_1_1_2_1->n40_a_uksc_judgment__1_4_4_1_1_2_1_1 n40_a_uksc_judgment__1_4_4_1_2_1 NPR n40_a_uksc_judgment__1_4_4_1_2->n40_a_uksc_judgment__1_4_4_1_2_1 n40_a_uksc_judgment__1_4_4_1_2_1->n40_a_uksc_judgment__1_4_4_1_2_1_1 n40_a_uksc_judgment__1_4_4_1_3->n40_a_uksc_judgment__1_4_4_1_3_1 n40_a_uksc_judgment__1_4_4_1_4_1 HV;_cat_Ve_ n40_a_uksc_judgment__1_4_4_1_4->n40_a_uksc_judgment__1_4_4_1_4_1 n40_a_uksc_judgment__1_4_4_1_4_2 IP-PPL-CAT n40_a_uksc_judgment__1_4_4_1_4->n40_a_uksc_judgment__1_4_4_1_4_2 n40_a_uksc_judgment__1_4_4_1_4_1->n40_a_uksc_judgment__1_4_4_1_4_1_1 n40_a_uksc_judgment__1_4_4_1_4_2_1 VVN;_Tt_ n40_a_uksc_judgment__1_4_4_1_4_2->n40_a_uksc_judgment__1_4_4_1_4_2_1 n40_a_uksc_judgment__1_4_4_1_4_2_2 IP-INF-OB1 n40_a_uksc_judgment__1_4_4_1_4_2->n40_a_uksc_judgment__1_4_4_1_4_2_2 n40_a_uksc_judgment__1_4_4_1_4_2_1->n40_a_uksc_judgment__1_4_4_1_4_2_1_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_1 NP-OB1 n40_a_uksc_judgment__1_4_4_1_4_2_2->n40_a_uksc_judgment__1_4_4_1_4_2_2_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_2 TO n40_a_uksc_judgment__1_4_4_1_4_2_2->n40_a_uksc_judgment__1_4_4_1_4_2_2_2 n40_a_uksc_judgment__1_4_4_1_4_2_2_3 DO;_Tn_ n40_a_uksc_judgment__1_4_4_1_4_2_2->n40_a_uksc_judgment__1_4_4_1_4_2_2_3 n40_a_uksc_judgment__1_4_4_1_4_2_2_4 PP-NIM n40_a_uksc_judgment__1_4_4_1_4_2_2->n40_a_uksc_judgment__1_4_4_1_4_2_2_4 n40_a_uksc_judgment__1_4_4_1_4_2_2_1->n40_a_uksc_judgment__1_4_4_1_4_2_2_1_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_2->n40_a_uksc_judgment__1_4_4_1_4_2_2_2_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_3->n40_a_uksc_judgment__1_4_4_1_4_2_2_3_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_1 P-ROLE n40_a_uksc_judgment__1_4_4_1_4_2_2_4->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2 NP n40_a_uksc_judgment__1_4_4_1_4_2_2_4->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_1->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_1_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_1 D n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_2 NUM n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_2 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_3 NS n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_3 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4 IP-REL n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_1->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_1_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_2->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_2_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_3->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_3_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_1 NP-SBJ n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_2 MD;_cat_Vi_ n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_2 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3 IP-INF-CAT n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_1_1 PRO n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_1->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_1_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_1_1->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_1_1_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_2->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_2_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_1 ADVP-NIM n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_2 HV;_cat_Ve_ n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_2 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3 IP-PPL-CAT n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_1_1 ADV n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_1->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_1_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_1_1->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_1_1_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_2->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_2_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_1 NP-OB1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_2 HVN;_Tn_ n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_2 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3 PP-NIM n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_1->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_1_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_2->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_2_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3_1 P-ROLE n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3_2 NP n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3_2 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3_1->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3_1_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3_2_1 D n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3_2->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3_2_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3_2_2 N n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3_2->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3_2_2 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3_2_1->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3_2_1_1 n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3_2_2->n40_a_uksc_judgment__1_4_4_1_4_2_2_4_2_4_3_3_3_2_2_1 n40_a_uksc_judgment__1_5->n40_a_uksc_judgment__1_5_1
( (IP-MAT (CONJ;_cl_ But;{but})
          (NP-SBJ (D;_nphd_ that;{that}))
          (BED;_equ_Vt_ was;{be})
          (IP-INF-PRD (ADVP-NIM (ADV totally;{totally}))
                      (TO to;{to})
                      (VB;_Tn_ ignore;{ignore})
                      (NP-OB1 (IP-REL (NP-123 (RPRO whatever;{whatever})
                                              (ADVP (ADV else;{else})))
                                      (NP-SBJ;{PARLIAMENT} (NPR Parliament;{Parliament}))
                                      (MD;_cat_Vi_ might;{may})
                                      (IP-INF-CAT (HV;_cat_Ve_ have;{have})
                                                  (IP-PPL-CAT (VVN;_Tt_ wanted;{want})
                                                              (IP-INF-OB1 (NP-OB1 *ICH*-123)
                                                                          (TO to;{to})
                                                                          (DO;_Tn_ do;{do})
                                                                          (PP-NIM (P-ROLE during;{during})
                                                                                  (NP (D the;{the})
                                                                                      (NUM four;{four})
                                                                                      (NS weeks;{week})
                                                                                      (IP-REL (NP-SBJ;{PARLIAMENT} (PRO it;{it}))
                                                                                              (MD;_cat_Vi_ might;{may})
                                                                                              (IP-INF-CAT (ADVP-NIM (ADV normally;{normally}))
                                                                                                          (HV;_cat_Ve_ have;{have})
                                                                                                          (IP-PPL-CAT (NP-OB1 *T*)
                                                                                                                      (HVN;_Tn_ had;{have})
                                                                                                                      (PP-NIM (P-ROLE before;{before})
                                                                                                                              (NP (D a;{a})
                                                                                                                                  (N prorogation;{prorogation}))))))))))))))
          (PUNC .))
  (ID 40_a_uksc_judgment))



%3 z_0040_5006 r_0040_0008__else else z_0040_5006->r_0040_0008__else [qual] r_0040_0023__had had r_0040_0025__a_r_0040_0026__prorogation a prorogation r_0040_0023__had->r_0040_0025__a_r_0040_0026__prorogation before [nim] r_0040_0016__the_r_0040_0017__four_r_0040_0018__weeks the four weeks r_0040_0023__had->r_0040_0016__the_r_0040_0017__four_r_0040_0018__weeks [inv_arg1] r_0040_0009__Parliament Parliament r_0040_0023__had->r_0040_0009__Parliament [arg0] r_0040_0022__have have r_0040_0022__have->r_0040_0023__had [scope] r_0040_0021__normally normally r_0040_0022__have->r_0040_0021__normally [nim] r_0040_0020__might might r_0040_0020__might->r_0040_0022__have [scope] r_0040_0014__do do r_0040_0014__do->z_0040_5006 [arg1] r_0040_0014__do->r_0040_0016__the_r_0040_0017__four_r_0040_0018__weeks during [nim] r_0040_0014__do->r_0040_0009__Parliament [arg0] r_0040_0007__whatever whatever r_0040_0014__do->r_0040_0007__whatever [arg1] r_0040_0007__whatever->r_0040_0008__else [qual] r_0040_0012__wanted wanted r_0040_0012__wanted->r_0040_0009__Parliament [arg0] r_0040_0012__wanted->r_0040_0014__do [arg1] r_0040_0011__have have r_0040_0011__have->r_0040_0012__wanted [scope] r_0040_0010__might might r_0040_0010__might->r_0040_0011__have [scope] r_0040_0006__ignore ignore r_0040_0006__ignore->z_0040_5006 [arg1] r_0040_0006__ignore->r_0040_0007__whatever [arg1] z_0040_5003 r_0040_0006__ignore->z_0040_5003 [arg0] r_0040_0004__totally totally r_0040_0006__ignore->r_0040_0004__totally [nim] r_0040_0003__was was r_0040_0003__was->r_0040_0006__ignore [prd] r_0040_0002__that that r_0040_0003__was->r_0040_0002__that [arg0]
arc(r_0040_0003__was,r_0040_0002__that,arg0).
arc(r_0040_0003__was,r_0040_0006__ignore,prd).
arc(r_0040_0006__ignore,r_0040_0004__totally,nim).
arc(r_0040_0006__ignore,r_0040_0007__whatever,arg1).
arc(r_0040_0006__ignore,z_0040_5003,arg0).
arc(r_0040_0006__ignore,z_0040_5006,arg1).
arc(r_0040_0007__whatever,r_0040_0008__else,qual).
arc(r_0040_0010__might,r_0040_0011__have,scope).
arc(r_0040_0011__have,r_0040_0012__wanted,scope).
arc(r_0040_0012__wanted,r_0040_0009__Parliament,arg0).
arc(r_0040_0012__wanted,r_0040_0014__do,arg1).
arc(r_0040_0014__do,r_0040_0007__whatever,arg1).
arc(r_0040_0014__do,r_0040_0009__Parliament,arg0).
arc(r_0040_0014__do,r_0040_0016__the_r_0040_0017__four_r_0040_0018__weeks,r_0040_0015__during__nim).
arc(r_0040_0014__do,z_0040_5006,arg1).
arc(r_0040_0020__might,r_0040_0022__have,scope).
arc(r_0040_0022__have,r_0040_0021__normally,nim).
arc(r_0040_0022__have,r_0040_0023__had,scope).
arc(r_0040_0023__had,r_0040_0009__Parliament,arg0).
arc(r_0040_0023__had,r_0040_0016__the_r_0040_0017__four_r_0040_0018__weeks,inv_arg1).
arc(r_0040_0023__had,r_0040_0025__a_r_0040_0026__prorogation,r_0040_0024__before__nim).
arc(z_0040_5006,r_0040_0008__else,qual).



%3 r_0040_0003__was was r_0040_0002__that that r_0040_0003__was->r_0040_0002__that [arg0] r_0040_0006__ignore ignore r_0040_0003__was->r_0040_0006__ignore [prd] r_0040_0004__totally totally r_0040_0006__ignore->r_0040_0004__totally [nim] r_0040_0007__whatever whatever r_0040_0006__ignore->r_0040_0007__whatever [arg1] z_0040_5003 r_0040_0006__ignore->z_0040_5003 [arg0] z_0040_5006 r_0040_0006__ignore->z_0040_5006 [arg1] r_0040_0008__else else r_0040_0007__whatever->r_0040_0008__else [qual] z_0040_5006->r_0040_0008__else [qual] r_0040_0010__might_r_0040_0011__have_r_0040_0012__wanted might have wanted r_0040_0009__Parliament Parliament r_0040_0010__might_r_0040_0011__have_r_0040_0012__wanted->r_0040_0009__Parliament [arg0] r_0040_0014__do do r_0040_0010__might_r_0040_0011__have_r_0040_0012__wanted->r_0040_0014__do [arg1] r_0040_0014__do->r_0040_0007__whatever [arg1] r_0040_0014__do->z_0040_5006 [arg1] r_0040_0014__do->r_0040_0009__Parliament [arg0] r_0040_0016__the_r_0040_0017__four_r_0040_0018__weeks the four weeks r_0040_0014__do->r_0040_0016__the_r_0040_0017__four_r_0040_0018__weeks during [nim] r_0040_0020__might_r_0040_0022__have_r_0040_0023__had might have had r_0040_0016__the_r_0040_0017__four_r_0040_0018__weeks->r_0040_0020__might_r_0040_0022__have_r_0040_0023__had [inv_arg1] r_0040_0020__might_r_0040_0022__have_r_0040_0023__had->r_0040_0009__Parliament [arg0] r_0040_0021__normally normally r_0040_0020__might_r_0040_0022__have_r_0040_0023__had->r_0040_0021__normally [nim] r_0040_0025__a_r_0040_0026__prorogation a prorogation r_0040_0020__might_r_0040_0022__have_r_0040_0023__had->r_0040_0025__a_r_0040_0026__prorogation before [nim]
fof(formula,axiom,
    ? [R_0040_0002__THAT,R_0040_0004__TOTALLY,R_0040_0008__ELSE,R_0040_0007__WHATEVER,Z_0040_5003,Z_0040_5006,R_0040_0006__IGNORE,R_0040_0003__WAS,R_0040_0009__PARLIAMENT,R_0040_0021__NORMALLY,R_0040_0025__A_R_0040_0026__PROROGATION,R_0040_0020__MIGHT_R_0040_0022__HAVE_R_0040_0023__HAD,R_0040_0016__THE_R_0040_0017__FOUR_R_0040_0018__WEEKS,R_0040_0014__DO,R_0040_0010__MIGHT_R_0040_0011__HAVE_R_0040_0012__WANTED] :
      ( r_0040_0002__that(R_0040_0002__THAT)
      & r_0040_0004__totally(R_0040_0004__TOTALLY)
      & r_0040_0008__else(R_0040_0008__ELSE)
      & r_0040_0009__Parliament(R_0040_0009__PARLIAMENT)
      & r_0040_0021__normally(R_0040_0021__NORMALLY)
      & r_0040_0025__a_r_0040_0026__prorogation(R_0040_0025__A_R_0040_0026__PROROGATION)
      & z_0040_5003(Z_0040_5003)
      & r_0040_0010__might_r_0040_0011__have_r_0040_0012__wanted(R_0040_0010__MIGHT_R_0040_0011__HAVE_R_0040_0012__WANTED)
      & has_arg1(R_0040_0010__MIGHT_R_0040_0011__HAVE_R_0040_0012__WANTED,R_0040_0014__DO)
      & r_0040_0014__do(R_0040_0014__DO)
      & has_arg1(R_0040_0014__DO,Z_0040_5006)
      & z_0040_5006(Z_0040_5006)
      & has_qual(Z_0040_5006,R_0040_0008__ELSE)
      & has_r_0040_0015__during__nim(R_0040_0014__DO,R_0040_0016__THE_R_0040_0017__FOUR_R_0040_0018__WEEKS)
      & r_0040_0016__the_r_0040_0017__four_r_0040_0018__weeks(R_0040_0016__THE_R_0040_0017__FOUR_R_0040_0018__WEEKS)
      & has_inv_arg1(R_0040_0016__THE_R_0040_0017__FOUR_R_0040_0018__WEEKS,R_0040_0020__MIGHT_R_0040_0022__HAVE_R_0040_0023__HAD)
      & r_0040_0020__might_r_0040_0022__have_r_0040_0023__had(R_0040_0020__MIGHT_R_0040_0022__HAVE_R_0040_0023__HAD)
      & has_r_0040_0024__before__nim(R_0040_0020__MIGHT_R_0040_0022__HAVE_R_0040_0023__HAD,R_0040_0025__A_R_0040_0026__PROROGATION)
      & has_arg0(R_0040_0020__MIGHT_R_0040_0022__HAVE_R_0040_0023__HAD,R_0040_0009__PARLIAMENT)
      & has_nim(R_0040_0020__MIGHT_R_0040_0022__HAVE_R_0040_0023__HAD,R_0040_0021__NORMALLY)
      & has_arg0(R_0040_0014__DO,R_0040_0009__PARLIAMENT)
      & has_arg1(R_0040_0014__DO,R_0040_0007__WHATEVER)
      & r_0040_0007__whatever(R_0040_0007__WHATEVER)
      & has_qual(R_0040_0007__WHATEVER,R_0040_0008__ELSE)
      & has_arg0(R_0040_0010__MIGHT_R_0040_0011__HAVE_R_0040_0012__WANTED,R_0040_0009__PARLIAMENT)
      & r_0040_0003__was(R_0040_0003__WAS)
      & has_prd(R_0040_0003__WAS,R_0040_0006__IGNORE)
      & r_0040_0006__ignore(R_0040_0006__IGNORE)
      & has_arg1(R_0040_0006__IGNORE,Z_0040_5006)
      & has_arg0(R_0040_0006__IGNORE,Z_0040_5003)
      & has_arg1(R_0040_0006__IGNORE,R_0040_0007__WHATEVER)
      & has_nim(R_0040_0006__IGNORE,R_0040_0004__TOTALLY)
      & has_arg0(R_0040_0003__WAS,R_0040_0002__THAT) ) ).