Context                Previous, Next                Top


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_0002__after after r_0070_0004___apos_d_r_0070_0005__written 'd written r_0070_0002__after->r_0070_0004___apos_d_r_0070_0005__written [conj1] r_0070_0012__happened happened r_0070_0002__after->r_0070_0012__happened [conj2] r_0070_0003__we we r_0070_0004___apos_d_r_0070_0005__written->r_0070_0003__we [arg0] r_0070_0006__that that r_0070_0004___apos_d_r_0070_0005__written->r_0070_0006__that [arg1] 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_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] 
fof(formula,axiom,
    ? [R_70_2_AFTER,R_70_4__APOS_D_WRITTEN,R_70_3_WE,R_70_6_THAT,R_70_12_HAPPENED,R_70_8_THE_MEETING,R_70_9_GREAT,R_70_10_SHOW_HYPHEN_DOWN,R_70_1_SO] :
      ( we(R_70_3_WE)
      & that(R_70_6_THAT)
      & great(R_70_9_GREAT)
      & show_hyphen_down(R_70_10_SHOW_HYPHEN_DOWN)
      & so(R_70_1_SO)
      & after(R_70_2_AFTER)
      & conj1(R_70_2_AFTER,R_70_4__APOS_D_WRITTEN)
      & _apos_d_written(R_70_4__APOS_D_WRITTEN,R_70_3_WE,R_70_6_THAT)
      & conj2(R_70_2_AFTER,R_70_12_HAPPENED)
      & happened(R_70_12_HAPPENED,R_70_8_THE_MEETING)
      & the_meeting(R_70_8_THE_MEETING)
      & attrib25(R_70_8_THE_MEETING,R_70_9_GREAT)
      & attrib28(R_70_8_THE_MEETING,R_70_10_SHOW_HYPHEN_DOWN)
      & nim2(R_70_12_HAPPENED,R_70_1_SO) ) ).


n70_a_paulfellows n70_a_paulfellows_4 So n70_a_paulfellows_7 after n70_a_paulfellows_11 we n70_a_paulfellows_13 'd n70_a_paulfellows_16 written n70_a_paulfellows_19 that n70_a_paulfellows_21 , n70_a_paulfellows_24 the n70_a_paulfellows_27 great n70_a_paulfellows_30 show-down n70_a_paulfellows_32 meeting n70_a_paulfellows_34 happened n70_a_paulfellows_36 , n70_a_paulfellows_41 as n70_a_paulfellows_45 it n70_a_paulfellows_47 says n70_a_paulfellows_50 here n70_a_paulfellows_52 , n70_a_paulfellows_55 the_ARX_and_the_ARm_on_THURsday n70_a_paulfellows_57 showdown n70_a_paulfellows_59 meeting n70_a_paulfellows_61 . n70_a_paulfellows_1 IP-MAT n70_a_paulfellows_2 ADVP-NIM n70_a_paulfellows_1->n70_a_paulfellows_2 n70_a_paulfellows_5 PP-SCON n70_a_paulfellows_1->n70_a_paulfellows_5 n70_a_paulfellows_20 PUNC n70_a_paulfellows_1->n70_a_paulfellows_20 n70_a_paulfellows_22 NP-SBJ n70_a_paulfellows_1->n70_a_paulfellows_22 n70_a_paulfellows_33 VBD;_I_ n70_a_paulfellows_1->n70_a_paulfellows_33 n70_a_paulfellows_35 PUNC n70_a_paulfellows_1->n70_a_paulfellows_35 n70_a_paulfellows_37 PRN n70_a_paulfellows_1->n70_a_paulfellows_37 n70_a_paulfellows_60 PUNC n70_a_paulfellows_1->n70_a_paulfellows_60 n70_a_paulfellows_3 ADV n70_a_paulfellows_2->n70_a_paulfellows_3 n70_a_paulfellows_3->n70_a_paulfellows_4 n70_a_paulfellows_6 P-CONN n70_a_paulfellows_5->n70_a_paulfellows_6 n70_a_paulfellows_8 IP-ADV n70_a_paulfellows_5->n70_a_paulfellows_8 n70_a_paulfellows_6->n70_a_paulfellows_7 n70_a_paulfellows_9 NP-SBJ n70_a_paulfellows_8->n70_a_paulfellows_9 n70_a_paulfellows_12 HVD;_cat_Ve_ n70_a_paulfellows_8->n70_a_paulfellows_12 n70_a_paulfellows_14 IP-PPL-CAT n70_a_paulfellows_8->n70_a_paulfellows_14 n70_a_paulfellows_10 PRO n70_a_paulfellows_9->n70_a_paulfellows_10 n70_a_paulfellows_10->n70_a_paulfellows_11 n70_a_paulfellows_12->n70_a_paulfellows_13 n70_a_paulfellows_15 VVN;_Tn_ n70_a_paulfellows_14->n70_a_paulfellows_15 n70_a_paulfellows_17 NP-OB1 n70_a_paulfellows_14->n70_a_paulfellows_17 n70_a_paulfellows_15->n70_a_paulfellows_16 n70_a_paulfellows_18 D;_nphd_ n70_a_paulfellows_17->n70_a_paulfellows_18 n70_a_paulfellows_18->n70_a_paulfellows_19 n70_a_paulfellows_20->n70_a_paulfellows_21 n70_a_paulfellows_23 D n70_a_paulfellows_22->n70_a_paulfellows_23 n70_a_paulfellows_25 ADJP n70_a_paulfellows_22->n70_a_paulfellows_25 n70_a_paulfellows_28 ADJP n70_a_paulfellows_22->n70_a_paulfellows_28 n70_a_paulfellows_31 N n70_a_paulfellows_22->n70_a_paulfellows_31 n70_a_paulfellows_23->n70_a_paulfellows_24 n70_a_paulfellows_26 ADJ n70_a_paulfellows_25->n70_a_paulfellows_26 n70_a_paulfellows_26->n70_a_paulfellows_27 n70_a_paulfellows_29 ADJ n70_a_paulfellows_28->n70_a_paulfellows_29 n70_a_paulfellows_29->n70_a_paulfellows_30 n70_a_paulfellows_31->n70_a_paulfellows_32 n70_a_paulfellows_33->n70_a_paulfellows_34 n70_a_paulfellows_35->n70_a_paulfellows_36 n70_a_paulfellows_38 FRAG n70_a_paulfellows_37->n70_a_paulfellows_38 n70_a_paulfellows_39 PP-SCON n70_a_paulfellows_38->n70_a_paulfellows_39 n70_a_paulfellows_51 PUNC n70_a_paulfellows_38->n70_a_paulfellows_51 n70_a_paulfellows_53 NP n70_a_paulfellows_38->n70_a_paulfellows_53 n70_a_paulfellows_40 P-CONN n70_a_paulfellows_39->n70_a_paulfellows_40 n70_a_paulfellows_42 IP-ADV n70_a_paulfellows_39->n70_a_paulfellows_42 n70_a_paulfellows_40->n70_a_paulfellows_41 n70_a_paulfellows_43 NP-SBJ n70_a_paulfellows_42->n70_a_paulfellows_43 n70_a_paulfellows_46 VBP;_I_ n70_a_paulfellows_42->n70_a_paulfellows_46 n70_a_paulfellows_48 ADVP-NIM n70_a_paulfellows_42->n70_a_paulfellows_48 n70_a_paulfellows_44 PRO n70_a_paulfellows_43->n70_a_paulfellows_44 n70_a_paulfellows_44->n70_a_paulfellows_45 n70_a_paulfellows_46->n70_a_paulfellows_47 n70_a_paulfellows_49 ADV n70_a_paulfellows_48->n70_a_paulfellows_49 n70_a_paulfellows_49->n70_a_paulfellows_50 n70_a_paulfellows_51->n70_a_paulfellows_52 n70_a_paulfellows_54 NPR n70_a_paulfellows_53->n70_a_paulfellows_54 n70_a_paulfellows_56 N n70_a_paulfellows_53->n70_a_paulfellows_56 n70_a_paulfellows_58 N n70_a_paulfellows_53->n70_a_paulfellows_58 n70_a_paulfellows_54->n70_a_paulfellows_55 n70_a_paulfellows_56->n70_a_paulfellows_57 n70_a_paulfellows_58->n70_a_paulfellows_59 n70_a_paulfellows_60->n70_a_paulfellows_61 
( (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))