11_a_uksc_judgment
This was not a normal prorogation in the run-up to a Queen's Speech.
arc(r_0011_0002__was, r_0011_0001__This, arg0).
arc(r_0011_0002__was, r_0011_0004__a_r_0011_0006__prorogation, prd).
arc(r_0011_0003__not, r_0011_0002__was, keep_scope).
arc(r_0011_0004__a_r_0011_0006__prorogation, r_0011_0005__normal, attrib12).
arc(r_0011_0004__a_r_0011_0006__prorogation, r_0011_0008__the_r_0011_0009__run__hyphen__up, r_0011_0007__in).
arc(r_0011_0008__the_r_0011_0009__run__hyphen__up, r_0011_0011__a_r_0011_0014__Speech, r_0011_0010__to).
arc(r_0011_0011__a_r_0011_0014__Speech, r_0011_0012__Queen_r_0011_0013___apos_s, gen).
fof(formula,axiom,
~ ? [R_11_2_WAS,R_11_1_THIS,R_11_4_A_PROROGATION,R_11_5_NORMAL,R_11_8_THE_RUN_HYPHEN_UP,R_11_11_A_SPEECH,R_11_12_QUEEN_APOS_S] :
( this(R_11_1_THIS)
& normal(R_11_5_NORMAL)
& queen_apos_s(R_11_12_QUEEN_APOS_S)
& was(R_11_2_WAS,R_11_1_THIS,R_11_4_A_PROROGATION)
& a_prorogation(R_11_4_A_PROROGATION)
& attrib12(R_11_4_A_PROROGATION,R_11_5_NORMAL)
& in(R_11_4_A_PROROGATION,R_11_8_THE_RUN_HYPHEN_UP)
& the_run_hyphen_up(R_11_8_THE_RUN_HYPHEN_UP)
& to(R_11_8_THE_RUN_HYPHEN_UP,R_11_11_A_SPEECH)
& a_Speech(R_11_11_A_SPEECH)
& gen(R_11_11_A_SPEECH,R_11_12_QUEEN_APOS_S) ) ).
( (IP-MAT (NP-SBJ;{PROROGATION} (D;_nphd_ This;{this}))
(BED;_Ln_ was;{be})
(NEG not;{not})
(NP-PRD (D a;{a})
(ADJP (ADJ normal;{normal}))
(N prorogation;{prorogation})
(PP (P-ROLE in;{in})
(NP (D the;{the})
(N run_<hyphen>_up;{run_up})
(PP (P-ROLE to;{to})
(NP (D a;{a})
(NP-GEN (NPR Queen;{Queen})
(GENM <apos>s))
(N Speech;{speech}))))))
(PUNC .))
(ID 11_a_uksc_judgment))