Context                Previous, Next                Top


4_a_uksc_judgment
The House of Commons exists because the people have elected its members.

%3 r_0004_0001__The_r_0004_0002__House The House r_0004_0004__Commons Commons r_0004_0001__The_r_0004_0002__House->r_0004_0004__Commons of r_0004_0005__exists exists r_0004_0005__exists->r_0004_0001__The_r_0004_0002__House [arg0] r_0004_0006__because because r_0004_0006__because->r_0004_0005__exists [scope] r_0004_0009__have have r_0004_0006__because->r_0004_0009__have [restriction] r_0004_0010__elected elected r_0004_0009__have->r_0004_0010__elected [scope] r_0004_0007__the_r_0004_0008__people the people r_0004_0010__elected->r_0004_0007__the_r_0004_0008__people [arg0] r_0004_0012__members members r_0004_0010__elected->r_0004_0012__members [arg1] r_0004_0012__members->r_0004_0001__The_r_0004_0002__House [gen] 
arc(r_0004_0001__The_r_0004_0002__House, r_0004_0004__Commons, r_0004_0003__of).
arc(r_0004_0005__exists, r_0004_0001__The_r_0004_0002__House, arg0).
arc(r_0004_0006__because, r_0004_0005__exists, scope).
arc(r_0004_0006__because, r_0004_0009__have, restriction).
arc(r_0004_0009__have, r_0004_0010__elected, scope).
arc(r_0004_0010__elected, r_0004_0007__the_r_0004_0008__people, arg0).
arc(r_0004_0010__elected, r_0004_0012__members, arg1).
arc(r_0004_0012__members, r_0004_0001__The_r_0004_0002__House, gen).


%3 r_0004_0001__The_r_0004_0002__House The House r_0004_0004__Commons Commons r_0004_0001__The_r_0004_0002__House->r_0004_0004__Commons of r_0004_0005__exists exists r_0004_0005__exists->r_0004_0001__The_r_0004_0002__House [arg0] r_0004_0006__because because r_0004_0006__because->r_0004_0005__exists [conj2] r_0004_0009__have_r_0004_0010__elected have elected r_0004_0006__because->r_0004_0009__have_r_0004_0010__elected [conj1] r_0004_0007__the_r_0004_0008__people the people r_0004_0009__have_r_0004_0010__elected->r_0004_0007__the_r_0004_0008__people [arg0] r_0004_0012__members members r_0004_0009__have_r_0004_0010__elected->r_0004_0012__members [arg1] r_0004_0012__members->r_0004_0001__The_r_0004_0002__House [gen] 
fof(formula,axiom,
    ? [R_4_6_BECAUSE,R_4_9_HAVE_ELECTED,R_4_7_THE_PEOPLE,R_4_12_MEMBERS,R_4_5_EXISTS,R_4_1_THE_HOUSE,R_4_4_COMMONS] :
      ( the_people(R_4_7_THE_PEOPLE)
      & commons(R_4_4_COMMONS)
      & because(R_4_6_BECAUSE)
      & conj1(R_4_6_BECAUSE,R_4_9_HAVE_ELECTED)
      & have_elected(R_4_9_HAVE_ELECTED,R_4_7_THE_PEOPLE,R_4_12_MEMBERS)
      & members(R_4_12_MEMBERS)
      & gen(R_4_12_MEMBERS,R_4_1_THE_HOUSE)
      & the_House(R_4_1_THE_HOUSE)
      & of(R_4_1_THE_HOUSE,R_4_4_COMMONS)
      & conj2(R_4_6_BECAUSE,R_4_5_EXISTS)
      & exists(R_4_5_EXISTS,R_4_1_THE_HOUSE) ) ).


n4_a_uksc_judgment n4_a_uksc_judgment_4 The n4_a_uksc_judgment_6 House n4_a_uksc_judgment_9 of n4_a_uksc_judgment_12 Commons n4_a_uksc_judgment_14 exists n4_a_uksc_judgment_17 because n4_a_uksc_judgment_21 the n4_a_uksc_judgment_23 people n4_a_uksc_judgment_25 have n4_a_uksc_judgment_28 elected n4_a_uksc_judgment_32 its n4_a_uksc_judgment_34 members n4_a_uksc_judgment_36 . n4_a_uksc_judgment_1 IP-MAT n4_a_uksc_judgment_2 NP-SBJ n4_a_uksc_judgment_1->n4_a_uksc_judgment_2 n4_a_uksc_judgment_13 VBP;_I_ n4_a_uksc_judgment_1->n4_a_uksc_judgment_13 n4_a_uksc_judgment_15 PP-SCON n4_a_uksc_judgment_1->n4_a_uksc_judgment_15 n4_a_uksc_judgment_35 PUNC n4_a_uksc_judgment_1->n4_a_uksc_judgment_35 n4_a_uksc_judgment_3 D n4_a_uksc_judgment_2->n4_a_uksc_judgment_3 n4_a_uksc_judgment_5 N n4_a_uksc_judgment_2->n4_a_uksc_judgment_5 n4_a_uksc_judgment_7 PP n4_a_uksc_judgment_2->n4_a_uksc_judgment_7 n4_a_uksc_judgment_3->n4_a_uksc_judgment_4 n4_a_uksc_judgment_5->n4_a_uksc_judgment_6 n4_a_uksc_judgment_8 P-ROLE n4_a_uksc_judgment_7->n4_a_uksc_judgment_8 n4_a_uksc_judgment_10 NP n4_a_uksc_judgment_7->n4_a_uksc_judgment_10 n4_a_uksc_judgment_8->n4_a_uksc_judgment_9 n4_a_uksc_judgment_11 NS n4_a_uksc_judgment_10->n4_a_uksc_judgment_11 n4_a_uksc_judgment_11->n4_a_uksc_judgment_12 n4_a_uksc_judgment_13->n4_a_uksc_judgment_14 n4_a_uksc_judgment_16 P-CONN n4_a_uksc_judgment_15->n4_a_uksc_judgment_16 n4_a_uksc_judgment_18 IP-ADV n4_a_uksc_judgment_15->n4_a_uksc_judgment_18 n4_a_uksc_judgment_16->n4_a_uksc_judgment_17 n4_a_uksc_judgment_19 NP-SBJ n4_a_uksc_judgment_18->n4_a_uksc_judgment_19 n4_a_uksc_judgment_24 HVP;_cat_Ve_ n4_a_uksc_judgment_18->n4_a_uksc_judgment_24 n4_a_uksc_judgment_26 IP-PPL-CAT n4_a_uksc_judgment_18->n4_a_uksc_judgment_26 n4_a_uksc_judgment_20 D n4_a_uksc_judgment_19->n4_a_uksc_judgment_20 n4_a_uksc_judgment_22 NS n4_a_uksc_judgment_19->n4_a_uksc_judgment_22 n4_a_uksc_judgment_20->n4_a_uksc_judgment_21 n4_a_uksc_judgment_22->n4_a_uksc_judgment_23 n4_a_uksc_judgment_24->n4_a_uksc_judgment_25 n4_a_uksc_judgment_27 VVN;_Tn_ n4_a_uksc_judgment_26->n4_a_uksc_judgment_27 n4_a_uksc_judgment_29 NP-OB1 n4_a_uksc_judgment_26->n4_a_uksc_judgment_29 n4_a_uksc_judgment_27->n4_a_uksc_judgment_28 n4_a_uksc_judgment_30 NP-GEN n4_a_uksc_judgment_29->n4_a_uksc_judgment_30 n4_a_uksc_judgment_33 NS n4_a_uksc_judgment_29->n4_a_uksc_judgment_33 n4_a_uksc_judgment_31 PRO;_genm_ n4_a_uksc_judgment_30->n4_a_uksc_judgment_31 n4_a_uksc_judgment_31->n4_a_uksc_judgment_32 n4_a_uksc_judgment_33->n4_a_uksc_judgment_34 n4_a_uksc_judgment_35->n4_a_uksc_judgment_36 
( (IP-MAT (NP-SBJ;{HOUSE} (D The;{the})
                          (N House;{house})
                          (PP (P-ROLE of;{of})
                              (NP (NS Commons;{common}))))
          (VBP;_I_ exists;{exist})
          (PP-SCON (P-CONN because;{because})
                   (IP-ADV (NP-SBJ (D the;{the})
                                   (NS people;{people}))
                           (HVP;_cat_Ve_ have;{have})
                           (IP-PPL-CAT (VVN;_Tn_ elected;{elect})
                                       (NP-OB1 (NP-GEN;{HOUSE} (PRO;_genm_ its;{its}))
                                               (NS members;{member})))))
          (PUNC .))
  (ID 4_a_uksc_judgment))