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.

%3 r_0040_0001__But_r_0040_0003__was But was r_0040_0002__that that r_0040_0001__But_r_0040_0003__was->r_0040_0002__that [arg0] r_0040_0005__to_r_0040_0006__ignore to ignore r_0040_0001__But_r_0040_0003__was->r_0040_0005__to_r_0040_0006__ignore [prd] r_0040_0004__totally totally r_0040_0005__to_r_0040_0006__ignore->r_0040_0004__totally [nim] x_000_40_a_uksc_judgment_9 __ r_0040_0005__to_r_0040_0006__ignore->x_000_40_a_uksc_judgment_9 [arg0] z_000_40_a_uksc_judgment_17 r_0040_0005__to_r_0040_0006__ignore->z_000_40_a_uksc_judgment_17 [arg1] r_0040_0007__whatever whatever r_0040_0008__else else r_0040_0007__whatever->r_0040_0008__else [qual] r_0040_0010__might might r_0040_0011__have have r_0040_0010__might->r_0040_0011__have [scope] r_0040_0012__wanted wanted r_0040_0011__have->r_0040_0012__wanted [scope] r_0040_0009__Parliament Parliament r_0040_0012__wanted->r_0040_0009__Parliament [arg0] r_0040_0013__to_r_0040_0014__do to do r_0040_0012__wanted->r_0040_0013__to_r_0040_0014__do [arg1] r_0040_0013__to_r_0040_0014__do->r_0040_0007__whatever [arg1] r_0040_0013__to_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_0013__to_r_0040_0014__do->r_0040_0016__the_r_0040_0017__four_r_0040_0018__weeks during [nim] r_0040_0020__might might r_0040_0022__have have r_0040_0020__might->r_0040_0022__have [scope] r_0040_0021__normally normally r_0040_0022__have->r_0040_0021__normally [nim] r_0040_0023__had had r_0040_0022__have->r_0040_0023__had [scope] r_0040_0023__had->r_0040_0009__Parliament [arg0] r_0040_0023__had->r_0040_0016__the_r_0040_0017__four_r_0040_0018__weeks [arg1] r_0040_0025__a_r_0040_0026__prorogation a prorogation r_0040_0023__had->r_0040_0025__a_r_0040_0026__prorogation before [nim]
arc(r_0040_0001__But_r_0040_0003__was, r_0040_0002__that, arg0).
arc(r_0040_0001__But_r_0040_0003__was, r_0040_0005__to_r_0040_0006__ignore, prd).
arc(r_0040_0005__to_r_0040_0006__ignore, r_0040_0004__totally, nim10).
arc(r_0040_0005__to_r_0040_0006__ignore, x_000_40_a_uksc_judgment_9, arg0).
arc(r_0040_0005__to_r_0040_0006__ignore, z_000_40_a_uksc_judgment_17, arg1).
arc(r_0040_0007__whatever, r_0040_0008__else, qual22).
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_0013__to_r_0040_0014__do, arg1).
arc(r_0040_0013__to_r_0040_0014__do, r_0040_0007__whatever, arg1).
arc(r_0040_0013__to_r_0040_0014__do, r_0040_0009__Parliament, arg0).
arc(r_0040_0013__to_r_0040_0014__do, r_0040_0016__the_r_0040_0017__four_r_0040_0018__weeks, r_0040_0015__during_nim46).
arc(r_0040_0020__might, r_0040_0022__have, scope).
arc(r_0040_0022__have, r_0040_0021__normally, nim60).
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, arg1).
arc(r_0040_0023__had, r_0040_0025__a_r_0040_0026__prorogation, r_0040_0024__before_nim73).



%3 r_0040_0001__But_r_0040_0003__was But was r_0040_0002__that that r_0040_0001__But_r_0040_0003__was->r_0040_0002__that [arg0] r_0040_0005__to_r_0040_0006__ignore to ignore r_0040_0001__But_r_0040_0003__was->r_0040_0005__to_r_0040_0006__ignore [prd] r_0040_0004__totally totally r_0040_0005__to_r_0040_0006__ignore->r_0040_0004__totally [nim] x_000_40_a_uksc_judgment_9 __ r_0040_0005__to_r_0040_0006__ignore->x_000_40_a_uksc_judgment_9 [arg0] z_000_40_a_uksc_judgment_17 r_0040_0005__to_r_0040_0006__ignore->z_000_40_a_uksc_judgment_17 [arg1] r_0040_0007__whatever whatever r_0040_0008__else else r_0040_0007__whatever->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_0013__to_r_0040_0014__do to do r_0040_0010__might_r_0040_0011__have_r_0040_0012__wanted->r_0040_0013__to_r_0040_0014__do [arg1] r_0040_0013__to_r_0040_0014__do->r_0040_0007__whatever [arg1] r_0040_0013__to_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_0013__to_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_0020__might_r_0040_0022__have_r_0040_0023__had->r_0040_0009__Parliament [arg0] r_0040_0020__might_r_0040_0022__have_r_0040_0023__had->r_0040_0016__the_r_0040_0017__four_r_0040_0018__weeks [arg1] 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_40_1_BUT_WAS,R_40_2_THAT,R_40_5_TO_IGNORE,X_40_A_UKSC_JUDGMENT_9,Z_40_A_UKSC_JUDGMENT_17,R_40_4_TOTALLY,R_40_10_MIGHT_HAVE_WANTED,R_40_13_TO_DO,R_40_7_WHATEVER,R_40_8_ELSE,R_40_20_MIGHT_HAVE_HAD,R_40_9_PARLIAMENT,R_40_16_THE_FOUR_WEEKS,R_40_21_NORMALLY,R_40_25_A_PROROGATION] :
      ( that(R_40_2_THAT)
      & totally(R_40_4_TOTALLY)
      & else(R_40_8_ELSE)
      & parliament(R_40_9_PARLIAMENT)
      & the_four_weeks(R_40_16_THE_FOUR_WEEKS)
      & normally(R_40_21_NORMALLY)
      & a_prorogation(R_40_25_A_PROROGATION)
      & but_was(R_40_1_BUT_WAS,R_40_2_THAT,R_40_5_TO_IGNORE)
      & to_ignore(R_40_5_TO_IGNORE,X_40_A_UKSC_JUDGMENT_9,Z_40_A_UKSC_JUDGMENT_17)
      & nim10(R_40_5_TO_IGNORE,R_40_4_TOTALLY)
      & might_have_wanted(R_40_10_MIGHT_HAVE_WANTED,R_40_9_PARLIAMENT,R_40_13_TO_DO)
      & to_do(R_40_13_TO_DO,R_40_9_PARLIAMENT,R_40_7_WHATEVER)
      & whatever(R_40_7_WHATEVER)
      & qual22(R_40_7_WHATEVER,R_40_8_ELSE)
      & during_nim46(R_40_13_TO_DO,R_40_16_THE_FOUR_WEEKS)
      & might_have_had(R_40_20_MIGHT_HAVE_HAD,R_40_9_PARLIAMENT,R_40_16_THE_FOUR_WEEKS)
      & nim60(R_40_20_MIGHT_HAVE_HAD,R_40_21_NORMALLY)
      & before_nim73(R_40_20_MIGHT_HAVE_HAD,R_40_25_A_PROROGATION) ) ).



n40_a_uksc_judgment n40_a_uksc_judgment_3 But n40_a_uksc_judgment_6 that n40_a_uksc_judgment_8 was n40_a_uksc_judgment_12 totally n40_a_uksc_judgment_14 to n40_a_uksc_judgment_16 ignore n40_a_uksc_judgment_21 whatever n40_a_uksc_judgment_24 else n40_a_uksc_judgment_27 Parliament n40_a_uksc_judgment_29 might n40_a_uksc_judgment_32 have n40_a_uksc_judgment_35 wanted n40_a_uksc_judgment_38 *ICH*-123 n40_a_uksc_judgment_40 to n40_a_uksc_judgment_42 do n40_a_uksc_judgment_45 during n40_a_uksc_judgment_48 the n40_a_uksc_judgment_50 four n40_a_uksc_judgment_52 weeks n40_a_uksc_judgment_56 it n40_a_uksc_judgment_58 might n40_a_uksc_judgment_62 normally n40_a_uksc_judgment_64 have n40_a_uksc_judgment_67 *T* n40_a_uksc_judgment_69 had n40_a_uksc_judgment_72 before n40_a_uksc_judgment_75 a n40_a_uksc_judgment_77 prorogation n40_a_uksc_judgment_79 . n40_a_uksc_judgment_1 IP-MAT n40_a_uksc_judgment_2 CONJ;_cl_ n40_a_uksc_judgment_1->n40_a_uksc_judgment_2 n40_a_uksc_judgment_4 NP-SBJ n40_a_uksc_judgment_1->n40_a_uksc_judgment_4 n40_a_uksc_judgment_7 BED;_equ_Vt_ n40_a_uksc_judgment_1->n40_a_uksc_judgment_7 n40_a_uksc_judgment_9 IP-INF-PRD n40_a_uksc_judgment_1->n40_a_uksc_judgment_9 n40_a_uksc_judgment_78 PUNC n40_a_uksc_judgment_1->n40_a_uksc_judgment_78 n40_a_uksc_judgment_2->n40_a_uksc_judgment_3 n40_a_uksc_judgment_5 D;_nphd_ n40_a_uksc_judgment_4->n40_a_uksc_judgment_5 n40_a_uksc_judgment_5->n40_a_uksc_judgment_6 n40_a_uksc_judgment_7->n40_a_uksc_judgment_8 n40_a_uksc_judgment_10 ADVP-NIM n40_a_uksc_judgment_9->n40_a_uksc_judgment_10 n40_a_uksc_judgment_13 TO n40_a_uksc_judgment_9->n40_a_uksc_judgment_13 n40_a_uksc_judgment_15 VB;_Tn_ n40_a_uksc_judgment_9->n40_a_uksc_judgment_15 n40_a_uksc_judgment_17 NP-OB1 n40_a_uksc_judgment_9->n40_a_uksc_judgment_17 n40_a_uksc_judgment_11 ADV n40_a_uksc_judgment_10->n40_a_uksc_judgment_11 n40_a_uksc_judgment_11->n40_a_uksc_judgment_12 n40_a_uksc_judgment_13->n40_a_uksc_judgment_14 n40_a_uksc_judgment_15->n40_a_uksc_judgment_16 n40_a_uksc_judgment_18 IP-REL n40_a_uksc_judgment_17->n40_a_uksc_judgment_18 n40_a_uksc_judgment_19 NP-123 n40_a_uksc_judgment_18->n40_a_uksc_judgment_19 n40_a_uksc_judgment_25 NP-SBJ n40_a_uksc_judgment_18->n40_a_uksc_judgment_25 n40_a_uksc_judgment_28 MD;_cat_Vi_ n40_a_uksc_judgment_18->n40_a_uksc_judgment_28 n40_a_uksc_judgment_30 IP-INF-CAT n40_a_uksc_judgment_18->n40_a_uksc_judgment_30 n40_a_uksc_judgment_20 RPRO n40_a_uksc_judgment_19->n40_a_uksc_judgment_20 n40_a_uksc_judgment_22 ADVP n40_a_uksc_judgment_19->n40_a_uksc_judgment_22 n40_a_uksc_judgment_20->n40_a_uksc_judgment_21 n40_a_uksc_judgment_23 ADV n40_a_uksc_judgment_22->n40_a_uksc_judgment_23 n40_a_uksc_judgment_23->n40_a_uksc_judgment_24 n40_a_uksc_judgment_26 NPR n40_a_uksc_judgment_25->n40_a_uksc_judgment_26 n40_a_uksc_judgment_26->n40_a_uksc_judgment_27 n40_a_uksc_judgment_28->n40_a_uksc_judgment_29 n40_a_uksc_judgment_31 HV;_cat_Ve_ n40_a_uksc_judgment_30->n40_a_uksc_judgment_31 n40_a_uksc_judgment_33 IP-PPL-CAT n40_a_uksc_judgment_30->n40_a_uksc_judgment_33 n40_a_uksc_judgment_31->n40_a_uksc_judgment_32 n40_a_uksc_judgment_34 VVN;_Tt_ n40_a_uksc_judgment_33->n40_a_uksc_judgment_34 n40_a_uksc_judgment_36 IP-INF-OB1 n40_a_uksc_judgment_33->n40_a_uksc_judgment_36 n40_a_uksc_judgment_34->n40_a_uksc_judgment_35 n40_a_uksc_judgment_37 NP-OB1 n40_a_uksc_judgment_36->n40_a_uksc_judgment_37 n40_a_uksc_judgment_39 TO n40_a_uksc_judgment_36->n40_a_uksc_judgment_39 n40_a_uksc_judgment_41 DO;_Tn_ n40_a_uksc_judgment_36->n40_a_uksc_judgment_41 n40_a_uksc_judgment_43 PP-NIM n40_a_uksc_judgment_36->n40_a_uksc_judgment_43 n40_a_uksc_judgment_37->n40_a_uksc_judgment_38 n40_a_uksc_judgment_39->n40_a_uksc_judgment_40 n40_a_uksc_judgment_41->n40_a_uksc_judgment_42 n40_a_uksc_judgment_44 P-ROLE n40_a_uksc_judgment_43->n40_a_uksc_judgment_44 n40_a_uksc_judgment_46 NP n40_a_uksc_judgment_43->n40_a_uksc_judgment_46 n40_a_uksc_judgment_44->n40_a_uksc_judgment_45 n40_a_uksc_judgment_47 D n40_a_uksc_judgment_46->n40_a_uksc_judgment_47 n40_a_uksc_judgment_49 NUM n40_a_uksc_judgment_46->n40_a_uksc_judgment_49 n40_a_uksc_judgment_51 NS n40_a_uksc_judgment_46->n40_a_uksc_judgment_51 n40_a_uksc_judgment_53 IP-REL n40_a_uksc_judgment_46->n40_a_uksc_judgment_53 n40_a_uksc_judgment_47->n40_a_uksc_judgment_48 n40_a_uksc_judgment_49->n40_a_uksc_judgment_50 n40_a_uksc_judgment_51->n40_a_uksc_judgment_52 n40_a_uksc_judgment_54 NP-SBJ n40_a_uksc_judgment_53->n40_a_uksc_judgment_54 n40_a_uksc_judgment_57 MD;_cat_Vi_ n40_a_uksc_judgment_53->n40_a_uksc_judgment_57 n40_a_uksc_judgment_59 IP-INF-CAT n40_a_uksc_judgment_53->n40_a_uksc_judgment_59 n40_a_uksc_judgment_55 PRO n40_a_uksc_judgment_54->n40_a_uksc_judgment_55 n40_a_uksc_judgment_55->n40_a_uksc_judgment_56 n40_a_uksc_judgment_57->n40_a_uksc_judgment_58 n40_a_uksc_judgment_60 ADVP-NIM n40_a_uksc_judgment_59->n40_a_uksc_judgment_60 n40_a_uksc_judgment_63 HV;_cat_Ve_ n40_a_uksc_judgment_59->n40_a_uksc_judgment_63 n40_a_uksc_judgment_65 IP-PPL-CAT n40_a_uksc_judgment_59->n40_a_uksc_judgment_65 n40_a_uksc_judgment_61 ADV n40_a_uksc_judgment_60->n40_a_uksc_judgment_61 n40_a_uksc_judgment_61->n40_a_uksc_judgment_62 n40_a_uksc_judgment_63->n40_a_uksc_judgment_64 n40_a_uksc_judgment_66 NP-OB1 n40_a_uksc_judgment_65->n40_a_uksc_judgment_66 n40_a_uksc_judgment_68 HVN;_Tn_ n40_a_uksc_judgment_65->n40_a_uksc_judgment_68 n40_a_uksc_judgment_70 PP-NIM n40_a_uksc_judgment_65->n40_a_uksc_judgment_70 n40_a_uksc_judgment_66->n40_a_uksc_judgment_67 n40_a_uksc_judgment_68->n40_a_uksc_judgment_69 n40_a_uksc_judgment_71 P-ROLE n40_a_uksc_judgment_70->n40_a_uksc_judgment_71 n40_a_uksc_judgment_73 NP n40_a_uksc_judgment_70->n40_a_uksc_judgment_73 n40_a_uksc_judgment_71->n40_a_uksc_judgment_72 n40_a_uksc_judgment_74 D n40_a_uksc_judgment_73->n40_a_uksc_judgment_74 n40_a_uksc_judgment_76 N n40_a_uksc_judgment_73->n40_a_uksc_judgment_76 n40_a_uksc_judgment_74->n40_a_uksc_judgment_75 n40_a_uksc_judgment_76->n40_a_uksc_judgment_77 n40_a_uksc_judgment_78->n40_a_uksc_judgment_79
( (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))