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_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_0005__directly directly r_0005_0003__is_r_0005_0006__elected->r_0005_0005__directly [nim] 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_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__1_1_1_1 The n5_a_uksc_judgment__1_1_2_1 Government n5_a_uksc_judgment__1_2_1 is n5_a_uksc_judgment__1_3_1 not n5_a_uksc_judgment__1_4_1_1_1 directly n5_a_uksc_judgment__1_4_2_1 elected n5_a_uksc_judgment__1_4_3_1_1 by n5_a_uksc_judgment__1_4_3_2_1_1 the n5_a_uksc_judgment__1_4_3_2_2_1 people n5_a_uksc_judgment__1_4_4_1 -LRB- n5_a_uksc_judgment__1_4_5_1_1_1 unlike n5_a_uksc_judgment__1_4_5_1_2_1_1 the n5_a_uksc_judgment__1_4_5_1_2_2_1 position n5_a_uksc_judgment__1_4_5_1_2_3_1_1 in n5_a_uksc_judgment__1_4_5_1_2_3_2_1_1 some n5_a_uksc_judgment__1_4_5_1_2_3_2_2_1_1 other n5_a_uksc_judgment__1_4_5_1_2_3_2_3_1 democracies n5_a_uksc_judgment__1_4_6_1 -RRB- n5_a_uksc_judgment__1_5_1 . n5_a_uksc_judgment__1 IP-MAT n5_a_uksc_judgment__1_1 NP-SBJ n5_a_uksc_judgment__1->n5_a_uksc_judgment__1_1 n5_a_uksc_judgment__1_2 BEP;_cat_VePASS_ n5_a_uksc_judgment__1->n5_a_uksc_judgment__1_2 n5_a_uksc_judgment__1_3 NEG n5_a_uksc_judgment__1->n5_a_uksc_judgment__1_3 n5_a_uksc_judgment__1_4 IP-PPL-CAT n5_a_uksc_judgment__1->n5_a_uksc_judgment__1_4 n5_a_uksc_judgment__1_5 PUNC n5_a_uksc_judgment__1->n5_a_uksc_judgment__1_5 n5_a_uksc_judgment__1_1_1 D n5_a_uksc_judgment__1_1->n5_a_uksc_judgment__1_1_1 n5_a_uksc_judgment__1_1_2 N n5_a_uksc_judgment__1_1->n5_a_uksc_judgment__1_1_2 n5_a_uksc_judgment__1_1_1->n5_a_uksc_judgment__1_1_1_1 n5_a_uksc_judgment__1_1_2->n5_a_uksc_judgment__1_1_2_1 n5_a_uksc_judgment__1_2->n5_a_uksc_judgment__1_2_1 n5_a_uksc_judgment__1_3->n5_a_uksc_judgment__1_3_1 n5_a_uksc_judgment__1_4_1 ADVP-NIM n5_a_uksc_judgment__1_4->n5_a_uksc_judgment__1_4_1 n5_a_uksc_judgment__1_4_2 VVN;_Tn_ n5_a_uksc_judgment__1_4->n5_a_uksc_judgment__1_4_2 n5_a_uksc_judgment__1_4_3 PP-LGS n5_a_uksc_judgment__1_4->n5_a_uksc_judgment__1_4_3 n5_a_uksc_judgment__1_4_4 PULB n5_a_uksc_judgment__1_4->n5_a_uksc_judgment__1_4_4 n5_a_uksc_judgment__1_4_5 PRN n5_a_uksc_judgment__1_4->n5_a_uksc_judgment__1_4_5 n5_a_uksc_judgment__1_4_6 PURB n5_a_uksc_judgment__1_4->n5_a_uksc_judgment__1_4_6 n5_a_uksc_judgment__1_4_1_1 ADV n5_a_uksc_judgment__1_4_1->n5_a_uksc_judgment__1_4_1_1 n5_a_uksc_judgment__1_4_1_1->n5_a_uksc_judgment__1_4_1_1_1 n5_a_uksc_judgment__1_4_2->n5_a_uksc_judgment__1_4_2_1 n5_a_uksc_judgment__1_4_3_1 P-ROLE;_lgs_ n5_a_uksc_judgment__1_4_3->n5_a_uksc_judgment__1_4_3_1 n5_a_uksc_judgment__1_4_3_2 NP n5_a_uksc_judgment__1_4_3->n5_a_uksc_judgment__1_4_3_2 n5_a_uksc_judgment__1_4_3_1->n5_a_uksc_judgment__1_4_3_1_1 n5_a_uksc_judgment__1_4_3_2_1 D n5_a_uksc_judgment__1_4_3_2->n5_a_uksc_judgment__1_4_3_2_1 n5_a_uksc_judgment__1_4_3_2_2 NS n5_a_uksc_judgment__1_4_3_2->n5_a_uksc_judgment__1_4_3_2_2 n5_a_uksc_judgment__1_4_3_2_1->n5_a_uksc_judgment__1_4_3_2_1_1 n5_a_uksc_judgment__1_4_3_2_2->n5_a_uksc_judgment__1_4_3_2_2_1 n5_a_uksc_judgment__1_4_4->n5_a_uksc_judgment__1_4_4_1 n5_a_uksc_judgment__1_4_5_1 PP n5_a_uksc_judgment__1_4_5->n5_a_uksc_judgment__1_4_5_1 n5_a_uksc_judgment__1_4_5_1_1 P-ROLE n5_a_uksc_judgment__1_4_5_1->n5_a_uksc_judgment__1_4_5_1_1 n5_a_uksc_judgment__1_4_5_1_2 NP n5_a_uksc_judgment__1_4_5_1->n5_a_uksc_judgment__1_4_5_1_2 n5_a_uksc_judgment__1_4_5_1_1->n5_a_uksc_judgment__1_4_5_1_1_1 n5_a_uksc_judgment__1_4_5_1_2_1 D n5_a_uksc_judgment__1_4_5_1_2->n5_a_uksc_judgment__1_4_5_1_2_1 n5_a_uksc_judgment__1_4_5_1_2_2 N n5_a_uksc_judgment__1_4_5_1_2->n5_a_uksc_judgment__1_4_5_1_2_2 n5_a_uksc_judgment__1_4_5_1_2_3 PP n5_a_uksc_judgment__1_4_5_1_2->n5_a_uksc_judgment__1_4_5_1_2_3 n5_a_uksc_judgment__1_4_5_1_2_1->n5_a_uksc_judgment__1_4_5_1_2_1_1 n5_a_uksc_judgment__1_4_5_1_2_2->n5_a_uksc_judgment__1_4_5_1_2_2_1 n5_a_uksc_judgment__1_4_5_1_2_3_1 P-ROLE n5_a_uksc_judgment__1_4_5_1_2_3->n5_a_uksc_judgment__1_4_5_1_2_3_1 n5_a_uksc_judgment__1_4_5_1_2_3_2 NP n5_a_uksc_judgment__1_4_5_1_2_3->n5_a_uksc_judgment__1_4_5_1_2_3_2 n5_a_uksc_judgment__1_4_5_1_2_3_1->n5_a_uksc_judgment__1_4_5_1_2_3_1_1 n5_a_uksc_judgment__1_4_5_1_2_3_2_1 D n5_a_uksc_judgment__1_4_5_1_2_3_2->n5_a_uksc_judgment__1_4_5_1_2_3_2_1 n5_a_uksc_judgment__1_4_5_1_2_3_2_2 ADJP n5_a_uksc_judgment__1_4_5_1_2_3_2->n5_a_uksc_judgment__1_4_5_1_2_3_2_2 n5_a_uksc_judgment__1_4_5_1_2_3_2_3 NS n5_a_uksc_judgment__1_4_5_1_2_3_2->n5_a_uksc_judgment__1_4_5_1_2_3_2_3 n5_a_uksc_judgment__1_4_5_1_2_3_2_1->n5_a_uksc_judgment__1_4_5_1_2_3_2_1_1 n5_a_uksc_judgment__1_4_5_1_2_3_2_2_1 ADJ n5_a_uksc_judgment__1_4_5_1_2_3_2_2->n5_a_uksc_judgment__1_4_5_1_2_3_2_2_1 n5_a_uksc_judgment__1_4_5_1_2_3_2_2_1->n5_a_uksc_judgment__1_4_5_1_2_3_2_2_1_1 n5_a_uksc_judgment__1_4_5_1_2_3_2_3->n5_a_uksc_judgment__1_4_5_1_2_3_2_3_1 n5_a_uksc_judgment__1_4_6->n5_a_uksc_judgment__1_4_6_1 n5_a_uksc_judgment__1_5->n5_a_uksc_judgment__1_5_1 
( (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))