27_a_lob_g01
But the Commons were not the people, and even a full parliament was not yet a true mirror of the nation.

%3 r_0027_0001__But_r_0027_0009__and But and r_0027_0005__not not r_0027_0001__But_r_0027_0009__and->r_0027_0005__not [conj1] r_0027_0014__was was r_0027_0001__But_r_0027_0009__and->r_0027_0014__was [conj2] r_0027_0004__were were r_0027_0005__not->r_0027_0004__were [keep_scope] r_0027_0011__a_r_0027_0013__parliament a parliament r_0027_0014__was->r_0027_0011__a_r_0027_0013__parliament [arg0] r_0027_0010__even even r_0027_0014__was->r_0027_0010__even [nim] r_0027_0015__not_r_0027_0016__yet not yet r_0027_0014__was->r_0027_0015__not_r_0027_0016__yet [nim] r_0027_0017__a_r_0027_0019__mirror a mirror r_0027_0014__was->r_0027_0017__a_r_0027_0019__mirror [prd] r_0027_0002__the_r_0027_0003__Commons the Commons r_0027_0004__were->r_0027_0002__the_r_0027_0003__Commons [arg0] r_0027_0006__the_r_0027_0007__people the people r_0027_0004__were->r_0027_0006__the_r_0027_0007__people [prd] r_0027_0012__full full r_0027_0011__a_r_0027_0013__parliament->r_0027_0012__full [attrib] r_0027_0018__true true r_0027_0017__a_r_0027_0019__mirror->r_0027_0018__true [attrib] r_0027_0021__the_r_0027_0022__nation the nation r_0027_0017__a_r_0027_0019__mirror->r_0027_0021__the_r_0027_0022__nation of
arc(r_0027_0001__But_r_0027_0009__and, r_0027_0005__not, conj1).
arc(r_0027_0001__But_r_0027_0009__and, r_0027_0014__was, conj2).
arc(r_0027_0004__were, r_0027_0002__the_r_0027_0003__Commons, arg0).
arc(r_0027_0004__were, r_0027_0006__the_r_0027_0007__people, prd).
arc(r_0027_0005__not, r_0027_0004__were, keep_scope).
arc(r_0027_0011__a_r_0027_0013__parliament, r_0027_0012__full, attrib32).
arc(r_0027_0014__was, r_0027_0010__even, nim26).
arc(r_0027_0014__was, r_0027_0011__a_r_0027_0013__parliament, arg0).
arc(r_0027_0014__was, r_0027_0015__not_r_0027_0016__yet, nim39).
arc(r_0027_0014__was, r_0027_0017__a_r_0027_0019__mirror, prd).
arc(r_0027_0017__a_r_0027_0019__mirror, r_0027_0018__true, attrib47).
arc(r_0027_0017__a_r_0027_0019__mirror, r_0027_0021__the_r_0027_0022__nation, r_0027_0020__of).



%3 r_0027_0017__a_r_0027_0019__mirror a mirror r_0027_0021__the_r_0027_0022__nation the nation r_0027_0017__a_r_0027_0019__mirror->r_0027_0021__the_r_0027_0022__nation of r_0027_0018__true true r_0027_0017__a_r_0027_0019__mirror->r_0027_0018__true [attrib] r_0027_0014__was was r_0027_0014__was->r_0027_0017__a_r_0027_0019__mirror [prd] r_0027_0015__not_r_0027_0016__yet not yet r_0027_0014__was->r_0027_0015__not_r_0027_0016__yet [nim] r_0027_0011__a_r_0027_0013__parliament a parliament r_0027_0014__was->r_0027_0011__a_r_0027_0013__parliament [arg0] r_0027_0010__even even r_0027_0014__was->r_0027_0010__even [nim] r_0027_0012__full full r_0027_0011__a_r_0027_0013__parliament->r_0027_0012__full [attrib] r_0027_0005__not not r_0027_0004__were were r_0027_0005__not->r_0027_0004__were [keep_scope] r_0027_0006__the_r_0027_0007__people the people r_0027_0004__were->r_0027_0006__the_r_0027_0007__people [prd] r_0027_0002__the_r_0027_0003__Commons the Commons r_0027_0004__were->r_0027_0002__the_r_0027_0003__Commons [arg0] r_0027_0001__But_r_0027_0009__and But and r_0027_0001__But_r_0027_0009__and->r_0027_0014__was [conj2] r_0027_0001__But_r_0027_0009__and->r_0027_0005__not [conj1]
fof(formula,axiom,
    ? [R_27_1_BUT_AND,R_27_14_WAS,R_27_11_A_PARLIAMENT,R_27_12_FULL,R_27_10_EVEN,R_27_15_NOT_YET,R_27_17_A_MIRROR,R_27_18_TRUE,R_27_21_THE_NATION] :
      ( full(R_27_12_FULL)
      & even(R_27_10_EVEN)
      & not_yet(R_27_15_NOT_YET)
      & true(R_27_18_TRUE)
      & the_nation(R_27_21_THE_NATION)
      & but_and(R_27_1_BUT_AND)
      & conj1(R_27_1_BUT_AND,R_27_5_NOT)
      & ~ ? [R_27_4_WERE,R_27_2_THE_COMMONS,R_27_6_THE_PEOPLE] :
            ( the_Commons(R_27_2_THE_COMMONS)
            & the_people(R_27_6_THE_PEOPLE)
            & were(R_27_4_WERE,R_27_2_THE_COMMONS,R_27_6_THE_PEOPLE) )
      & conj2(R_27_1_BUT_AND,R_27_14_WAS)
      & was(R_27_14_WAS,R_27_11_A_PARLIAMENT,R_27_17_A_MIRROR)
      & a_parliament(R_27_11_A_PARLIAMENT)
      & attrib32(R_27_11_A_PARLIAMENT,R_27_12_FULL)
      & a_mirror(R_27_17_A_MIRROR)
      & attrib47(R_27_17_A_MIRROR,R_27_18_TRUE)
      & of(R_27_17_A_MIRROR,R_27_21_THE_NATION)
      & nim26(R_27_14_WAS,R_27_10_EVEN)
      & nim39(R_27_14_WAS,R_27_15_NOT_YET) ) ).



n27_a_lob_g01 n27_a_lob_g01__1_1_1_1 But n27_a_lob_g01__1_1_2_1_1_1 the n27_a_lob_g01__1_1_2_1_2_1 Commons n27_a_lob_g01__1_1_2_2_1 were n27_a_lob_g01__1_1_2_3_1 not n27_a_lob_g01__1_1_2_4_1_1 the n27_a_lob_g01__1_1_2_4_2_1 people n27_a_lob_g01__1_1_3_1 , n27_a_lob_g01__1_1_4_1_1 and n27_a_lob_g01__1_1_4_2_1_1_1 even n27_a_lob_g01__1_1_4_2_2_1_1 a n27_a_lob_g01__1_1_4_2_2_2_1_1 full n27_a_lob_g01__1_1_4_2_2_3_1 parliament n27_a_lob_g01__1_1_4_2_3_1 was n27_a_lob_g01__1_1_4_2_4_1_1 not n27_a_lob_g01__1_1_4_2_4_2_1 yet n27_a_lob_g01__1_1_4_2_5_1_1 a n27_a_lob_g01__1_1_4_2_5_2_1_1 true n27_a_lob_g01__1_1_4_2_5_3_1 mirror n27_a_lob_g01__1_1_4_2_5_4_1_1 of n27_a_lob_g01__1_1_4_2_5_4_2_1_1 the n27_a_lob_g01__1_1_4_2_5_4_2_2_1 nation n27_a_lob_g01__1_2_1 . n27_a_lob_g01__1 IP-MAT n27_a_lob_g01__1_1 ILYR n27_a_lob_g01__1->n27_a_lob_g01__1_1 n27_a_lob_g01__1_2 PUNC n27_a_lob_g01__1->n27_a_lob_g01__1_2 n27_a_lob_g01__1_1_1 CONJ;_cl_ n27_a_lob_g01__1_1->n27_a_lob_g01__1_1_1 n27_a_lob_g01__1_1_2 ILYR n27_a_lob_g01__1_1->n27_a_lob_g01__1_1_2 n27_a_lob_g01__1_1_3 PUNC n27_a_lob_g01__1_1->n27_a_lob_g01__1_1_3 n27_a_lob_g01__1_1_4 CONJP n27_a_lob_g01__1_1->n27_a_lob_g01__1_1_4 n27_a_lob_g01__1_1_1->n27_a_lob_g01__1_1_1_1 n27_a_lob_g01__1_1_2_1 NP-SBJ n27_a_lob_g01__1_1_2->n27_a_lob_g01__1_1_2_1 n27_a_lob_g01__1_1_2_2 BED;_Ln_ n27_a_lob_g01__1_1_2->n27_a_lob_g01__1_1_2_2 n27_a_lob_g01__1_1_2_3 NEG n27_a_lob_g01__1_1_2->n27_a_lob_g01__1_1_2_3 n27_a_lob_g01__1_1_2_4 NP-PRD n27_a_lob_g01__1_1_2->n27_a_lob_g01__1_1_2_4 n27_a_lob_g01__1_1_2_1_1 D n27_a_lob_g01__1_1_2_1->n27_a_lob_g01__1_1_2_1_1 n27_a_lob_g01__1_1_2_1_2 NPR n27_a_lob_g01__1_1_2_1->n27_a_lob_g01__1_1_2_1_2 n27_a_lob_g01__1_1_2_1_1->n27_a_lob_g01__1_1_2_1_1_1 n27_a_lob_g01__1_1_2_1_2->n27_a_lob_g01__1_1_2_1_2_1 n27_a_lob_g01__1_1_2_2->n27_a_lob_g01__1_1_2_2_1 n27_a_lob_g01__1_1_2_3->n27_a_lob_g01__1_1_2_3_1 n27_a_lob_g01__1_1_2_4_1 D n27_a_lob_g01__1_1_2_4->n27_a_lob_g01__1_1_2_4_1 n27_a_lob_g01__1_1_2_4_2 NS n27_a_lob_g01__1_1_2_4->n27_a_lob_g01__1_1_2_4_2 n27_a_lob_g01__1_1_2_4_1->n27_a_lob_g01__1_1_2_4_1_1 n27_a_lob_g01__1_1_2_4_2->n27_a_lob_g01__1_1_2_4_2_1 n27_a_lob_g01__1_1_3->n27_a_lob_g01__1_1_3_1 n27_a_lob_g01__1_1_4_1 CONJ n27_a_lob_g01__1_1_4->n27_a_lob_g01__1_1_4_1 n27_a_lob_g01__1_1_4_2 ILYR n27_a_lob_g01__1_1_4->n27_a_lob_g01__1_1_4_2 n27_a_lob_g01__1_1_4_1->n27_a_lob_g01__1_1_4_1_1 n27_a_lob_g01__1_1_4_2_1 ADVP-NIM n27_a_lob_g01__1_1_4_2->n27_a_lob_g01__1_1_4_2_1 n27_a_lob_g01__1_1_4_2_2 NP-SBJ n27_a_lob_g01__1_1_4_2->n27_a_lob_g01__1_1_4_2_2 n27_a_lob_g01__1_1_4_2_3 BED;_Ln_ n27_a_lob_g01__1_1_4_2->n27_a_lob_g01__1_1_4_2_3 n27_a_lob_g01__1_1_4_2_4 ADVP-NIM n27_a_lob_g01__1_1_4_2->n27_a_lob_g01__1_1_4_2_4 n27_a_lob_g01__1_1_4_2_5 NP-PRD n27_a_lob_g01__1_1_4_2->n27_a_lob_g01__1_1_4_2_5 n27_a_lob_g01__1_1_4_2_1_1 ADV n27_a_lob_g01__1_1_4_2_1->n27_a_lob_g01__1_1_4_2_1_1 n27_a_lob_g01__1_1_4_2_1_1->n27_a_lob_g01__1_1_4_2_1_1_1 n27_a_lob_g01__1_1_4_2_2_1 D n27_a_lob_g01__1_1_4_2_2->n27_a_lob_g01__1_1_4_2_2_1 n27_a_lob_g01__1_1_4_2_2_2 ADJP n27_a_lob_g01__1_1_4_2_2->n27_a_lob_g01__1_1_4_2_2_2 n27_a_lob_g01__1_1_4_2_2_3 N n27_a_lob_g01__1_1_4_2_2->n27_a_lob_g01__1_1_4_2_2_3 n27_a_lob_g01__1_1_4_2_2_1->n27_a_lob_g01__1_1_4_2_2_1_1 n27_a_lob_g01__1_1_4_2_2_2_1 ADJ n27_a_lob_g01__1_1_4_2_2_2->n27_a_lob_g01__1_1_4_2_2_2_1 n27_a_lob_g01__1_1_4_2_2_2_1->n27_a_lob_g01__1_1_4_2_2_2_1_1 n27_a_lob_g01__1_1_4_2_2_3->n27_a_lob_g01__1_1_4_2_2_3_1 n27_a_lob_g01__1_1_4_2_3->n27_a_lob_g01__1_1_4_2_3_1 n27_a_lob_g01__1_1_4_2_4_1 NEG n27_a_lob_g01__1_1_4_2_4->n27_a_lob_g01__1_1_4_2_4_1 n27_a_lob_g01__1_1_4_2_4_2 ADV n27_a_lob_g01__1_1_4_2_4->n27_a_lob_g01__1_1_4_2_4_2 n27_a_lob_g01__1_1_4_2_4_1->n27_a_lob_g01__1_1_4_2_4_1_1 n27_a_lob_g01__1_1_4_2_4_2->n27_a_lob_g01__1_1_4_2_4_2_1 n27_a_lob_g01__1_1_4_2_5_1 D n27_a_lob_g01__1_1_4_2_5->n27_a_lob_g01__1_1_4_2_5_1 n27_a_lob_g01__1_1_4_2_5_2 ADJP n27_a_lob_g01__1_1_4_2_5->n27_a_lob_g01__1_1_4_2_5_2 n27_a_lob_g01__1_1_4_2_5_3 N n27_a_lob_g01__1_1_4_2_5->n27_a_lob_g01__1_1_4_2_5_3 n27_a_lob_g01__1_1_4_2_5_4 PP n27_a_lob_g01__1_1_4_2_5->n27_a_lob_g01__1_1_4_2_5_4 n27_a_lob_g01__1_1_4_2_5_1->n27_a_lob_g01__1_1_4_2_5_1_1 n27_a_lob_g01__1_1_4_2_5_2_1 ADJ n27_a_lob_g01__1_1_4_2_5_2->n27_a_lob_g01__1_1_4_2_5_2_1 n27_a_lob_g01__1_1_4_2_5_2_1->n27_a_lob_g01__1_1_4_2_5_2_1_1 n27_a_lob_g01__1_1_4_2_5_3->n27_a_lob_g01__1_1_4_2_5_3_1 n27_a_lob_g01__1_1_4_2_5_4_1 P-ROLE n27_a_lob_g01__1_1_4_2_5_4->n27_a_lob_g01__1_1_4_2_5_4_1 n27_a_lob_g01__1_1_4_2_5_4_2 NP n27_a_lob_g01__1_1_4_2_5_4->n27_a_lob_g01__1_1_4_2_5_4_2 n27_a_lob_g01__1_1_4_2_5_4_1->n27_a_lob_g01__1_1_4_2_5_4_1_1 n27_a_lob_g01__1_1_4_2_5_4_2_1 D n27_a_lob_g01__1_1_4_2_5_4_2->n27_a_lob_g01__1_1_4_2_5_4_2_1 n27_a_lob_g01__1_1_4_2_5_4_2_2 N n27_a_lob_g01__1_1_4_2_5_4_2->n27_a_lob_g01__1_1_4_2_5_4_2_2 n27_a_lob_g01__1_1_4_2_5_4_2_1->n27_a_lob_g01__1_1_4_2_5_4_2_1_1 n27_a_lob_g01__1_1_4_2_5_4_2_2->n27_a_lob_g01__1_1_4_2_5_4_2_2_1 n27_a_lob_g01__1_2->n27_a_lob_g01__1_2_1
( (IP-MAT (ILYR (CONJ;_cl_ But;{but})
                (ILYR (NP-SBJ (D the;{the})
                              (NPR Commons;{Commons}))
                      (BED;_Ln_ were;{be})
                      (NEG not;{not})
                      (NP-PRD (D the;{the})
                              (NS people;{people})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (ADVP-NIM (ADV even;{even}))
                             (NP-SBJ (D a;{a})
                                     (ADJP (ADJ full;{full}))
                                     (N parliament;{parliament}))
                             (BED;_Ln_ was;{be})
                             (ADVP-NIM (NEG not;{not})
                                       (ADV yet;{yet}))
                             (NP-PRD (D a;{a})
                                     (ADJP (ADJ true;{true}))
                                     (N mirror;{mirror})
                                     (PP (P-ROLE of;{of})
                                         (NP (D the;{the})
                                             (N nation;{nation})))))))
          (PUNC .))
  (ID 27_a_lob_g01))