TSPC 11_a_uksc

11_a_uksc_judgment
This was not a normal prorogation in the run-up to a Queen's Speech.

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

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,attrib).
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,gen).

fof(formula,axiom,
    ~ ? [R_0011_0001__THIS,R_0011_0005__NORMAL,R_0011_0012__QUEEN,R_0011_0011__A_R_0011_0014__SPEECH,R_0011_0008__THE_R_0011_0009__RUN__HYPHEN__UP,R_0011_0004__A_R_0011_0006__PROROGATION,R_0011_0002__WAS] :
        ( r_0011_0001__This(R_0011_0001__THIS)
        & r_0011_0005__normal(R_0011_0005__NORMAL)
        & r_0011_0012__Queen(R_0011_0012__QUEEN)
        & r_0011_0002__was(R_0011_0002__WAS)
        & has_prd(R_0011_0002__WAS,R_0011_0004__A_R_0011_0006__PROROGATION)
        & r_0011_0004__a_r_0011_0006__prorogation(R_0011_0004__A_R_0011_0006__PROROGATION)
        & has_r_0011_0007__in(R_0011_0004__A_R_0011_0006__PROROGATION,R_0011_0008__THE_R_0011_0009__RUN__HYPHEN__UP)
        & r_0011_0008__the_r_0011_0009__run__hyphen__up(R_0011_0008__THE_R_0011_0009__RUN__HYPHEN__UP)
        & has_r_0011_0010__to(R_0011_0008__THE_R_0011_0009__RUN__HYPHEN__UP,R_0011_0011__A_R_0011_0014__SPEECH)
        & r_0011_0011__a_r_0011_0014__Speech(R_0011_0011__A_R_0011_0014__SPEECH)
        & has_gen(R_0011_0011__A_R_0011_0014__SPEECH,R_0011_0012__QUEEN)
        & has_attrib(R_0011_0004__A_R_0011_0006__PROROGATION,R_0011_0005__NORMAL)
        & has_arg0(R_0011_0002__WAS,R_0011_0001__THIS) ) ).