arc(r_0027_0001__But_r_0027_0009__and, r_0027_0004__were_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_0005__not, r_0027_0002__the_r_0027_0003__Commons, arg0).
arc(r_0027_0004__were_r_0027_0005__not, r_0027_0006__the_r_0027_0007__people, prd).
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).

fof(formula,axiom,
    ? [R_0027_0002__THE_R_0027_0003__COMMONS,R_0027_0006__THE_R_0027_0007__PEOPLE,R_0027_0004__WERE_R_0027_0005__NOT,R_0027_0010__EVEN,R_0027_0012__FULL,R_0027_0011__A_R_0027_0013__PARLIAMENT,R_0027_0015__NOT_R_0027_0016__YET,R_0027_0018__TRUE,R_0027_0021__THE_R_0027_0022__NATION,R_0027_0017__A_R_0027_0019__MIRROR,R_0027_0014__WAS,R_0027_0001__BUT_R_0027_0009__AND] :
      ( r_0027_0002__the_r_0027_0003__Commons(R_0027_0002__THE_R_0027_0003__COMMONS)
      & r_0027_0006__the_r_0027_0007__people(R_0027_0006__THE_R_0027_0007__PEOPLE)
      & r_0027_0010__even(R_0027_0010__EVEN)
      & r_0027_0012__full(R_0027_0012__FULL)
      & r_0027_0015__not_r_0027_0016__yet(R_0027_0015__NOT_R_0027_0016__YET)
      & r_0027_0018__true(R_0027_0018__TRUE)
      & r_0027_0021__the_r_0027_0022__nation(R_0027_0021__THE_R_0027_0022__NATION)
      & r_0027_0001__But_r_0027_0009__and(R_0027_0001__BUT_R_0027_0009__AND)
      & has_conj2(R_0027_0001__BUT_R_0027_0009__AND,R_0027_0014__WAS)
      & r_0027_0014__was(R_0027_0014__WAS)
      & has_prd(R_0027_0014__WAS,R_0027_0017__A_R_0027_0019__MIRROR)
      & r_0027_0017__a_r_0027_0019__mirror(R_0027_0017__A_R_0027_0019__MIRROR)
      & has_r_0027_0020__of(R_0027_0017__A_R_0027_0019__MIRROR,R_0027_0021__THE_R_0027_0022__NATION)
      & has_attrib47(R_0027_0017__A_R_0027_0019__MIRROR,R_0027_0018__TRUE)
      & has_nim39(R_0027_0014__WAS,R_0027_0015__NOT_R_0027_0016__YET)
      & has_arg0(R_0027_0014__WAS,R_0027_0011__A_R_0027_0013__PARLIAMENT)
      & r_0027_0011__a_r_0027_0013__parliament(R_0027_0011__A_R_0027_0013__PARLIAMENT)
      & has_attrib32(R_0027_0011__A_R_0027_0013__PARLIAMENT,R_0027_0012__FULL)
      & has_nim26(R_0027_0014__WAS,R_0027_0010__EVEN)
      & has_conj1(R_0027_0001__BUT_R_0027_0009__AND,R_0027_0004__WERE_R_0027_0005__NOT)
      & ~ ( has_prd(R_0027_0004__WERE_R_0027_0005__NOT,R_0027_0006__THE_R_0027_0007__PEOPLE)
          & has_arg0(R_0027_0004__WERE_R_0027_0005__NOT,R_0027_0002__THE_R_0027_0003__COMMONS) ) ) ).

( (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))