6_a_uksc_judgment
The Government exists because it has the confidence of the House of Commons.
arc(r_0006_0003__exists, r_0006_0001__The_r_0006_0002__Government, arg0).
arc(r_0006_0004__because, r_0006_0003__exists, scope).
arc(r_0006_0004__because, r_0006_0006__has, restriction).
arc(r_0006_0006__has, r_0006_0001__The_r_0006_0002__Government, arg0).
arc(r_0006_0006__has, r_0006_0007__the_r_0006_0008__confidence, arg1).
arc(r_0006_0007__the_r_0006_0008__confidence, r_0006_0010__the_r_0006_0011__House, r_0006_0009__of).
arc(r_0006_0010__the_r_0006_0011__House, r_0006_0013__Commons, r_0006_0012__of).
fof(formula,axiom,
? [R_6_4_BECAUSE,R_6_6_HAS,R_6_7_THE_CONFIDENCE,R_6_10_THE_HOUSE,R_6_13_COMMONS,R_6_3_EXISTS,R_6_1_THE_GOVERNMENT] :
( commons(R_6_13_COMMONS)
& the_Government(R_6_1_THE_GOVERNMENT)
& because(R_6_4_BECAUSE)
& conj1(R_6_4_BECAUSE,R_6_6_HAS)
& has(R_6_6_HAS,R_6_1_THE_GOVERNMENT,R_6_7_THE_CONFIDENCE)
& the_confidence(R_6_7_THE_CONFIDENCE)
& of(R_6_7_THE_CONFIDENCE,R_6_10_THE_HOUSE)
& the_House(R_6_10_THE_HOUSE)
& of(R_6_10_THE_HOUSE,R_6_13_COMMONS)
& conj2(R_6_4_BECAUSE,R_6_3_EXISTS)
& exists(R_6_3_EXISTS,R_6_1_THE_GOVERNMENT) ) ).
( (IP-MAT (NP-SBJ;{GOVERNMENT} (D The;{the})
(NPR Government;{Government}))
(VBP;_I_ exists;{exist})
(PP-SCON (P-CONN because;{because})
(IP-ADV (NP-SBJ;{GOVERNMENT} (PRO it;{it}))
(HVP;_Tn_ has;{have})
(NP-OB1 (D the;{the})
(N confidence;{confidence})
(PP (P-ROLE of;{of})
(NP;{HOUSE} (D the;{the})
(N House;{house})
(PP (P-ROLE of;{of})
(NP (NS Commons;{common}))))))))
(PUNC .))
(ID 6_a_uksc_judgment))