45_a_uksc_judgment
Scrutiny committees in both the House of Commons and the House of Lords play a vital role in this.
arc(r_0045_0001__Scrutiny_r_0045_0002__committees, r_0045_0004__both_r_0045_0009__and, r_0045_0003__in).
arc(r_0045_0004__both_r_0045_0009__and, r_0045_0005__the_r_0045_0006__House, conj1).
arc(r_0045_0004__both_r_0045_0009__and, r_0045_0010__the_r_0045_0011__House, conj2).
arc(r_0045_0005__the_r_0045_0006__House, r_0045_0008__Commons, r_0045_0007__of).
arc(r_0045_0010__the_r_0045_0011__House, r_0045_0013__Lords, r_0045_0012__of).
arc(r_0045_0014__play, r_0045_0001__Scrutiny_r_0045_0002__committees, arg0).
arc(r_0045_0014__play, r_0045_0015__a_r_0045_0017__role, arg1).
arc(r_0045_0014__play, r_0045_0019__this, r_0045_0018__in_clr52).
arc(r_0045_0015__a_r_0045_0017__role, r_0045_0016__vital, attrib44).
fof(formula,axiom,
? [R_45_14_PLAY,R_45_1_SCRUTINY_COMMITTEES,R_45_4_BOTH_AND,R_45_5_THE_HOUSE,R_45_8_COMMONS,R_45_10_THE_HOUSE,R_45_13_LORDS,R_45_15_A_ROLE,R_45_16_VITAL,R_45_19_THIS] :
( commons(R_45_8_COMMONS)
& lords(R_45_13_LORDS)
& vital(R_45_16_VITAL)
& this(R_45_19_THIS)
& play(R_45_14_PLAY,R_45_1_SCRUTINY_COMMITTEES,R_45_15_A_ROLE)
& scrutiny_committees(R_45_1_SCRUTINY_COMMITTEES)
& in(R_45_1_SCRUTINY_COMMITTEES,R_45_4_BOTH_AND)
& both_and(R_45_4_BOTH_AND)
& conj1(R_45_4_BOTH_AND,R_45_5_THE_HOUSE)
& the_House(R_45_5_THE_HOUSE)
& of(R_45_5_THE_HOUSE,R_45_8_COMMONS)
& conj2(R_45_4_BOTH_AND,R_45_10_THE_HOUSE)
& the_House(R_45_10_THE_HOUSE)
& of(R_45_10_THE_HOUSE,R_45_13_LORDS)
& a_role(R_45_15_A_ROLE)
& attrib44(R_45_15_A_ROLE,R_45_16_VITAL)
& in_clr52(R_45_14_PLAY,R_45_19_THIS) ) ).
( (IP-MAT (NP-SBJ (N Scrutiny;{scrutiny})
(NS committees;{committee})
(PP (P-ROLE in;{in})
(NP (NLYR (CONJ both;{both})
(NLYR (D the;{the})
(N House;{house})
(PP (P-ROLE of;{of})
(NP (NS Commons;{common}))))
(CONJP (CONJ and;{and})
(NLYR (D the;{the})
(N House;{house})
(PP (P-ROLE of;{of})
(NP (NS Lords;{lord})))))))))
(VBP;_Tn.pr_ play;{play[in]})
(NP-OB1 (D a;{a})
(ADJP (ADJ vital;{vital}))
(N role;{role}))
(PP-CLR (P-ROLE in;{in})
(NP (D;_nphd_ this;{this})))
(PUNC .))
(ID 45_a_uksc_judgment))