TSPC 34_a_uksc

34_a_uksc_judgment
Government business managers meet to select the Bills to be included, usually after discussion with the Prime Minister, and Cabinet is asked to endorse the decisions.

arc(r_0034_0004__meet, r_0034_0001__Government_r_0034_0002__business_r_0034_0003__managers, arg0).
arc(r_0034_0004__meet, r_0034_0005__to_r_0034_0006__select, clr13).
arc(r_0034_0005__to_r_0034_0006__select, r_0034_0001__Government_r_0034_0002__business_r_0034_0003__managers, arg0).
arc(r_0034_0005__to_r_0034_0006__select, r_0034_0007__the_r_0034_0008__Bills, arg1).
arc(r_0034_0005__to_r_0034_0006__select, r_0034_0009__to_r_0034_0010__be, prd).
arc(r_0034_0005__to_r_0034_0006__select, r_0034_0015__discussion, r_0034_0013__usually_r_0034_0014__after_nim40).
arc(r_0034_0009__to_r_0034_0010__be, r_0034_0011__included, scope).
arc(r_0034_0011__included, x_000_34_a_uksc_judgment_23, arg1).
arc(r_0034_0011__included, z_000_34_a_uksc_judgment_29, arg0).
arc(r_0034_0015__discussion, r_0034_0017__the_r_0034_0018__Prime_r_0034_0019__Minister, r_0034_0016__with).
arc(r_0034_0021__and, r_0034_0004__meet, conj1).
arc(r_0034_0021__and, r_0034_0023__is, conj2).
arc(r_0034_0023__is, r_0034_0024__asked, scope).
arc(r_0034_0024__asked, r_0034_0022__Cabinet, arg2).
arc(r_0034_0024__asked, r_0034_0025__to_r_0034_0026__endorse, arg1).
arc(r_0034_0024__asked, z_000_34_a_uksc_judgment_65, arg0).
arc(r_0034_0025__to_r_0034_0026__endorse, r_0034_0022__Cabinet, arg0).
arc(r_0034_0025__to_r_0034_0026__endorse, r_0034_0027__the_r_0034_0028__decisions, arg1).

fof(formula,axiom,
    ? [R_0034_0001__GOVERNMENT_R_0034_0002__BUSINESS_R_0034_0003__MANAGERS,R_0034_0007__THE_R_0034_0008__BILLS,X_000_34_A_UKSC_JUDGMENT_23,Z_000_34_A_UKSC_JUDGMENT_29,R_0034_0009__TO_R_0034_0010__BE_R_0034_0011__INCLUDED,R_0034_0017__THE_R_0034_0018__PRIME_R_0034_0019__MINISTER,R_0034_0015__DISCUSSION,R_0034_0005__TO_R_0034_0006__SELECT,R_0034_0004__MEET,R_0034_0022__CABINET,R_0034_0027__THE_R_0034_0028__DECISIONS,R_0034_0025__TO_R_0034_0026__ENDORSE,Z_000_34_A_UKSC_JUDGMENT_65,R_0034_0023__IS_R_0034_0024__ASKED,R_0034_0021__AND] :
      ( r_0034_0001__Government_r_0034_0002__business_r_0034_0003__managers(R_0034_0001__GOVERNMENT_R_0034_0002__BUSINESS_R_0034_0003__MANAGERS)
      & r_0034_0007__the_r_0034_0008__Bills(R_0034_0007__THE_R_0034_0008__BILLS)
      & r_0034_0017__the_r_0034_0018__Prime_r_0034_0019__Minister(R_0034_0017__THE_R_0034_0018__PRIME_R_0034_0019__MINISTER)
      & r_0034_0022__Cabinet(R_0034_0022__CABINET)
      & r_0034_0027__the_r_0034_0028__decisions(R_0034_0027__THE_R_0034_0028__DECISIONS)
      & x_000_34_a_uksc_judgment_23(X_000_34_A_UKSC_JUDGMENT_23)
      & z_000_34_a_uksc_judgment_29(Z_000_34_A_UKSC_JUDGMENT_29)
      & z_000_34_a_uksc_judgment_65(Z_000_34_A_UKSC_JUDGMENT_65)
      & r_0034_0021__and(R_0034_0021__AND)
      & has_conj2(R_0034_0021__AND,R_0034_0023__IS_R_0034_0024__ASKED)
      & r_0034_0023__is_r_0034_0024__asked(R_0034_0023__IS_R_0034_0024__ASKED)
      & has_arg0(R_0034_0023__IS_R_0034_0024__ASKED,Z_000_34_A_UKSC_JUDGMENT_65)
      & has_arg1(R_0034_0023__IS_R_0034_0024__ASKED,R_0034_0025__TO_R_0034_0026__ENDORSE)
      & r_0034_0025__to_r_0034_0026__endorse(R_0034_0025__TO_R_0034_0026__ENDORSE)
      & has_arg1(R_0034_0025__TO_R_0034_0026__ENDORSE,R_0034_0027__THE_R_0034_0028__DECISIONS)
      & has_arg0(R_0034_0025__TO_R_0034_0026__ENDORSE,R_0034_0022__CABINET)
      & has_arg2(R_0034_0023__IS_R_0034_0024__ASKED,R_0034_0022__CABINET)
      & has_conj1(R_0034_0021__AND,R_0034_0004__MEET)
      & r_0034_0004__meet(R_0034_0004__MEET)
      & has_clr13(R_0034_0004__MEET,R_0034_0005__TO_R_0034_0006__SELECT)
      & r_0034_0005__to_r_0034_0006__select(R_0034_0005__TO_R_0034_0006__SELECT)
      & has_r_0034_0013__usually_r_0034_0014__after_nim40(R_0034_0005__TO_R_0034_0006__SELECT,R_0034_0015__DISCUSSION)
      & r_0034_0015__discussion(R_0034_0015__DISCUSSION)
      & has_r_0034_0016__with(R_0034_0015__DISCUSSION,R_0034_0017__THE_R_0034_0018__PRIME_R_0034_0019__MINISTER)
      & has_prd(R_0034_0005__TO_R_0034_0006__SELECT,R_0034_0009__TO_R_0034_0010__BE_R_0034_0011__INCLUDED)
      & r_0034_0009__to_r_0034_0010__be_r_0034_0011__included(R_0034_0009__TO_R_0034_0010__BE_R_0034_0011__INCLUDED)
      & has_arg0(R_0034_0009__TO_R_0034_0010__BE_R_0034_0011__INCLUDED,Z_000_34_A_UKSC_JUDGMENT_29)
      & has_arg1(R_0034_0009__TO_R_0034_0010__BE_R_0034_0011__INCLUDED,X_000_34_A_UKSC_JUDGMENT_23)
      & has_arg1(R_0034_0005__TO_R_0034_0006__SELECT,R_0034_0007__THE_R_0034_0008__BILLS)
      & has_arg0(R_0034_0005__TO_R_0034_0006__SELECT,R_0034_0001__GOVERNMENT_R_0034_0002__BUSINESS_R_0034_0003__MANAGERS)
      & has_arg0(R_0034_0004__MEET,R_0034_0001__GOVERNMENT_R_0034_0002__BUSINESS_R_0034_0003__MANAGERS) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (N Government;{government})
                              (N business;{business})
                              (NS managers;{manager}))
                      (VBP;_It_ meet;{meet})
                      (IP-INF-CLR (TO to;{to})
                                  (VB;_Cn.t_ select;{select})
                                  (NP-OB1 (D the;{the})
                                          (NS Bills;{bill}))
                                  (IP-INF-PRD (TO to;{to})
                                              (BE;_cat_VePASS_ be;{be})
                                              (IP-PPL-CAT (NP-LGS *)
                                                          (VVN;_Tn_ included;{include})))
                                  (PUNC ,)
                                  (PP-NIM (ADV usually;{usually})
                                          (P-ROLE after;{after})
                                          (NP (N discussion;{discussion})
                                              (PP (P-ROLE with;{with})
                                                  (NP (D the;{the})
                                                      (NPR Prime;{Prime})
                                                      (NPR Minister;{Minister})))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (NPR Cabinet;{Cabinet}))
                             (BEP;_cat_VePASS_ is;{be})
                             (IP-PPL-CAT (NP-LGS *)
                                         (VVN;_Dn.t_ asked;{ask})
                                         (IP-INF-OB1 (TO to;{to})
                                                     (VB;_Tn_ endorse;{endorse})
                                                     (NP-OB1 (D the;{the})
                                                             (NS decisions;{decision})))))))
          (PUNC .))
  (ID 34_a_uksc_judgment))