( (IP-MAT (ILYR (ILYR (NP-SBJ;{PRIDE} (D The;{the})
                                      (N pride;{pride})
                                      (PP (P-ROLE in;{in})
                                          (CP-QUE (IP-SUB (NP-PRD (WPRO who;{who}))
                                                          (NP-SBJ (PRO we;{we}))
                                                          (BEP;_Ln_ are;{be})))))
                      (BEP;_Ln_ is;{be})
                      (NEG not;{not})
                      (NP-PRD (D a;{a})
                              (N part;{part})
                              (PP (P-ROLE of;{of})
                                  (NP (NP-GEN (PRO;_genm_ our;{our}))
                                      (N past;{past})))))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ;{PRIDE} (PRO it;{it}))
                             (VBP;_Tn_ defines;{define})
                             (NP-OB1 (NLYR (NLYR (NP-GEN (PRO;_genm_ our;{our}))
                                                 (N present;{present}))
                                           (CONJP (CONJ and;{and})
                                                  (NLYR (NP-GEN (PRO;_genm_ our;{our}))
                                                        (N future;{future}))))))))
          (PUNC .))
  (ID 9_a_queen_broadcast))

arc(r_0009_0001__The_r_0009_0002__pride,r_0009_0006__are,r_0009_0003__in).
arc(r_0009_0006__are,r_0009_0004__who,prd).
arc(r_0009_0006__are,r_0009_0005__we,arg0).
arc(r_0009_0007__is,r_0009_0001__The_r_0009_0002__pride,arg0).
arc(r_0009_0007__is,r_0009_0009__a_r_0009_0010__part,prd).
arc(r_0009_0008__not,r_0009_0007__is,keep_scope).
arc(r_0009_0009__a_r_0009_0010__part,r_0009_0013__past,r_0009_0011__of).
arc(r_0009_0013__past,r_0009_0005__we,gen).
arc(r_0009_0016__defines,r_0009_0001__The_r_0009_0002__pride,arg0).
arc(r_0009_0016__defines,r_0009_0019__and,arg1).
arc(r_0009_0018__present,r_0009_0005__we,gen).
arc(r_0009_0019__and,r_0009_0018__present,conj1).
arc(r_0009_0019__and,r_0009_0021__future,conj2).
arc(r_0009_0021__future,r_0009_0005__we,gen).
arc(z_0009_5001,r_0009_0008__not,conj1).
arc(z_0009_5001,r_0009_0016__defines,conj2).

fof(formula,axiom,
    ? [R_0009_0004__WHO,R_0009_0005__WE,R_0009_0006__ARE,R_0009_0001__THE_R_0009_0002__PRIDE,R_0009_0018__PRESENT,R_0009_0021__FUTURE,R_0009_0019__AND,R_0009_0016__DEFINES,Z_0009_5001] :
      ( r_0009_0004__who(R_0009_0004__WHO)
      & r_0009_0005__we(R_0009_0005__WE)
      & z_0009_5001(Z_0009_5001)
      & has_conj2(Z_0009_5001,R_0009_0016__DEFINES)
      & r_0009_0016__defines(R_0009_0016__DEFINES)
      & has_arg1(R_0009_0016__DEFINES,R_0009_0019__AND)
      & r_0009_0019__and(R_0009_0019__AND)
      & has_conj2(R_0009_0019__AND,R_0009_0021__FUTURE)
      & r_0009_0021__future(R_0009_0021__FUTURE)
      & has_gen(R_0009_0021__FUTURE,R_0009_0005__WE)
      & has_conj1(R_0009_0019__AND,R_0009_0018__PRESENT)
      & r_0009_0018__present(R_0009_0018__PRESENT)
      & has_gen(R_0009_0018__PRESENT,R_0009_0005__WE)
      & has_arg0(R_0009_0016__DEFINES,R_0009_0001__THE_R_0009_0002__PRIDE)
      & r_0009_0001__The_r_0009_0002__pride(R_0009_0001__THE_R_0009_0002__PRIDE)
      & has_r_0009_0003__in(R_0009_0001__THE_R_0009_0002__PRIDE,R_0009_0006__ARE)
      & r_0009_0006__are(R_0009_0006__ARE)
      & has_arg0(R_0009_0006__ARE,R_0009_0005__WE)
      & has_prd(R_0009_0006__ARE,R_0009_0004__WHO)
      & has_conj1(Z_0009_5001,R_0009_0008__NOT)
      & ~ ? [R_0009_0013__PAST,R_0009_0009__A_R_0009_0010__PART,R_0009_0007__IS] :
            ( r_0009_0007__is(R_0009_0007__IS)
            & has_prd(R_0009_0007__IS,R_0009_0009__A_R_0009_0010__PART)
            & r_0009_0009__a_r_0009_0010__part(R_0009_0009__A_R_0009_0010__PART)
            & has_r_0009_0011__of(R_0009_0009__A_R_0009_0010__PART,R_0009_0013__PAST)
            & r_0009_0013__past(R_0009_0013__PAST)
            & has_gen(R_0009_0013__PAST,R_0009_0005__WE)
            & has_arg0(R_0009_0007__IS,R_0009_0001__THE_R_0009_0002__PRIDE) ) ) ).