6_a_uksc_judgment
The Government exists because it has the confidence of the House of Commons.
( (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))
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_0006_0001__THE_R_0006_0002__GOVERNMENT,R_0006_0003__EXISTS,R_0006_0013__COMMONS,R_0006_0010__THE_R_0006_0011__HOUSE,R_0006_0007__THE_R_0006_0008__CONFIDENCE,R_0006_0006__HAS,R_0006_0004__BECAUSE] :
( r_0006_0001__The_r_0006_0002__Government(R_0006_0001__THE_R_0006_0002__GOVERNMENT)
& r_0006_0013__Commons(R_0006_0013__COMMONS)
& r_0006_0004__because(R_0006_0004__BECAUSE)
& has_conj1(R_0006_0004__BECAUSE,R_0006_0006__HAS)
& r_0006_0006__has(R_0006_0006__HAS)
& has_arg1(R_0006_0006__HAS,R_0006_0007__THE_R_0006_0008__CONFIDENCE)
& r_0006_0007__the_r_0006_0008__confidence(R_0006_0007__THE_R_0006_0008__CONFIDENCE)
& has_r_0006_0009__of(R_0006_0007__THE_R_0006_0008__CONFIDENCE,R_0006_0010__THE_R_0006_0011__HOUSE)
& r_0006_0010__the_r_0006_0011__House(R_0006_0010__THE_R_0006_0011__HOUSE)
& has_r_0006_0012__of(R_0006_0010__THE_R_0006_0011__HOUSE,R_0006_0013__COMMONS)
& has_arg0(R_0006_0006__HAS,R_0006_0001__THE_R_0006_0002__GOVERNMENT)
& has_conj2(R_0006_0004__BECAUSE,R_0006_0003__EXISTS)
& r_0006_0003__exists(R_0006_0003__EXISTS)
& has_arg0(R_0006_0003__EXISTS,R_0006_0001__THE_R_0006_0002__GOVERNMENT) ) ).