TSPC 50_a_uksc

50_a_uksc_judgment
Nowhere is there a hint that the Prime Minister, in giving advice to Her Majesty, is more than simply the leader of the Government seeking to promote its own policies; he has a constitutional responsibility, as we have explained in para 30 above.

arc(r_0050_0002__is_r_0050_0003__there, r_0050_0001__Nowhere, nim2).
arc(r_0050_0002__is_r_0050_0003__there, r_0050_0004__a_r_0050_0005__hint, arg0).
arc(r_0050_0004__a_r_0050_0005__hint, r_0050_0006__that_r_0050_0018__is, emb15).
arc(r_0050_0006__that_r_0050_0018__is, r_0050_0007__the_r_0050_0008__Prime_r_0050_0009__Minister, arg0).
arc(r_0050_0006__that_r_0050_0018__is, r_0050_0012__giving, r_0050_0011__in_nim30).
arc(r_0050_0006__that_r_0050_0018__is, r_0050_0019__more, prd).
arc(r_0050_0012__giving, r_0050_0013__advice, arg1).
arc(r_0050_0012__giving, r_0050_0015__Her_r_0050_0016__Majesty, arg2).
arc(r_0050_0012__giving, z_000_50_a_uksc_judgment_30, arg0).
arc(r_0050_0019__more, r_0050_0022__the_r_0050_0023__leader, r_0050_0020__than).
arc(r_0050_0022__the_r_0050_0023__leader, r_0050_0021__simply, qual55).
arc(r_0050_0022__the_r_0050_0023__leader, r_0050_0025__the_r_0050_0026__Government, r_0050_0024__of).
arc(r_0050_0027__seeking, r_0050_0025__the_r_0050_0026__Government, arg0).
arc(r_0050_0027__seeking, r_0050_0028__to_r_0050_0029__promote, arg1).
arc(r_0050_0028__to_r_0050_0029__promote, r_0050_0025__the_r_0050_0026__Government, arg0).
arc(r_0050_0028__to_r_0050_0029__promote, r_0050_0032__policies, arg1).
arc(r_0050_0032__policies, z_000_50_a_uksc_judgment_79, gen).
arc(z_000_50_a_uksc_judgment_79, r_0050_0025__the_r_0050_0026__Government, gen).
arc(z_000_50_a_uksc_judgment_79, r_0050_0031__own, attrib83).

fof(formula,axiom,
    ? [R_0050_0001__NOWHERE,R_0050_0007__THE_R_0050_0008__PRIME_R_0050_0009__MINISTER,R_0050_0013__ADVICE,R_0050_0015__HER_R_0050_0016__MAJESTY,Z_000_50_A_UKSC_JUDGMENT_30,R_0050_0012__GIVING,R_0050_0021__SIMPLY,R_0050_0025__THE_R_0050_0026__GOVERNMENT,R_0050_0022__THE_R_0050_0023__LEADER,R_0050_0019__MORE,R_0050_0006__THAT_R_0050_0018__IS,R_0050_0004__A_R_0050_0005__HINT,R_0050_0002__IS_R_0050_0003__THERE,R_0050_0031__OWN,Z_000_50_A_UKSC_JUDGMENT_79,R_0050_0032__POLICIES,R_0050_0028__TO_R_0050_0029__PROMOTE,R_0050_0027__SEEKING] :
      ( r_0050_0001__Nowhere(R_0050_0001__NOWHERE)
      & r_0050_0007__the_r_0050_0008__Prime_r_0050_0009__Minister(R_0050_0007__THE_R_0050_0008__PRIME_R_0050_0009__MINISTER)
      & r_0050_0013__advice(R_0050_0013__ADVICE)
      & r_0050_0015__Her_r_0050_0016__Majesty(R_0050_0015__HER_R_0050_0016__MAJESTY)
      & r_0050_0021__simply(R_0050_0021__SIMPLY)
      & r_0050_0025__the_r_0050_0026__Government(R_0050_0025__THE_R_0050_0026__GOVERNMENT)
      & r_0050_0031__own(R_0050_0031__OWN)
      & z_000_50_a_uksc_judgment_30(Z_000_50_A_UKSC_JUDGMENT_30)
      & r_0050_0027__seeking(R_0050_0027__SEEKING)
      & has_arg1(R_0050_0027__SEEKING,R_0050_0028__TO_R_0050_0029__PROMOTE)
      & r_0050_0028__to_r_0050_0029__promote(R_0050_0028__TO_R_0050_0029__PROMOTE)
      & has_arg1(R_0050_0028__TO_R_0050_0029__PROMOTE,R_0050_0032__POLICIES)
      & r_0050_0032__policies(R_0050_0032__POLICIES)
      & has_gen(R_0050_0032__POLICIES,Z_000_50_A_UKSC_JUDGMENT_79)
      & z_000_50_a_uksc_judgment_79(Z_000_50_A_UKSC_JUDGMENT_79)
      & has_attrib83(Z_000_50_A_UKSC_JUDGMENT_79,R_0050_0031__OWN)
      & has_gen(Z_000_50_A_UKSC_JUDGMENT_79,R_0050_0025__THE_R_0050_0026__GOVERNMENT)
      & has_arg0(R_0050_0028__TO_R_0050_0029__PROMOTE,R_0050_0025__THE_R_0050_0026__GOVERNMENT)
      & has_arg0(R_0050_0027__SEEKING,R_0050_0025__THE_R_0050_0026__GOVERNMENT)
      & r_0050_0002__is_r_0050_0003__there(R_0050_0002__IS_R_0050_0003__THERE)
      & has_arg0(R_0050_0002__IS_R_0050_0003__THERE,R_0050_0004__A_R_0050_0005__HINT)
      & r_0050_0004__a_r_0050_0005__hint(R_0050_0004__A_R_0050_0005__HINT)
      & has_emb15(R_0050_0004__A_R_0050_0005__HINT,R_0050_0006__THAT_R_0050_0018__IS)
      & r_0050_0006__that_r_0050_0018__is(R_0050_0006__THAT_R_0050_0018__IS)
      & has_prd(R_0050_0006__THAT_R_0050_0018__IS,R_0050_0019__MORE)
      & r_0050_0019__more(R_0050_0019__MORE)
      & has_r_0050_0020__than(R_0050_0019__MORE,R_0050_0022__THE_R_0050_0023__LEADER)
      & r_0050_0022__the_r_0050_0023__leader(R_0050_0022__THE_R_0050_0023__LEADER)
      & has_r_0050_0024__of(R_0050_0022__THE_R_0050_0023__LEADER,R_0050_0025__THE_R_0050_0026__GOVERNMENT)
      & has_qual55(R_0050_0022__THE_R_0050_0023__LEADER,R_0050_0021__SIMPLY)
      & has_r_0050_0011__in_nim30(R_0050_0006__THAT_R_0050_0018__IS,R_0050_0012__GIVING)
      & r_0050_0012__giving(R_0050_0012__GIVING)
      & has_arg0(R_0050_0012__GIVING,Z_000_50_A_UKSC_JUDGMENT_30)
      & has_arg2(R_0050_0012__GIVING,R_0050_0015__HER_R_0050_0016__MAJESTY)
      & has_arg1(R_0050_0012__GIVING,R_0050_0013__ADVICE)
      & has_arg0(R_0050_0006__THAT_R_0050_0018__IS,R_0050_0007__THE_R_0050_0008__PRIME_R_0050_0009__MINISTER)
      & has_nim2(R_0050_0002__IS_R_0050_0003__THERE,R_0050_0001__NOWHERE) ) ).

( (IP-MAT (ADVP-NIM (ADV Nowhere;{nowhere}))
          (BEP;_ex_Vp_ is;{be})
          (EX there;{there})
          (NP-ESBJ (D a;{a})
                   (N hint;{hint})
                   (CP-THT (IP-SUB (C that;{that})
                                   (NP-SBJ;{PM} (D the;{the})
                                                (NPR Prime;{Prime})
                                                (NPR Minister;{Minister}))
                                   (PUNC ,)
                                   (PP-NIM (P-ROLE in;{in})
                                           (IP-PPL (VAG;_Dn.pr_ giving;{give[to]})
                                                   (NP-OB1 (N advice;{advice}))
                                                   (PP-OB2 (P-ROLE to;{to})
                                                           (NP (NPR Her;{Her})
                                                               (NPR Majesty;{Majesty})))))
                                   (PUNC ,)
                                   (BEP;_La_ is;{be})
                                   (ADJP-PRD (ADJR more;{more})
                                             (PP (P-ROLE than;{than})
                                                 (NP (ADVP (ADV simply;{simply}))
                                                     (D the;{the})
                                                     (N leader;{leader})
                                                     (PP (P-ROLE of;{of})
                                                         (NP;{GOVERNMENT} (D the;{the})
                                                                          (N Government;{government})
                                                                          (IP-PPL (VAG;_Tt_ seeking;{seek})
                                                                                  (IP-INF-OB1 (TO to;{to})
                                                                                              (VB;_Tn_ promote;{promote})
                                                                                              (NP-OB1 (NP-GEN (NP-GEN;{GOVERNMENT} (PRO;_genm_ its;{its}))
                                                                                                              (ADJP (ADJ own;{own})))
                                                                                                      (NS policies;{policy}))))))))))))
          (PUNC ;)
          (PRN (IP-MAT (NP-SBJ;{PM} (PRO he;{he}))
                       (HVP;_Tn_ has;{have})
                       (NP-OB1 (D a;{a})
                               (ADJP (ADJ constitutional;{constitutional}))
                               (N responsibility;{responsibility}))
                       (PUNC ,)
                       (PP-SCON (P-CONN as;{as})
                                (IP-ADV (NP-SBJ (PRO we;{we}))
                                        (HVP;_cat_Ve_ have;{have})
                                        (IP-PPL-CAT (VVN;_I_ explained;{explain})
                                                    (PP-NIM (P-ROLE in;{in})
                                                            (NP (N para;{para})
                                                                (NUM 30)
                                                                (ADVP (ADV above;{above})))))))))
          (PUNC .))
  (ID 50_a_uksc_judgment))