TSPC 21_a_uksc

21_a_uksc_judgment
But that Parliament, and in particular the House of Commons as the democratically elected representatives of the people, has a right to have a voice in how that change comes about is indisputable.

arc(r_0021_0001__But_r_0021_0033__is, r_0021_0002__that_r_0021_0020__has, arg0).
arc(r_0021_0001__But_r_0021_0033__is, r_0021_0034__indisputable, prd).
arc(r_0021_0002__that_r_0021_0020__has, r_0021_0005__and, arg0).
arc(r_0021_0002__that_r_0021_0020__has, r_0021_0021__a_r_0021_0022__right, arg1).
arc(r_0021_0005__and, r_0021_0003__Parliament, conj1).
arc(r_0021_0005__and, r_0021_0007__the_r_0021_0008__House, conj2).
arc(r_0021_0007__the_r_0021_0008__House, r_0021_0006__in_particular, qual19).
arc(r_0021_0007__the_r_0021_0008__House, r_0021_0010__Commons, r_0021_0009__of).
arc(r_0021_0007__the_r_0021_0008__House, r_0021_0012__the_r_0021_0015__representatives, r_0021_0011__as).
arc(r_0021_0012__the_r_0021_0015__representatives, r_0021_0014__elected, attrib38).
arc(r_0021_0012__the_r_0021_0015__representatives, r_0021_0017__the_r_0021_0018__people, r_0021_0016__of).
arc(r_0021_0014__elected, r_0021_0013__democratically, qual39).
arc(r_0021_0021__a_r_0021_0022__right, r_0021_0023__to_r_0021_0024__have, emb63).
arc(r_0021_0023__to_r_0021_0024__have, r_0021_0025__a_r_0021_0026__voice, arg1).
arc(r_0021_0023__to_r_0021_0024__have, z_000_21_a_uksc_judgment_63, arg0).
arc(r_0021_0025__a_r_0021_0026__voice, r_0021_0031__comes, r_0021_0027__in).
arc(r_0021_0031__comes, r_0021_0028__how, nim78).
arc(r_0021_0031__comes, r_0021_0029__that_r_0021_0030__change, arg0).
arc(r_0021_0031__comes, r_0021_0032__about, nim88).

fof(formula,axiom,
    ? [R_0021_0003__PARLIAMENT,R_0021_0006__IN_PARTICULAR,R_0021_0010__COMMONS,R_0021_0013__DEMOCRATICALLY,R_0021_0014__ELECTED,R_0021_0017__THE_R_0021_0018__PEOPLE,R_0021_0012__THE_R_0021_0015__REPRESENTATIVES,R_0021_0007__THE_R_0021_0008__HOUSE,R_0021_0005__AND,R_0021_0028__HOW,R_0021_0029__THAT_R_0021_0030__CHANGE,R_0021_0032__ABOUT,R_0021_0031__COMES,R_0021_0025__A_R_0021_0026__VOICE,Z_000_21_A_UKSC_JUDGMENT_63,R_0021_0023__TO_R_0021_0024__HAVE,R_0021_0021__A_R_0021_0022__RIGHT,R_0021_0002__THAT_R_0021_0020__HAS,R_0021_0034__INDISPUTABLE,R_0021_0001__BUT_R_0021_0033__IS] :
      ( r_0021_0003__Parliament(R_0021_0003__PARLIAMENT)
      & r_0021_0006__in_particular(R_0021_0006__IN_PARTICULAR)
      & r_0021_0010__Commons(R_0021_0010__COMMONS)
      & r_0021_0013__democratically(R_0021_0013__DEMOCRATICALLY)
      & r_0021_0017__the_r_0021_0018__people(R_0021_0017__THE_R_0021_0018__PEOPLE)
      & r_0021_0028__how(R_0021_0028__HOW)
      & r_0021_0029__that_r_0021_0030__change(R_0021_0029__THAT_R_0021_0030__CHANGE)
      & r_0021_0032__about(R_0021_0032__ABOUT)
      & r_0021_0034__indisputable(R_0021_0034__INDISPUTABLE)
      & z_000_21_a_uksc_judgment_63(Z_000_21_A_UKSC_JUDGMENT_63)
      & r_0021_0001__But_r_0021_0033__is(R_0021_0001__BUT_R_0021_0033__IS)
      & has_prd(R_0021_0001__BUT_R_0021_0033__IS,R_0021_0034__INDISPUTABLE)
      & has_arg0(R_0021_0001__BUT_R_0021_0033__IS,R_0021_0002__THAT_R_0021_0020__HAS)
      & r_0021_0002__that_r_0021_0020__has(R_0021_0002__THAT_R_0021_0020__HAS)
      & has_arg1(R_0021_0002__THAT_R_0021_0020__HAS,R_0021_0021__A_R_0021_0022__RIGHT)
      & r_0021_0021__a_r_0021_0022__right(R_0021_0021__A_R_0021_0022__RIGHT)
      & has_emb63(R_0021_0021__A_R_0021_0022__RIGHT,R_0021_0023__TO_R_0021_0024__HAVE)
      & r_0021_0023__to_r_0021_0024__have(R_0021_0023__TO_R_0021_0024__HAVE)
      & has_arg0(R_0021_0023__TO_R_0021_0024__HAVE,Z_000_21_A_UKSC_JUDGMENT_63)
      & has_arg1(R_0021_0023__TO_R_0021_0024__HAVE,R_0021_0025__A_R_0021_0026__VOICE)
      & r_0021_0025__a_r_0021_0026__voice(R_0021_0025__A_R_0021_0026__VOICE)
      & has_r_0021_0027__in(R_0021_0025__A_R_0021_0026__VOICE,R_0021_0031__COMES)
      & r_0021_0031__comes(R_0021_0031__COMES)
      & has_nim88(R_0021_0031__COMES,R_0021_0032__ABOUT)
      & has_arg0(R_0021_0031__COMES,R_0021_0029__THAT_R_0021_0030__CHANGE)
      & has_nim78(R_0021_0031__COMES,R_0021_0028__HOW)
      & has_arg0(R_0021_0002__THAT_R_0021_0020__HAS,R_0021_0005__AND)
      & r_0021_0005__and(R_0021_0005__AND)
      & has_conj2(R_0021_0005__AND,R_0021_0007__THE_R_0021_0008__HOUSE)
      & r_0021_0007__the_r_0021_0008__House(R_0021_0007__THE_R_0021_0008__HOUSE)
      & has_r_0021_0011__as(R_0021_0007__THE_R_0021_0008__HOUSE,R_0021_0012__THE_R_0021_0015__REPRESENTATIVES)
      & r_0021_0012__the_r_0021_0015__representatives(R_0021_0012__THE_R_0021_0015__REPRESENTATIVES)
      & has_r_0021_0016__of(R_0021_0012__THE_R_0021_0015__REPRESENTATIVES,R_0021_0017__THE_R_0021_0018__PEOPLE)
      & has_attrib38(R_0021_0012__THE_R_0021_0015__REPRESENTATIVES,R_0021_0014__ELECTED)
      & r_0021_0014__elected(R_0021_0014__ELECTED)
      & has_qual39(R_0021_0014__ELECTED,R_0021_0013__DEMOCRATICALLY)
      & has_r_0021_0009__of(R_0021_0007__THE_R_0021_0008__HOUSE,R_0021_0010__COMMONS)
      & has_qual19(R_0021_0007__THE_R_0021_0008__HOUSE,R_0021_0006__IN_PARTICULAR)
      & has_conj1(R_0021_0005__AND,R_0021_0003__PARLIAMENT) ) ).

( (IP-MAT (CONJ;_cl_ But;{but})
          (CP-THT-SBJ (IP-SUB (C that;{that})
                              (NP-SBJ (NLYR (NLYR;{PARLIAMENT} (NPR Parliament;{Parliament}))
                                            (PUNC ,)
                                            (CONJP (CONJ and;{and})
                                                   (NLYR (ADVP (ADV in_particular;{in_particular}))
                                                         (D the;{the})
                                                         (N House;{house})
                                                         (PP (P-ROLE of;{of})
                                                             (NP (NS Commons;{common})))
                                                         (PP (P-ROLE as;{as})
                                                             (NP (D the;{the})
                                                                 (ADJP (ADVP (ADV democratically;{democratically}))
                                                                       (ADJ elected;{elect}))
                                                                 (NS representatives;{representative})
                                                                 (PP (P-ROLE of;{of})
                                                                     (NP (D the;{the})
                                                                         (NS people;{people})))))))))
                              (PUNC ,)
                              (HVP;_Tn_ has;{have})
                              (NP-OB1 (D a;{a})
                                      (N right;{right})
                                      (IP-INF (TO to;{to})
                                              (HV;_Tn_ have;{have})
                                              (NP-OB1 (D a;{a})
                                                      (N voice;{voice})
                                                      (PP (P-ROLE in;{in})
                                                          (CP-QUE (IP-SUB (ADVP-NIM (WADV how;{how}))
                                                                          (NP-SBJ;{CHANGE} (D that;{that})
                                                                                           (N change;{change}))
                                                                          (VBP;_Ip_ comes;{come[about]})
                                                                          (ADVP-NIM (RP about;{about}))))))))))
          (BEP;_La_ is;{be})
          (ADJP-PRD (ADJ indisputable;{indisputable}))
          (PUNC .))
  (ID 21_a_uksc_judgment))