Context                Previous, Next                Top


12_a_uksc_judgment
It prevented Parliament from carrying out its constitutional role for five out of a possible eight weeks between the end of the summer recess and exit day on the 31st October.

%3 r_0012_0002__prevented prevented r_0012_0001__It It r_0012_0002__prevented->r_0012_0001__It [arg0] r_0012_0003__Parliament Parliament r_0012_0002__prevented->r_0012_0003__Parliament [arg1] r_0012_0005__carrying_r_0012_0006__out carrying out r_0012_0002__prevented->r_0012_0005__carrying_r_0012_0006__out from [clr] r_0012_0009__role role r_0012_0005__carrying_r_0012_0006__out->r_0012_0009__role [arg1] r_0012_0011__five_r_0012_0016__weeks five weeks r_0012_0005__carrying_r_0012_0006__out->r_0012_0011__five_r_0012_0016__weeks for [nim] z_000_12_a_uksc_judgment_13 r_0012_0005__carrying_r_0012_0006__out->z_000_12_a_uksc_judgment_13 [arg0] r_0012_0009__role->r_0012_0003__Parliament [gen] r_0012_0008__constitutional constitutional r_0012_0009__role->r_0012_0008__constitutional [attrib] r_0012_0013__a_r_0012_0015__eight a eight r_0012_0011__five_r_0012_0016__weeks->r_0012_0013__a_r_0012_0015__eight out of r_0012_0024__and and r_0012_0011__five_r_0012_0016__weeks->r_0012_0024__and between r_0012_0014__possible possible r_0012_0013__a_r_0012_0015__eight->r_0012_0014__possible [attrib] r_0012_0018__the_r_0012_0019__end the end r_0012_0024__and->r_0012_0018__the_r_0012_0019__end [conj1] r_0012_0025__exit_r_0012_0026__day exit day r_0012_0024__and->r_0012_0025__exit_r_0012_0026__day [conj2] r_0012_0021__the_r_0012_0022__summer_r_0012_0023__recess the summer recess r_0012_0018__the_r_0012_0019__end->r_0012_0021__the_r_0012_0022__summer_r_0012_0023__recess of r_0012_0028__the_r_0012_0030__October the October r_0012_0025__exit_r_0012_0026__day->r_0012_0028__the_r_0012_0030__October on r_0012_0029__31st 31st r_0012_0028__the_r_0012_0030__October->r_0012_0029__31st [attrib] 
arc(r_0012_0002__prevented, r_0012_0001__It, arg0).
arc(r_0012_0002__prevented, r_0012_0003__Parliament, arg1).
arc(r_0012_0002__prevented, r_0012_0005__carrying_r_0012_0006__out, r_0012_0004__from_clr13).
arc(r_0012_0005__carrying_r_0012_0006__out, r_0012_0009__role, arg1).
arc(r_0012_0005__carrying_r_0012_0006__out, r_0012_0011__five_r_0012_0016__weeks, r_0012_0010__for_nim30).
arc(r_0012_0005__carrying_r_0012_0006__out, z_000_12_a_uksc_judgment_13, arg0).
arc(r_0012_0009__role, r_0012_0003__Parliament, gen).
arc(r_0012_0009__role, r_0012_0008__constitutional, attrib22).
arc(r_0012_0011__five_r_0012_0016__weeks, r_0012_0013__a_r_0012_0015__eight, r_0012_0012__out_of).
arc(r_0012_0011__five_r_0012_0016__weeks, r_0012_0024__and, r_0012_0017__between).
arc(r_0012_0013__a_r_0012_0015__eight, r_0012_0014__possible, attrib39).
arc(r_0012_0018__the_r_0012_0019__end, r_0012_0021__the_r_0012_0022__summer_r_0012_0023__recess, r_0012_0020__of).
arc(r_0012_0024__and, r_0012_0018__the_r_0012_0019__end, conj1).
arc(r_0012_0024__and, r_0012_0025__exit_r_0012_0026__day, conj2).
arc(r_0012_0025__exit_r_0012_0026__day, r_0012_0028__the_r_0012_0030__October, r_0012_0027__on).
arc(r_0012_0028__the_r_0012_0030__October, r_0012_0029__31st, attrib80).


%3 r_0012_0002__prevented prevented r_0012_0001__It It r_0012_0002__prevented->r_0012_0001__It [arg0] r_0012_0003__Parliament Parliament r_0012_0002__prevented->r_0012_0003__Parliament [arg1] r_0012_0005__carrying_r_0012_0006__out carrying out r_0012_0002__prevented->r_0012_0005__carrying_r_0012_0006__out from [clr] r_0012_0009__role role r_0012_0005__carrying_r_0012_0006__out->r_0012_0009__role [arg1] r_0012_0011__five_r_0012_0016__weeks five weeks r_0012_0005__carrying_r_0012_0006__out->r_0012_0011__five_r_0012_0016__weeks for [nim] z_000_12_a_uksc_judgment_13 r_0012_0005__carrying_r_0012_0006__out->z_000_12_a_uksc_judgment_13 [arg0] r_0012_0009__role->r_0012_0003__Parliament [gen] r_0012_0008__constitutional constitutional r_0012_0009__role->r_0012_0008__constitutional [attrib] r_0012_0013__a_r_0012_0015__eight a eight r_0012_0011__five_r_0012_0016__weeks->r_0012_0013__a_r_0012_0015__eight out of r_0012_0024__and and r_0012_0011__five_r_0012_0016__weeks->r_0012_0024__and between r_0012_0014__possible possible r_0012_0013__a_r_0012_0015__eight->r_0012_0014__possible [attrib] r_0012_0018__the_r_0012_0019__end the end r_0012_0024__and->r_0012_0018__the_r_0012_0019__end [conj1] r_0012_0025__exit_r_0012_0026__day exit day r_0012_0024__and->r_0012_0025__exit_r_0012_0026__day [conj2] r_0012_0021__the_r_0012_0022__summer_r_0012_0023__recess the summer recess r_0012_0018__the_r_0012_0019__end->r_0012_0021__the_r_0012_0022__summer_r_0012_0023__recess of r_0012_0028__the_r_0012_0030__October the October r_0012_0025__exit_r_0012_0026__day->r_0012_0028__the_r_0012_0030__October on r_0012_0029__31st 31st r_0012_0028__the_r_0012_0030__October->r_0012_0029__31st [attrib] 
fof(formula,axiom,
    ? [R_12_2_PREVENTED,R_12_1_IT,R_12_5_CARRYING_OUT,Z_12_A_UKSC_JUDGMENT_13,R_12_9_ROLE,R_12_8_CONSTITUTIONAL,R_12_3_PARLIAMENT,R_12_11_FIVE_WEEKS,R_12_13_A_EIGHT,R_12_14_POSSIBLE,R_12_24_AND,R_12_18_THE_END,R_12_21_THE_SUMMER_RECESS,R_12_25_EXIT_DAY,R_12_28_THE_OCTOBER,R_12_29_31ST] :
      ( it(R_12_1_IT)
      & constitutional(R_12_8_CONSTITUTIONAL)
      & parliament(R_12_3_PARLIAMENT)
      & possible(R_12_14_POSSIBLE)
      & the_summer_recess(R_12_21_THE_SUMMER_RECESS)
      & 31st(R_12_29_31ST)
      & prevented(R_12_2_PREVENTED,R_12_1_IT,R_12_3_PARLIAMENT)
      & from_clr13(R_12_2_PREVENTED,R_12_5_CARRYING_OUT)
      & carrying_out(R_12_5_CARRYING_OUT,Z_12_A_UKSC_JUDGMENT_13,R_12_9_ROLE)
      & role(R_12_9_ROLE)
      & attrib22(R_12_9_ROLE,R_12_8_CONSTITUTIONAL)
      & gen(R_12_9_ROLE,R_12_3_PARLIAMENT)
      & for_nim30(R_12_5_CARRYING_OUT,R_12_11_FIVE_WEEKS)
      & five_weeks(R_12_11_FIVE_WEEKS)
      & out_of(R_12_11_FIVE_WEEKS,R_12_13_A_EIGHT)
      & a_eight(R_12_13_A_EIGHT)
      & attrib39(R_12_13_A_EIGHT,R_12_14_POSSIBLE)
      & between(R_12_11_FIVE_WEEKS,R_12_24_AND)
      & and(R_12_24_AND)
      & conj1(R_12_24_AND,R_12_18_THE_END)
      & the_end(R_12_18_THE_END)
      & of(R_12_18_THE_END,R_12_21_THE_SUMMER_RECESS)
      & conj2(R_12_24_AND,R_12_25_EXIT_DAY)
      & exit_day(R_12_25_EXIT_DAY)
      & on(R_12_25_EXIT_DAY,R_12_28_THE_OCTOBER)
      & the_October(R_12_28_THE_OCTOBER)
      & attrib80(R_12_28_THE_OCTOBER,R_12_29_31ST) ) ).


n12_a_uksc_judgment n12_a_uksc_judgment_4 It n12_a_uksc_judgment_6 prevented n12_a_uksc_judgment_9 Parliament n12_a_uksc_judgment_12 from n12_a_uksc_judgment_15 carrying n12_a_uksc_judgment_17 out n12_a_uksc_judgment_21 its n12_a_uksc_judgment_24 constitutional n12_a_uksc_judgment_26 role n12_a_uksc_judgment_29 for n12_a_uksc_judgment_32 five n12_a_uksc_judgment_35 out_of n12_a_uksc_judgment_38 a n12_a_uksc_judgment_41 possible n12_a_uksc_judgment_43 eight n12_a_uksc_judgment_45 weeks n12_a_uksc_judgment_48 between n12_a_uksc_judgment_53 the n12_a_uksc_judgment_55 end n12_a_uksc_judgment_58 of n12_a_uksc_judgment_61 the n12_a_uksc_judgment_63 summer n12_a_uksc_judgment_65 recess n12_a_uksc_judgment_68 and n12_a_uksc_judgment_71 exit n12_a_uksc_judgment_73 day n12_a_uksc_judgment_76 on n12_a_uksc_judgment_79 the n12_a_uksc_judgment_82 31st n12_a_uksc_judgment_84 October n12_a_uksc_judgment_86 . n12_a_uksc_judgment_1 IP-MAT n12_a_uksc_judgment_2 NP-SBJ n12_a_uksc_judgment_1->n12_a_uksc_judgment_2 n12_a_uksc_judgment_5 VBD;_Tn.pr_ n12_a_uksc_judgment_1->n12_a_uksc_judgment_5 n12_a_uksc_judgment_7 NP-OB1 n12_a_uksc_judgment_1->n12_a_uksc_judgment_7 n12_a_uksc_judgment_10 PP-CLR n12_a_uksc_judgment_1->n12_a_uksc_judgment_10 n12_a_uksc_judgment_85 PUNC n12_a_uksc_judgment_1->n12_a_uksc_judgment_85 n12_a_uksc_judgment_3 PRO n12_a_uksc_judgment_2->n12_a_uksc_judgment_3 n12_a_uksc_judgment_3->n12_a_uksc_judgment_4 n12_a_uksc_judgment_5->n12_a_uksc_judgment_6 n12_a_uksc_judgment_8 NPR n12_a_uksc_judgment_7->n12_a_uksc_judgment_8 n12_a_uksc_judgment_8->n12_a_uksc_judgment_9 n12_a_uksc_judgment_11 P-ROLE n12_a_uksc_judgment_10->n12_a_uksc_judgment_11 n12_a_uksc_judgment_13 IP-PPL n12_a_uksc_judgment_10->n12_a_uksc_judgment_13 n12_a_uksc_judgment_11->n12_a_uksc_judgment_12 n12_a_uksc_judgment_14 VAG;_phr_Vp.n_ n12_a_uksc_judgment_13->n12_a_uksc_judgment_14 n12_a_uksc_judgment_16 RP n12_a_uksc_judgment_13->n12_a_uksc_judgment_16 n12_a_uksc_judgment_18 NP-OB1 n12_a_uksc_judgment_13->n12_a_uksc_judgment_18 n12_a_uksc_judgment_27 PP-NIM n12_a_uksc_judgment_13->n12_a_uksc_judgment_27 n12_a_uksc_judgment_14->n12_a_uksc_judgment_15 n12_a_uksc_judgment_16->n12_a_uksc_judgment_17 n12_a_uksc_judgment_19 NP-GEN n12_a_uksc_judgment_18->n12_a_uksc_judgment_19 n12_a_uksc_judgment_22 ADJP n12_a_uksc_judgment_18->n12_a_uksc_judgment_22 n12_a_uksc_judgment_25 N n12_a_uksc_judgment_18->n12_a_uksc_judgment_25 n12_a_uksc_judgment_20 PRO;_genm_ n12_a_uksc_judgment_19->n12_a_uksc_judgment_20 n12_a_uksc_judgment_20->n12_a_uksc_judgment_21 n12_a_uksc_judgment_23 ADJ n12_a_uksc_judgment_22->n12_a_uksc_judgment_23 n12_a_uksc_judgment_23->n12_a_uksc_judgment_24 n12_a_uksc_judgment_25->n12_a_uksc_judgment_26 n12_a_uksc_judgment_28 P-ROLE n12_a_uksc_judgment_27->n12_a_uksc_judgment_28 n12_a_uksc_judgment_30 NP n12_a_uksc_judgment_27->n12_a_uksc_judgment_30 n12_a_uksc_judgment_28->n12_a_uksc_judgment_29 n12_a_uksc_judgment_31 NUM n12_a_uksc_judgment_30->n12_a_uksc_judgment_31 n12_a_uksc_judgment_33 PP n12_a_uksc_judgment_30->n12_a_uksc_judgment_33 n12_a_uksc_judgment_44 NS n12_a_uksc_judgment_30->n12_a_uksc_judgment_44 n12_a_uksc_judgment_46 PP n12_a_uksc_judgment_30->n12_a_uksc_judgment_46 n12_a_uksc_judgment_31->n12_a_uksc_judgment_32 n12_a_uksc_judgment_34 P-ROLE n12_a_uksc_judgment_33->n12_a_uksc_judgment_34 n12_a_uksc_judgment_36 NP n12_a_uksc_judgment_33->n12_a_uksc_judgment_36 n12_a_uksc_judgment_34->n12_a_uksc_judgment_35 n12_a_uksc_judgment_37 D n12_a_uksc_judgment_36->n12_a_uksc_judgment_37 n12_a_uksc_judgment_39 ADJP n12_a_uksc_judgment_36->n12_a_uksc_judgment_39 n12_a_uksc_judgment_42 NUM n12_a_uksc_judgment_36->n12_a_uksc_judgment_42 n12_a_uksc_judgment_37->n12_a_uksc_judgment_38 n12_a_uksc_judgment_40 ADJ n12_a_uksc_judgment_39->n12_a_uksc_judgment_40 n12_a_uksc_judgment_40->n12_a_uksc_judgment_41 n12_a_uksc_judgment_42->n12_a_uksc_judgment_43 n12_a_uksc_judgment_44->n12_a_uksc_judgment_45 n12_a_uksc_judgment_47 P-ROLE n12_a_uksc_judgment_46->n12_a_uksc_judgment_47 n12_a_uksc_judgment_49 NP n12_a_uksc_judgment_46->n12_a_uksc_judgment_49 n12_a_uksc_judgment_47->n12_a_uksc_judgment_48 n12_a_uksc_judgment_50 NLYR n12_a_uksc_judgment_49->n12_a_uksc_judgment_50 n12_a_uksc_judgment_51 NLYR n12_a_uksc_judgment_50->n12_a_uksc_judgment_51 n12_a_uksc_judgment_66 CONJP n12_a_uksc_judgment_50->n12_a_uksc_judgment_66 n12_a_uksc_judgment_52 D n12_a_uksc_judgment_51->n12_a_uksc_judgment_52 n12_a_uksc_judgment_54 N n12_a_uksc_judgment_51->n12_a_uksc_judgment_54 n12_a_uksc_judgment_56 PP n12_a_uksc_judgment_51->n12_a_uksc_judgment_56 n12_a_uksc_judgment_52->n12_a_uksc_judgment_53 n12_a_uksc_judgment_54->n12_a_uksc_judgment_55 n12_a_uksc_judgment_57 P-ROLE n12_a_uksc_judgment_56->n12_a_uksc_judgment_57 n12_a_uksc_judgment_59 NP n12_a_uksc_judgment_56->n12_a_uksc_judgment_59 n12_a_uksc_judgment_57->n12_a_uksc_judgment_58 n12_a_uksc_judgment_60 D n12_a_uksc_judgment_59->n12_a_uksc_judgment_60 n12_a_uksc_judgment_62 N n12_a_uksc_judgment_59->n12_a_uksc_judgment_62 n12_a_uksc_judgment_64 N n12_a_uksc_judgment_59->n12_a_uksc_judgment_64 n12_a_uksc_judgment_60->n12_a_uksc_judgment_61 n12_a_uksc_judgment_62->n12_a_uksc_judgment_63 n12_a_uksc_judgment_64->n12_a_uksc_judgment_65 n12_a_uksc_judgment_67 CONJ n12_a_uksc_judgment_66->n12_a_uksc_judgment_67 n12_a_uksc_judgment_69 NLYR n12_a_uksc_judgment_66->n12_a_uksc_judgment_69 n12_a_uksc_judgment_67->n12_a_uksc_judgment_68 n12_a_uksc_judgment_70 N n12_a_uksc_judgment_69->n12_a_uksc_judgment_70 n12_a_uksc_judgment_72 N n12_a_uksc_judgment_69->n12_a_uksc_judgment_72 n12_a_uksc_judgment_74 PP n12_a_uksc_judgment_69->n12_a_uksc_judgment_74 n12_a_uksc_judgment_70->n12_a_uksc_judgment_71 n12_a_uksc_judgment_72->n12_a_uksc_judgment_73 n12_a_uksc_judgment_75 P-ROLE n12_a_uksc_judgment_74->n12_a_uksc_judgment_75 n12_a_uksc_judgment_77 NP n12_a_uksc_judgment_74->n12_a_uksc_judgment_77 n12_a_uksc_judgment_75->n12_a_uksc_judgment_76 n12_a_uksc_judgment_78 D n12_a_uksc_judgment_77->n12_a_uksc_judgment_78 n12_a_uksc_judgment_80 ADJP n12_a_uksc_judgment_77->n12_a_uksc_judgment_80 n12_a_uksc_judgment_83 NPR n12_a_uksc_judgment_77->n12_a_uksc_judgment_83 n12_a_uksc_judgment_78->n12_a_uksc_judgment_79 n12_a_uksc_judgment_81 ADJ n12_a_uksc_judgment_80->n12_a_uksc_judgment_81 n12_a_uksc_judgment_81->n12_a_uksc_judgment_82 n12_a_uksc_judgment_83->n12_a_uksc_judgment_84 n12_a_uksc_judgment_85->n12_a_uksc_judgment_86 
( (IP-MAT (NP-SBJ;{PROROGATION} (PRO It;{it}))
          (VBD;_Tn.pr_ prevented;{prevent[from]})
          (NP-OB1;{PARLIAMENT} (NPR Parliament;{Parliament}))
          (PP-CLR (P-ROLE from;{from})
                  (IP-PPL (VAG;_phr_Vp.n_ carrying;{carry})
                          (RP out;{out})
                          (NP-OB1 (NP-GEN;{PARLIAMENT} (PRO;_genm_ its;{its}))
                                  (ADJP (ADJ constitutional;{constitutional}))
                                  (N role;{role}))
                          (PP-NIM (P-ROLE for;{for})
                                  (NP (NUM five;{five})
                                      (PP (P-ROLE out_of;{out_of})
                                          (NP (D a;{a})
                                              (ADJP (ADJ possible;{possible}))
                                              (NUM eight;{eight})))
                                      (NS weeks;{week})
                                      (PP (P-ROLE between;{between})
                                          (NP (NLYR (NLYR (D the;{the})
                                                          (N end;{end})
                                                          (PP (P-ROLE of;{of})
                                                              (NP (D the;{the})
                                                                  (N summer;{summer})
                                                                  (N recess;{recess}))))
                                                    (CONJP (CONJ and;{and})
                                                           (NLYR (N exit;{exit})
                                                                 (N day;{day})
                                                                 (PP (P-ROLE on;{on})
                                                                     (NP (D the;{the})
                                                                         (ADJP (ADJ 31st))
                                                                         (NPR October;{October}))))))))))))
          (PUNC .))
  (ID 12_a_uksc_judgment))