70_a_paulfellows
So after we'd written that, the great show-down meeting happened, as it says here, the ARX and the ARm on THURsday showdown meeting.

%3 r_0070_0002__after after r_0070_0004___apos_d 'd r_0070_0002__after->r_0070_0004___apos_d [restriction] r_0070_0012__happened happened r_0070_0002__after->r_0070_0012__happened [scope] r_0070_0005__written written r_0070_0004___apos_d->r_0070_0005__written [scope] r_0070_0008__the_r_0070_0011__meeting the meeting r_0070_0012__happened->r_0070_0008__the_r_0070_0011__meeting [arg0] r_0070_0001__So So r_0070_0012__happened->r_0070_0001__So [nim] r_0070_0003__we we r_0070_0005__written->r_0070_0003__we [arg0] r_0070_0006__that that r_0070_0005__written->r_0070_0006__that [arg1] r_0070_0009__great great r_0070_0008__the_r_0070_0011__meeting->r_0070_0009__great [attrib] r_0070_0010__show__hyphen__down show-down r_0070_0008__the_r_0070_0011__meeting->r_0070_0010__show__hyphen__down [attrib]
arc(r_0070_0002__after, r_0070_0004___apos_d, restriction).
arc(r_0070_0002__after, r_0070_0012__happened, scope).
arc(r_0070_0004___apos_d, r_0070_0005__written, scope).
arc(r_0070_0005__written, r_0070_0003__we, arg0).
arc(r_0070_0005__written, r_0070_0006__that, arg1).
arc(r_0070_0008__the_r_0070_0011__meeting, r_0070_0009__great, attrib25).
arc(r_0070_0008__the_r_0070_0011__meeting, r_0070_0010__show__hyphen__down, attrib28).
arc(r_0070_0012__happened, r_0070_0001__So, nim2).
arc(r_0070_0012__happened, r_0070_0008__the_r_0070_0011__meeting, arg0).



%3 r_0070_0012__happened happened r_0070_0008__the_r_0070_0011__meeting the meeting r_0070_0012__happened->r_0070_0008__the_r_0070_0011__meeting [arg0] r_0070_0001__So So r_0070_0012__happened->r_0070_0001__So [nim] r_0070_0010__show__hyphen__down show-down r_0070_0008__the_r_0070_0011__meeting->r_0070_0010__show__hyphen__down [attrib] r_0070_0009__great great r_0070_0008__the_r_0070_0011__meeting->r_0070_0009__great [attrib] r_0070_0004___apos_d_r_0070_0005__written 'd written r_0070_0006__that that r_0070_0004___apos_d_r_0070_0005__written->r_0070_0006__that [arg1] r_0070_0003__we we r_0070_0004___apos_d_r_0070_0005__written->r_0070_0003__we [arg0] r_0070_0002__after after r_0070_0002__after->r_0070_0012__happened [conj2] r_0070_0002__after->r_0070_0004___apos_d_r_0070_0005__written [conj1]
fof(formula,axiom,
    ? [R_0070_0003__WE,R_0070_0006__THAT,R_0070_0004___APOS_D_R_0070_0005__WRITTEN,R_0070_0001__SO,R_0070_0009__GREAT,R_0070_0010__SHOW__HYPHEN__DOWN,R_0070_0008__THE_R_0070_0011__MEETING,R_0070_0012__HAPPENED,R_0070_0002__AFTER] :
      ( r_0070_0001__So(R_0070_0001__SO)
      & r_0070_0003__we(R_0070_0003__WE)
      & r_0070_0006__that(R_0070_0006__THAT)
      & r_0070_0009__great(R_0070_0009__GREAT)
      & r_0070_0010__show__hyphen__down(R_0070_0010__SHOW__HYPHEN__DOWN)
      & r_0070_0002__after(R_0070_0002__AFTER)
      & has_conj2(R_0070_0002__AFTER,R_0070_0012__HAPPENED)
      & r_0070_0012__happened(R_0070_0012__HAPPENED)
      & has_arg0(R_0070_0012__HAPPENED,R_0070_0008__THE_R_0070_0011__MEETING)
      & r_0070_0008__the_r_0070_0011__meeting(R_0070_0008__THE_R_0070_0011__MEETING)
      & has_attrib28(R_0070_0008__THE_R_0070_0011__MEETING,R_0070_0010__SHOW__HYPHEN__DOWN)
      & has_attrib25(R_0070_0008__THE_R_0070_0011__MEETING,R_0070_0009__GREAT)
      & has_nim2(R_0070_0012__HAPPENED,R_0070_0001__SO)
      & has_conj1(R_0070_0002__AFTER,R_0070_0004___APOS_D_R_0070_0005__WRITTEN)
      & r_0070_0004___apos_d_r_0070_0005__written(R_0070_0004___APOS_D_R_0070_0005__WRITTEN)
      & has_arg1(R_0070_0004___APOS_D_R_0070_0005__WRITTEN,R_0070_0006__THAT)
      & has_arg0(R_0070_0004___APOS_D_R_0070_0005__WRITTEN,R_0070_0003__WE) ) ).



n70_a_paulfellows n70_a_paulfellows__1_1_1_1 So n70_a_paulfellows__1_2_1_1 after n70_a_paulfellows__1_2_2_1_1_1 we n70_a_paulfellows__1_2_2_2_1 'd n70_a_paulfellows__1_2_2_3_1_1 written n70_a_paulfellows__1_2_2_3_2_1_1 that n70_a_paulfellows__1_3_1 , n70_a_paulfellows__1_4_1_1 the n70_a_paulfellows__1_4_2_1_1 great n70_a_paulfellows__1_4_3_1_1 show-down n70_a_paulfellows__1_4_4_1 meeting n70_a_paulfellows__1_5_1 happened n70_a_paulfellows__1_6_1 , n70_a_paulfellows__1_7_1_1_1_1 as n70_a_paulfellows__1_7_1_1_2_1_1_1 it n70_a_paulfellows__1_7_1_1_2_2_1 says n70_a_paulfellows__1_7_1_1_2_3_1_1 here n70_a_paulfellows__1_7_1_2_1 , n70_a_paulfellows__1_7_1_3_1_1 the_ARX_and_the_ARm_on_THURsday n70_a_paulfellows__1_7_1_3_2_1 showdown n70_a_paulfellows__1_7_1_3_3_1 meeting n70_a_paulfellows__1_8_1 . n70_a_paulfellows__1 IP-MAT n70_a_paulfellows__1_1 ADVP-NIM n70_a_paulfellows__1->n70_a_paulfellows__1_1 n70_a_paulfellows__1_2 PP-SCON n70_a_paulfellows__1->n70_a_paulfellows__1_2 n70_a_paulfellows__1_3 PUNC n70_a_paulfellows__1->n70_a_paulfellows__1_3 n70_a_paulfellows__1_4 NP-SBJ n70_a_paulfellows__1->n70_a_paulfellows__1_4 n70_a_paulfellows__1_5 VBD;_I_ n70_a_paulfellows__1->n70_a_paulfellows__1_5 n70_a_paulfellows__1_6 PUNC n70_a_paulfellows__1->n70_a_paulfellows__1_6 n70_a_paulfellows__1_7 PRN n70_a_paulfellows__1->n70_a_paulfellows__1_7 n70_a_paulfellows__1_8 PUNC n70_a_paulfellows__1->n70_a_paulfellows__1_8 n70_a_paulfellows__1_1_1 ADV n70_a_paulfellows__1_1->n70_a_paulfellows__1_1_1 n70_a_paulfellows__1_1_1->n70_a_paulfellows__1_1_1_1 n70_a_paulfellows__1_2_1 P-CONN n70_a_paulfellows__1_2->n70_a_paulfellows__1_2_1 n70_a_paulfellows__1_2_2 IP-ADV n70_a_paulfellows__1_2->n70_a_paulfellows__1_2_2 n70_a_paulfellows__1_2_1->n70_a_paulfellows__1_2_1_1 n70_a_paulfellows__1_2_2_1 NP-SBJ n70_a_paulfellows__1_2_2->n70_a_paulfellows__1_2_2_1 n70_a_paulfellows__1_2_2_2 HVD;_cat_Ve_ n70_a_paulfellows__1_2_2->n70_a_paulfellows__1_2_2_2 n70_a_paulfellows__1_2_2_3 IP-PPL-CAT n70_a_paulfellows__1_2_2->n70_a_paulfellows__1_2_2_3 n70_a_paulfellows__1_2_2_1_1 PRO n70_a_paulfellows__1_2_2_1->n70_a_paulfellows__1_2_2_1_1 n70_a_paulfellows__1_2_2_1_1->n70_a_paulfellows__1_2_2_1_1_1 n70_a_paulfellows__1_2_2_2->n70_a_paulfellows__1_2_2_2_1 n70_a_paulfellows__1_2_2_3_1 VVN;_Tn_ n70_a_paulfellows__1_2_2_3->n70_a_paulfellows__1_2_2_3_1 n70_a_paulfellows__1_2_2_3_2 NP-OB1 n70_a_paulfellows__1_2_2_3->n70_a_paulfellows__1_2_2_3_2 n70_a_paulfellows__1_2_2_3_1->n70_a_paulfellows__1_2_2_3_1_1 n70_a_paulfellows__1_2_2_3_2_1 D;_nphd_ n70_a_paulfellows__1_2_2_3_2->n70_a_paulfellows__1_2_2_3_2_1 n70_a_paulfellows__1_2_2_3_2_1->n70_a_paulfellows__1_2_2_3_2_1_1 n70_a_paulfellows__1_3->n70_a_paulfellows__1_3_1 n70_a_paulfellows__1_4_1 D n70_a_paulfellows__1_4->n70_a_paulfellows__1_4_1 n70_a_paulfellows__1_4_2 ADJP n70_a_paulfellows__1_4->n70_a_paulfellows__1_4_2 n70_a_paulfellows__1_4_3 ADJP n70_a_paulfellows__1_4->n70_a_paulfellows__1_4_3 n70_a_paulfellows__1_4_4 N n70_a_paulfellows__1_4->n70_a_paulfellows__1_4_4 n70_a_paulfellows__1_4_1->n70_a_paulfellows__1_4_1_1 n70_a_paulfellows__1_4_2_1 ADJ n70_a_paulfellows__1_4_2->n70_a_paulfellows__1_4_2_1 n70_a_paulfellows__1_4_2_1->n70_a_paulfellows__1_4_2_1_1 n70_a_paulfellows__1_4_3_1 ADJ n70_a_paulfellows__1_4_3->n70_a_paulfellows__1_4_3_1 n70_a_paulfellows__1_4_3_1->n70_a_paulfellows__1_4_3_1_1 n70_a_paulfellows__1_4_4->n70_a_paulfellows__1_4_4_1 n70_a_paulfellows__1_5->n70_a_paulfellows__1_5_1 n70_a_paulfellows__1_6->n70_a_paulfellows__1_6_1 n70_a_paulfellows__1_7_1 FRAG n70_a_paulfellows__1_7->n70_a_paulfellows__1_7_1 n70_a_paulfellows__1_7_1_1 PP-SCON n70_a_paulfellows__1_7_1->n70_a_paulfellows__1_7_1_1 n70_a_paulfellows__1_7_1_2 PUNC n70_a_paulfellows__1_7_1->n70_a_paulfellows__1_7_1_2 n70_a_paulfellows__1_7_1_3 NP n70_a_paulfellows__1_7_1->n70_a_paulfellows__1_7_1_3 n70_a_paulfellows__1_7_1_1_1 P-CONN n70_a_paulfellows__1_7_1_1->n70_a_paulfellows__1_7_1_1_1 n70_a_paulfellows__1_7_1_1_2 IP-ADV n70_a_paulfellows__1_7_1_1->n70_a_paulfellows__1_7_1_1_2 n70_a_paulfellows__1_7_1_1_1->n70_a_paulfellows__1_7_1_1_1_1 n70_a_paulfellows__1_7_1_1_2_1 NP-SBJ n70_a_paulfellows__1_7_1_1_2->n70_a_paulfellows__1_7_1_1_2_1 n70_a_paulfellows__1_7_1_1_2_2 VBP;_I_ n70_a_paulfellows__1_7_1_1_2->n70_a_paulfellows__1_7_1_1_2_2 n70_a_paulfellows__1_7_1_1_2_3 ADVP-NIM n70_a_paulfellows__1_7_1_1_2->n70_a_paulfellows__1_7_1_1_2_3 n70_a_paulfellows__1_7_1_1_2_1_1 PRO n70_a_paulfellows__1_7_1_1_2_1->n70_a_paulfellows__1_7_1_1_2_1_1 n70_a_paulfellows__1_7_1_1_2_1_1->n70_a_paulfellows__1_7_1_1_2_1_1_1 n70_a_paulfellows__1_7_1_1_2_2->n70_a_paulfellows__1_7_1_1_2_2_1 n70_a_paulfellows__1_7_1_1_2_3_1 ADV n70_a_paulfellows__1_7_1_1_2_3->n70_a_paulfellows__1_7_1_1_2_3_1 n70_a_paulfellows__1_7_1_1_2_3_1->n70_a_paulfellows__1_7_1_1_2_3_1_1 n70_a_paulfellows__1_7_1_2->n70_a_paulfellows__1_7_1_2_1 n70_a_paulfellows__1_7_1_3_1 NPR n70_a_paulfellows__1_7_1_3->n70_a_paulfellows__1_7_1_3_1 n70_a_paulfellows__1_7_1_3_2 N n70_a_paulfellows__1_7_1_3->n70_a_paulfellows__1_7_1_3_2 n70_a_paulfellows__1_7_1_3_3 N n70_a_paulfellows__1_7_1_3->n70_a_paulfellows__1_7_1_3_3 n70_a_paulfellows__1_7_1_3_1->n70_a_paulfellows__1_7_1_3_1_1 n70_a_paulfellows__1_7_1_3_2->n70_a_paulfellows__1_7_1_3_2_1 n70_a_paulfellows__1_7_1_3_3->n70_a_paulfellows__1_7_1_3_3_1 n70_a_paulfellows__1_8->n70_a_paulfellows__1_8_1
( (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 (NPR the_ARX_and_the_ARm_on_THURsday)
                         (N showdown;{showdown})
                         (N meeting;{meeting}))))
          (PUNC .))
  (ID 70_a_paulfellows))