( (IP-MAT (ADVP-NIM (ADV So;{so}))
          (PP-SCON (P-CONN after;{after})
                   (IP-ADV (NP-SBJ (PRO we;{we}))
                           (HVD;_cat_Ve_ <apos>d;{have})
                           (IP-PPL-CAT (VVN;_Tn_ written;{write})
                                       (NP-OB1 (D;_nphd_ that;{that})))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (ADJP (ADJ great;{great}))
                  (ADJP (ADJ show_<hyphen>_down;{show_down}))
                  (N meeting;{meeting}))
          (VBD;_I_ happened;{happen})
          (PUNC ,)
          (PRN (FRAG (PP-SCON (P-CONN as;{as})
                              (IP-ADV (NP-SBJ (PRO it;{it}))
                                      (VBP;_I_ says;{say[here]})
                                      (ADVP-NIM (ADV here;{here}))))
                     (PUNC ,)
                     (NP (NLYR (NLYR (NLYR (D the;{the})
                                           (NPR ARX;{ARX}))
                                     (CONJP (CONJ and;{and})
                                            (NLYR (D the;{the})
                                                  (NPR ARm;{ARm})
                                                  (PP (P-ROLE on;{on})
                                                      (NP (NPR THURsday;{THURsday})))))))
                         (ADJP (ADJ showdown;{showdown}))
                         (N meeting;{meeting}))))
          (PUNC .))
  (ID 69_a_paulfellows))

arc(r_0069_0002__after,r_0069_0004___apos_d,restriction).
arc(r_0069_0002__after,r_0069_0012__happened,scope).
arc(r_0069_0004___apos_d,r_0069_0005__written,scope).
arc(r_0069_0005__written,r_0069_0003__we,arg0).
arc(r_0069_0005__written,r_0069_0006__that,arg1).
arc(r_0069_0008__the_r_0069_0011__meeting,r_0069_0009__great,attrib).
arc(r_0069_0008__the_r_0069_0011__meeting,r_0069_0010__show__hyphen__down,attrib).
arc(r_0069_0012__happened,r_0069_0001__So,nim).
arc(r_0069_0012__happened,r_0069_0008__the_r_0069_0011__meeting,arg0).
arc(r_0069_0012__happened,r_0069_0014__as,prn).
arc(r_0069_0014__as,r_0069_0016__says,restriction).
arc(r_0069_0014__as,z_0069_5021,scope).
arc(r_0069_0016__says,r_0069_0015__it,arg0).
arc(r_0069_0016__says,r_0069_0017__here,nim).
arc(r_0069_0021__and,r_0069_0019__the_r_0069_0020__ARX,conj1).
arc(r_0069_0021__and,r_0069_0022__the_r_0069_0023__ARm,conj2).
arc(r_0069_0022__the_r_0069_0023__ARm,r_0069_0025__THURsday,r_0069_0024__on).
arc(r_0069_0027__meeting,r_0069_0021__and,nim).
arc(r_0069_0027__meeting,r_0069_0026__showdown,attrib).
arc(z_0069_5021,r_0069_0027__meeting,z_0069_5014).
arc(z_0069_5021,z_0069_5013,arg0).

fof(formula,axiom,
    ? [R_0069_0003__WE,R_0069_0006__THAT,R_0069_0004___APOS_D_R_0069_0005__WRITTEN,R_0069_0001__SO,R_0069_0009__GREAT,R_0069_0010__SHOW__HYPHEN__DOWN,R_0069_0008__THE_R_0069_0011__MEETING,R_0069_0015__IT,R_0069_0017__HERE,R_0069_0016__SAYS,R_0069_0019__THE_R_0069_0020__ARX,R_0069_0025__THURSDAY,R_0069_0022__THE_R_0069_0023__ARM,R_0069_0021__AND,R_0069_0026__SHOWDOWN,R_0069_0027__MEETING,Z_0069_5013,Z_0069_5021,R_0069_0014__AS,R_0069_0012__HAPPENED,R_0069_0002__AFTER] :
      ( r_0069_0001__So(R_0069_0001__SO)
      & r_0069_0003__we(R_0069_0003__WE)
      & r_0069_0006__that(R_0069_0006__THAT)
      & r_0069_0009__great(R_0069_0009__GREAT)
      & r_0069_0010__show__hyphen__down(R_0069_0010__SHOW__HYPHEN__DOWN)
      & r_0069_0015__it(R_0069_0015__IT)
      & r_0069_0017__here(R_0069_0017__HERE)
      & r_0069_0019__the_r_0069_0020__ARX(R_0069_0019__THE_R_0069_0020__ARX)
      & r_0069_0025__THURsday(R_0069_0025__THURSDAY)
      & r_0069_0026__showdown(R_0069_0026__SHOWDOWN)
      & z_0069_5013(Z_0069_5013)
      & r_0069_0002__after(R_0069_0002__AFTER)
      & has_conj2(R_0069_0002__AFTER,R_0069_0012__HAPPENED)
      & r_0069_0012__happened(R_0069_0012__HAPPENED)
      & has_prn(R_0069_0012__HAPPENED,R_0069_0014__AS)
      & r_0069_0014__as(R_0069_0014__AS)
      & has_conj2(R_0069_0014__AS,Z_0069_5021)
      & z_0069_5021(Z_0069_5021)
      & has_arg0(Z_0069_5021,Z_0069_5013)
      & has_z_0069_5014(Z_0069_5021,R_0069_0027__MEETING)
      & r_0069_0027__meeting(R_0069_0027__MEETING)
      & has_attrib(R_0069_0027__MEETING,R_0069_0026__SHOWDOWN)
      & has_nim(R_0069_0027__MEETING,R_0069_0021__AND)
      & r_0069_0021__and(R_0069_0021__AND)
      & has_conj2(R_0069_0021__AND,R_0069_0022__THE_R_0069_0023__ARM)
      & r_0069_0022__the_r_0069_0023__ARm(R_0069_0022__THE_R_0069_0023__ARM)
      & has_r_0069_0024__on(R_0069_0022__THE_R_0069_0023__ARM,R_0069_0025__THURSDAY)
      & has_conj1(R_0069_0021__AND,R_0069_0019__THE_R_0069_0020__ARX)
      & has_conj1(R_0069_0014__AS,R_0069_0016__SAYS)
      & r_0069_0016__says(R_0069_0016__SAYS)
      & has_nim(R_0069_0016__SAYS,R_0069_0017__HERE)
      & has_arg0(R_0069_0016__SAYS,R_0069_0015__IT)
      & has_arg0(R_0069_0012__HAPPENED,R_0069_0008__THE_R_0069_0011__MEETING)
      & r_0069_0008__the_r_0069_0011__meeting(R_0069_0008__THE_R_0069_0011__MEETING)
      & has_attrib(R_0069_0008__THE_R_0069_0011__MEETING,R_0069_0010__SHOW__HYPHEN__DOWN)
      & has_attrib(R_0069_0008__THE_R_0069_0011__MEETING,R_0069_0009__GREAT)
      & has_nim(R_0069_0012__HAPPENED,R_0069_0001__SO)
      & has_conj1(R_0069_0002__AFTER,R_0069_0004___APOS_D_R_0069_0005__WRITTEN)
      & r_0069_0004___apos_d_r_0069_0005__written(R_0069_0004___APOS_D_R_0069_0005__WRITTEN)
      & has_arg1(R_0069_0004___APOS_D_R_0069_0005__WRITTEN,R_0069_0006__THAT)
      & has_arg0(R_0069_0004___APOS_D_R_0069_0005__WRITTEN,R_0069_0003__WE) ) ).