Context                Previous, Next                Top


5_a_uksc_judgment
The Government is not directly elected by the people (unlike the position in some other democracies).

%3 r_0005_0003__is is r_0005_0006__elected elected r_0005_0003__is->r_0005_0006__elected [scope] r_0005_0001__The_r_0005_0002__Government The Government r_0005_0006__elected->r_0005_0001__The_r_0005_0002__Government [arg1] r_0005_0005__directly directly r_0005_0006__elected->r_0005_0005__directly [nim] r_0005_0008__the_r_0005_0009__people the people r_0005_0006__elected->r_0005_0008__the_r_0005_0009__people [arg0] r_0005_0004__not not r_0005_0004__not->r_0005_0003__is [keep_scope] 
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).


%3 r_0005_0003__is_r_0005_0006__elected is elected r_0005_0001__The_r_0005_0002__Government The Government r_0005_0003__is_r_0005_0006__elected->r_0005_0001__The_r_0005_0002__Government [arg1] r_0005_0005__directly directly r_0005_0003__is_r_0005_0006__elected->r_0005_0005__directly [nim] r_0005_0008__the_r_0005_0009__people the people r_0005_0003__is_r_0005_0006__elected->r_0005_0008__the_r_0005_0009__people [arg0] r_0005_0004__not not r_0005_0004__not->r_0005_0003__is_r_0005_0006__elected [keep_scope] 
fof(formula,axiom,
    ~ ? [R_5_3_IS_ELECTED,R_5_8_THE_PEOPLE,R_5_1_THE_GOVERNMENT,R_5_5_DIRECTLY] :
        ( the_people(R_5_8_THE_PEOPLE)
        & the_Government(R_5_1_THE_GOVERNMENT)
        & directly(R_5_5_DIRECTLY)
        & is_elected(R_5_3_IS_ELECTED,R_5_8_THE_PEOPLE,R_5_1_THE_GOVERNMENT)
        & nim12(R_5_3_IS_ELECTED,R_5_5_DIRECTLY) ) ).


n5_a_uksc_judgment n5_a_uksc_judgment_4 The n5_a_uksc_judgment_6 Government n5_a_uksc_judgment_8 is n5_a_uksc_judgment_10 not n5_a_uksc_judgment_14 directly n5_a_uksc_judgment_16 elected n5_a_uksc_judgment_19 by n5_a_uksc_judgment_22 the n5_a_uksc_judgment_24 people n5_a_uksc_judgment_26 -LRB- n5_a_uksc_judgment_30 unlike n5_a_uksc_judgment_33 the n5_a_uksc_judgment_35 position n5_a_uksc_judgment_38 in n5_a_uksc_judgment_41 some n5_a_uksc_judgment_44 other n5_a_uksc_judgment_46 democracies n5_a_uksc_judgment_48 -RRB- n5_a_uksc_judgment_50 . n5_a_uksc_judgment_1 IP-MAT n5_a_uksc_judgment_2 NP-SBJ n5_a_uksc_judgment_1->n5_a_uksc_judgment_2 n5_a_uksc_judgment_7 BEP;_cat_VePASS_ n5_a_uksc_judgment_1->n5_a_uksc_judgment_7 n5_a_uksc_judgment_9 NEG n5_a_uksc_judgment_1->n5_a_uksc_judgment_9 n5_a_uksc_judgment_11 IP-PPL-CAT n5_a_uksc_judgment_1->n5_a_uksc_judgment_11 n5_a_uksc_judgment_49 PUNC n5_a_uksc_judgment_1->n5_a_uksc_judgment_49 n5_a_uksc_judgment_3 D n5_a_uksc_judgment_2->n5_a_uksc_judgment_3 n5_a_uksc_judgment_5 N n5_a_uksc_judgment_2->n5_a_uksc_judgment_5 n5_a_uksc_judgment_3->n5_a_uksc_judgment_4 n5_a_uksc_judgment_5->n5_a_uksc_judgment_6 n5_a_uksc_judgment_7->n5_a_uksc_judgment_8 n5_a_uksc_judgment_9->n5_a_uksc_judgment_10 n5_a_uksc_judgment_12 ADVP-NIM n5_a_uksc_judgment_11->n5_a_uksc_judgment_12 n5_a_uksc_judgment_15 VVN;_Tn_ n5_a_uksc_judgment_11->n5_a_uksc_judgment_15 n5_a_uksc_judgment_17 PP-LGS n5_a_uksc_judgment_11->n5_a_uksc_judgment_17 n5_a_uksc_judgment_25 PULB n5_a_uksc_judgment_11->n5_a_uksc_judgment_25 n5_a_uksc_judgment_27 PRN n5_a_uksc_judgment_11->n5_a_uksc_judgment_27 n5_a_uksc_judgment_47 PURB n5_a_uksc_judgment_11->n5_a_uksc_judgment_47 n5_a_uksc_judgment_13 ADV n5_a_uksc_judgment_12->n5_a_uksc_judgment_13 n5_a_uksc_judgment_13->n5_a_uksc_judgment_14 n5_a_uksc_judgment_15->n5_a_uksc_judgment_16 n5_a_uksc_judgment_18 P-ROLE;_lgs_ n5_a_uksc_judgment_17->n5_a_uksc_judgment_18 n5_a_uksc_judgment_20 NP n5_a_uksc_judgment_17->n5_a_uksc_judgment_20 n5_a_uksc_judgment_18->n5_a_uksc_judgment_19 n5_a_uksc_judgment_21 D n5_a_uksc_judgment_20->n5_a_uksc_judgment_21 n5_a_uksc_judgment_23 NS n5_a_uksc_judgment_20->n5_a_uksc_judgment_23 n5_a_uksc_judgment_21->n5_a_uksc_judgment_22 n5_a_uksc_judgment_23->n5_a_uksc_judgment_24 n5_a_uksc_judgment_25->n5_a_uksc_judgment_26 n5_a_uksc_judgment_28 PP n5_a_uksc_judgment_27->n5_a_uksc_judgment_28 n5_a_uksc_judgment_29 P-ROLE n5_a_uksc_judgment_28->n5_a_uksc_judgment_29 n5_a_uksc_judgment_31 NP n5_a_uksc_judgment_28->n5_a_uksc_judgment_31 n5_a_uksc_judgment_29->n5_a_uksc_judgment_30 n5_a_uksc_judgment_32 D n5_a_uksc_judgment_31->n5_a_uksc_judgment_32 n5_a_uksc_judgment_34 N n5_a_uksc_judgment_31->n5_a_uksc_judgment_34 n5_a_uksc_judgment_36 PP n5_a_uksc_judgment_31->n5_a_uksc_judgment_36 n5_a_uksc_judgment_32->n5_a_uksc_judgment_33 n5_a_uksc_judgment_34->n5_a_uksc_judgment_35 n5_a_uksc_judgment_37 P-ROLE n5_a_uksc_judgment_36->n5_a_uksc_judgment_37 n5_a_uksc_judgment_39 NP n5_a_uksc_judgment_36->n5_a_uksc_judgment_39 n5_a_uksc_judgment_37->n5_a_uksc_judgment_38 n5_a_uksc_judgment_40 D n5_a_uksc_judgment_39->n5_a_uksc_judgment_40 n5_a_uksc_judgment_42 ADJP n5_a_uksc_judgment_39->n5_a_uksc_judgment_42 n5_a_uksc_judgment_45 NS n5_a_uksc_judgment_39->n5_a_uksc_judgment_45 n5_a_uksc_judgment_40->n5_a_uksc_judgment_41 n5_a_uksc_judgment_43 ADJ n5_a_uksc_judgment_42->n5_a_uksc_judgment_43 n5_a_uksc_judgment_43->n5_a_uksc_judgment_44 n5_a_uksc_judgment_45->n5_a_uksc_judgment_46 n5_a_uksc_judgment_47->n5_a_uksc_judgment_48 n5_a_uksc_judgment_49->n5_a_uksc_judgment_50 
( (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))