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_0012__members members r_0004_0001__The_r_0004_0002__House The House r_0004_0012__members->r_0004_0001__The_r_0004_0002__House [gen] r_0004_0004__Commons Commons r_0004_0001__The_r_0004_0002__House->r_0004_0004__Commons of r_0004_0009__have_r_0004_0010__elected have elected r_0004_0009__have_r_0004_0010__elected->r_0004_0012__members [arg1] 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_0006__because because r_0004_0006__because->r_0004_0009__have_r_0004_0010__elected [conj1] r_0004_0005__exists exists r_0004_0006__because->r_0004_0005__exists [conj2] r_0004_0005__exists->r_0004_0001__The_r_0004_0002__House [arg0] 
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__1_1_1_1 The n4_a_uksc_judgment__1_1_2_1 House n4_a_uksc_judgment__1_1_3_1_1 of n4_a_uksc_judgment__1_1_3_2_1_1 Commons n4_a_uksc_judgment__1_2_1 exists n4_a_uksc_judgment__1_3_1_1 because n4_a_uksc_judgment__1_3_2_1_1_1 the n4_a_uksc_judgment__1_3_2_1_2_1 people n4_a_uksc_judgment__1_3_2_2_1 have n4_a_uksc_judgment__1_3_2_3_1_1 elected n4_a_uksc_judgment__1_3_2_3_2_1_1_1 its n4_a_uksc_judgment__1_3_2_3_2_2_1 members n4_a_uksc_judgment__1_4_1 . n4_a_uksc_judgment__1 IP-MAT n4_a_uksc_judgment__1_1 NP-SBJ n4_a_uksc_judgment__1->n4_a_uksc_judgment__1_1 n4_a_uksc_judgment__1_2 VBP;_I_ n4_a_uksc_judgment__1->n4_a_uksc_judgment__1_2 n4_a_uksc_judgment__1_3 PP-SCON n4_a_uksc_judgment__1->n4_a_uksc_judgment__1_3 n4_a_uksc_judgment__1_4 PUNC n4_a_uksc_judgment__1->n4_a_uksc_judgment__1_4 n4_a_uksc_judgment__1_1_1 D n4_a_uksc_judgment__1_1->n4_a_uksc_judgment__1_1_1 n4_a_uksc_judgment__1_1_2 N n4_a_uksc_judgment__1_1->n4_a_uksc_judgment__1_1_2 n4_a_uksc_judgment__1_1_3 PP n4_a_uksc_judgment__1_1->n4_a_uksc_judgment__1_1_3 n4_a_uksc_judgment__1_1_1->n4_a_uksc_judgment__1_1_1_1 n4_a_uksc_judgment__1_1_2->n4_a_uksc_judgment__1_1_2_1 n4_a_uksc_judgment__1_1_3_1 P-ROLE n4_a_uksc_judgment__1_1_3->n4_a_uksc_judgment__1_1_3_1 n4_a_uksc_judgment__1_1_3_2 NP n4_a_uksc_judgment__1_1_3->n4_a_uksc_judgment__1_1_3_2 n4_a_uksc_judgment__1_1_3_1->n4_a_uksc_judgment__1_1_3_1_1 n4_a_uksc_judgment__1_1_3_2_1 NS n4_a_uksc_judgment__1_1_3_2->n4_a_uksc_judgment__1_1_3_2_1 n4_a_uksc_judgment__1_1_3_2_1->n4_a_uksc_judgment__1_1_3_2_1_1 n4_a_uksc_judgment__1_2->n4_a_uksc_judgment__1_2_1 n4_a_uksc_judgment__1_3_1 P-CONN n4_a_uksc_judgment__1_3->n4_a_uksc_judgment__1_3_1 n4_a_uksc_judgment__1_3_2 IP-ADV n4_a_uksc_judgment__1_3->n4_a_uksc_judgment__1_3_2 n4_a_uksc_judgment__1_3_1->n4_a_uksc_judgment__1_3_1_1 n4_a_uksc_judgment__1_3_2_1 NP-SBJ n4_a_uksc_judgment__1_3_2->n4_a_uksc_judgment__1_3_2_1 n4_a_uksc_judgment__1_3_2_2 HVP;_cat_Ve_ n4_a_uksc_judgment__1_3_2->n4_a_uksc_judgment__1_3_2_2 n4_a_uksc_judgment__1_3_2_3 IP-PPL-CAT n4_a_uksc_judgment__1_3_2->n4_a_uksc_judgment__1_3_2_3 n4_a_uksc_judgment__1_3_2_1_1 D n4_a_uksc_judgment__1_3_2_1->n4_a_uksc_judgment__1_3_2_1_1 n4_a_uksc_judgment__1_3_2_1_2 NS n4_a_uksc_judgment__1_3_2_1->n4_a_uksc_judgment__1_3_2_1_2 n4_a_uksc_judgment__1_3_2_1_1->n4_a_uksc_judgment__1_3_2_1_1_1 n4_a_uksc_judgment__1_3_2_1_2->n4_a_uksc_judgment__1_3_2_1_2_1 n4_a_uksc_judgment__1_3_2_2->n4_a_uksc_judgment__1_3_2_2_1 n4_a_uksc_judgment__1_3_2_3_1 VVN;_Tn_ n4_a_uksc_judgment__1_3_2_3->n4_a_uksc_judgment__1_3_2_3_1 n4_a_uksc_judgment__1_3_2_3_2 NP-OB1 n4_a_uksc_judgment__1_3_2_3->n4_a_uksc_judgment__1_3_2_3_2 n4_a_uksc_judgment__1_3_2_3_1->n4_a_uksc_judgment__1_3_2_3_1_1 n4_a_uksc_judgment__1_3_2_3_2_1 NP-GEN n4_a_uksc_judgment__1_3_2_3_2->n4_a_uksc_judgment__1_3_2_3_2_1 n4_a_uksc_judgment__1_3_2_3_2_2 NS n4_a_uksc_judgment__1_3_2_3_2->n4_a_uksc_judgment__1_3_2_3_2_2 n4_a_uksc_judgment__1_3_2_3_2_1_1 PRO;_genm_ n4_a_uksc_judgment__1_3_2_3_2_1->n4_a_uksc_judgment__1_3_2_3_2_1_1 n4_a_uksc_judgment__1_3_2_3_2_1_1->n4_a_uksc_judgment__1_3_2_3_2_1_1_1 n4_a_uksc_judgment__1_3_2_3_2_2->n4_a_uksc_judgment__1_3_2_3_2_2_1 n4_a_uksc_judgment__1_4->n4_a_uksc_judgment__1_4_1 
( (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))