5_a_uksc_judgment
The Government is not directly elected by the people (unlike the position in some other democracies).
( (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))
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,nim).
arc(r_0005_0006__elected,r_0005_0008__the_r_0005_0009__people,r_0005_0007__by_arg0).
arc(r_0005_0006__elected,r_0005_0012__the_r_0005_0013__position,prnr_0005_0011__unlike).
arc(r_0005_0012__the_r_0005_0013__position,r_0005_0015__some_r_0005_0017__democracies,r_0005_0014__in).
arc(r_0005_0015__some_r_0005_0017__democracies,r_0005_0016__other,attrib).
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_0016__OTHER,R_0005_0015__SOME_R_0005_0017__DEMOCRACIES,R_0005_0012__THE_R_0005_0013__POSITION,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_0016__other(R_0005_0016__OTHER)
& r_0005_0003__is_r_0005_0006__elected(R_0005_0003__IS_R_0005_0006__ELECTED)
& has_prnr_0005_0011__unlike(R_0005_0003__IS_R_0005_0006__ELECTED,R_0005_0012__THE_R_0005_0013__POSITION)
& r_0005_0012__the_r_0005_0013__position(R_0005_0012__THE_R_0005_0013__POSITION)
& has_r_0005_0014__in(R_0005_0012__THE_R_0005_0013__POSITION,R_0005_0015__SOME_R_0005_0017__DEMOCRACIES)
& r_0005_0015__some_r_0005_0017__democracies(R_0005_0015__SOME_R_0005_0017__DEMOCRACIES)
& has_attrib(R_0005_0015__SOME_R_0005_0017__DEMOCRACIES,R_0005_0016__OTHER)
& has_r_0005_0007__by_arg0(R_0005_0003__IS_R_0005_0006__ELECTED,R_0005_0008__THE_R_0005_0009__PEOPLE)
& has_nim(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) ) ).