5_a_uksc_judgment
The Government is not directly elected by the people (unlike the position in some other democracies).
arc(r_0005_0003__is, r_0005_0006__elected, scope).
arc(r_0005_0004__not, r_0005_0003__is, keep_scope).
arc(r_0005_0006__elected, r_0005_0001__The_r_0005_0002__Government, arg1).
arc(r_0005_0006__elected, r_0005_0005__directly, nim12).
arc(r_0005_0006__elected, r_0005_0008__the_r_0005_0009__people, arg0).
fof(formula,axiom,
~ ? [R_0005_0001__THE_R_0005_0002__GOVERNMENT,R_0005_0005__DIRECTLY,R_0005_0008__THE_R_0005_0009__PEOPLE,R_0005_0003__IS_R_0005_0006__ELECTED] :
( r_0005_0001__The_r_0005_0002__Government(R_0005_0001__THE_R_0005_0002__GOVERNMENT)
& r_0005_0005__directly(R_0005_0005__DIRECTLY)
& r_0005_0008__the_r_0005_0009__people(R_0005_0008__THE_R_0005_0009__PEOPLE)
& r_0005_0003__is_r_0005_0006__elected(R_0005_0003__IS_R_0005_0006__ELECTED)
& has_arg0(R_0005_0003__IS_R_0005_0006__ELECTED,R_0005_0008__THE_R_0005_0009__PEOPLE)
& has_nim12(R_0005_0003__IS_R_0005_0006__ELECTED,R_0005_0005__DIRECTLY)
& has_arg1(R_0005_0003__IS_R_0005_0006__ELECTED,R_0005_0001__THE_R_0005_0002__GOVERNMENT) ) ).
( (IP-MAT (NP-SBJ;{GOVERNMENT} (D The;{the})
(N Government;{government}))
(BEP;_cat_VePASS_ is;{be})
(NEG not;{not})
(IP-PPL-CAT (ADVP-NIM (ADV directly;{directly}))
(VVN;_Tn_ elected;{elect})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (D the;{the})
(NS people;{people})))
(PULB -LRB-)
(PRN (PP (P-ROLE unlike;{unlike})
(NP (D the;{the})
(N position;{position})
(PP (P-ROLE in;{in})
(NP (D some;{some})
(ADJP (ADJ other;{other}))
(NS democracies;{democracy}))))))
(PURB -RRB-))
(PUNC .))
(ID 5_a_uksc_judgment))