Context                Previous, Next                Top


14_a_history_of_qed
(TECO, which grew into Emacs, was approximately contemporaneous or just a bit later, and elaborated these ideas independently).

%3 r_0014_0005__grew grew r_0014_0002__TECO TECO r_0014_0005__grew->r_0014_0002__TECO [arg0] r_0014_0007__Emacs Emacs r_0014_0005__grew->r_0014_0007__Emacs into [nim] r_0014_0009__was was r_0014_0009__was->r_0014_0002__TECO [arg0] r_0014_0012__or or r_0014_0009__was->r_0014_0012__or [prd] r_0014_0011__contemporaneous contemporaneous r_0014_0012__or->r_0014_0011__contemporaneous [conj1] r_0014_0016__later later r_0014_0012__or->r_0014_0016__later [conj2] r_0014_0010__approximately approximately r_0014_0011__contemporaneous->r_0014_0010__approximately [qual] r_0014_0014__a_r_0014_0015__bit a bit r_0014_0016__later->r_0014_0014__a_r_0014_0015__bit [nim] r_0014_0013__just just r_0014_0014__a_r_0014_0015__bit->r_0014_0013__just [qual] r_0014_0018__and and r_0014_0018__and->r_0014_0009__was [conj1] r_0014_0019__elaborated elaborated r_0014_0018__and->r_0014_0019__elaborated [conj2] r_0014_0019__elaborated->r_0014_0002__TECO [arg0] r_0014_0020__these_r_0014_0021__ideas these ideas r_0014_0019__elaborated->r_0014_0020__these_r_0014_0021__ideas [arg1] r_0014_0022__independently independently r_0014_0019__elaborated->r_0014_0022__independently [nim] 
arc(r_0014_0005__grew, r_0014_0002__TECO, arg0).
arc(r_0014_0005__grew, r_0014_0007__Emacs, r_0014_0006__into_nim18).
arc(r_0014_0009__was, r_0014_0002__TECO, arg0).
arc(r_0014_0009__was, r_0014_0012__or, prd).
arc(r_0014_0011__contemporaneous, r_0014_0010__approximately, qual30).
arc(r_0014_0012__or, r_0014_0011__contemporaneous, conj1).
arc(r_0014_0012__or, r_0014_0016__later, conj2).
arc(r_0014_0014__a_r_0014_0015__bit, r_0014_0013__just, qual40).
arc(r_0014_0016__later, r_0014_0014__a_r_0014_0015__bit, nim39).
arc(r_0014_0018__and, r_0014_0009__was, conj1).
arc(r_0014_0018__and, r_0014_0019__elaborated, conj2).
arc(r_0014_0019__elaborated, r_0014_0002__TECO, arg0).
arc(r_0014_0019__elaborated, r_0014_0020__these_r_0014_0021__ideas, arg1).
arc(r_0014_0019__elaborated, r_0014_0022__independently, nim62).


%3 r_0014_0005__grew grew r_0014_0002__TECO TECO r_0014_0005__grew->r_0014_0002__TECO [arg0] r_0014_0007__Emacs Emacs r_0014_0005__grew->r_0014_0007__Emacs into [nim] r_0014_0009__was was r_0014_0009__was->r_0014_0002__TECO [arg0] r_0014_0012__or or r_0014_0009__was->r_0014_0012__or [prd] r_0014_0011__contemporaneous contemporaneous r_0014_0012__or->r_0014_0011__contemporaneous [conj1] r_0014_0016__later later r_0014_0012__or->r_0014_0016__later [conj2] r_0014_0010__approximately approximately r_0014_0011__contemporaneous->r_0014_0010__approximately [qual] r_0014_0014__a_r_0014_0015__bit a bit r_0014_0016__later->r_0014_0014__a_r_0014_0015__bit [nim] r_0014_0013__just just r_0014_0014__a_r_0014_0015__bit->r_0014_0013__just [qual] r_0014_0018__and and r_0014_0018__and->r_0014_0009__was [conj1] r_0014_0019__elaborated elaborated r_0014_0018__and->r_0014_0019__elaborated [conj2] r_0014_0019__elaborated->r_0014_0002__TECO [arg0] r_0014_0020__these_r_0014_0021__ideas these ideas r_0014_0019__elaborated->r_0014_0020__these_r_0014_0021__ideas [arg1] r_0014_0022__independently independently r_0014_0019__elaborated->r_0014_0022__independently [nim] 
fof(formula,axiom,
    ? [R_14_5_GREW,R_14_7_EMACS,R_14_18_AND,R_14_9_WAS,R_14_12_OR,R_14_11_CONTEMPORANEOUS,R_14_10_APPROXIMATELY,R_14_16_LATER,R_14_14_A_BIT,R_14_13_JUST,R_14_19_ELABORATED,R_14_2_TECO,R_14_20_THESE_IDEAS,R_14_22_INDEPENDENTLY] :
      ( emacs(R_14_7_EMACS)
      & approximately(R_14_10_APPROXIMATELY)
      & just(R_14_13_JUST)
      & tECO(R_14_2_TECO)
      & these_ideas(R_14_20_THESE_IDEAS)
      & independently(R_14_22_INDEPENDENTLY)
      & grew(R_14_5_GREW,R_14_2_TECO)
      & into_nim18(R_14_5_GREW,R_14_7_EMACS)
      & and(R_14_18_AND)
      & conj1(R_14_18_AND,R_14_9_WAS)
      & was(R_14_9_WAS,R_14_2_TECO,R_14_12_OR)
      & or(R_14_12_OR)
      & conj1(R_14_12_OR,R_14_11_CONTEMPORANEOUS)
      & contemporaneous(R_14_11_CONTEMPORANEOUS)
      & qual30(R_14_11_CONTEMPORANEOUS,R_14_10_APPROXIMATELY)
      & conj2(R_14_12_OR,R_14_16_LATER)
      & later(R_14_16_LATER)
      & nim39(R_14_16_LATER,R_14_14_A_BIT)
      & a_bit(R_14_14_A_BIT)
      & qual40(R_14_14_A_BIT,R_14_13_JUST)
      & conj2(R_14_18_AND,R_14_19_ELABORATED)
      & elaborated(R_14_19_ELABORATED,R_14_2_TECO,R_14_20_THESE_IDEAS)
      & nim62(R_14_19_ELABORATED,R_14_22_INDEPENDENTLY) ) ).


n14_a_history_of_qed n14_a_history_of_qed_3 -LRB- n14_a_history_of_qed_6 TECO n14_a_history_of_qed_8 , n14_a_history_of_qed_12 which n14_a_history_of_qed_14 grew n14_a_history_of_qed_17 into n14_a_history_of_qed_20 Emacs n14_a_history_of_qed_22 , n14_a_history_of_qed_26 was n14_a_history_of_qed_32 approximately n14_a_history_of_qed_34 contemporaneous n14_a_history_of_qed_37 or n14_a_history_of_qed_42 just n14_a_history_of_qed_44 a n14_a_history_of_qed_46 bit n14_a_history_of_qed_48 later n14_a_history_of_qed_50 , n14_a_history_of_qed_53 and n14_a_history_of_qed_56 elaborated n14_a_history_of_qed_59 these n14_a_history_of_qed_61 ideas n14_a_history_of_qed_64 independently n14_a_history_of_qed_66 -RRB- n14_a_history_of_qed_68 . n14_a_history_of_qed_1 IP-MAT n14_a_history_of_qed_2 PULB n14_a_history_of_qed_1->n14_a_history_of_qed_2 n14_a_history_of_qed_4 NP-SBJ n14_a_history_of_qed_1->n14_a_history_of_qed_4 n14_a_history_of_qed_21 PUNC n14_a_history_of_qed_1->n14_a_history_of_qed_21 n14_a_history_of_qed_23 ILYR n14_a_history_of_qed_1->n14_a_history_of_qed_23 n14_a_history_of_qed_65 PURB n14_a_history_of_qed_1->n14_a_history_of_qed_65 n14_a_history_of_qed_67 PUNC n14_a_history_of_qed_1->n14_a_history_of_qed_67 n14_a_history_of_qed_2->n14_a_history_of_qed_3 n14_a_history_of_qed_5 NPR n14_a_history_of_qed_4->n14_a_history_of_qed_5 n14_a_history_of_qed_7 PUNC n14_a_history_of_qed_4->n14_a_history_of_qed_7 n14_a_history_of_qed_9 IP-REL n14_a_history_of_qed_4->n14_a_history_of_qed_9 n14_a_history_of_qed_5->n14_a_history_of_qed_6 n14_a_history_of_qed_7->n14_a_history_of_qed_8 n14_a_history_of_qed_10 NP-SBJ n14_a_history_of_qed_9->n14_a_history_of_qed_10 n14_a_history_of_qed_13 VBD;__ n14_a_history_of_qed_9->n14_a_history_of_qed_13 n14_a_history_of_qed_15 PP-NIM n14_a_history_of_qed_9->n14_a_history_of_qed_15 n14_a_history_of_qed_11 RPRO n14_a_history_of_qed_10->n14_a_history_of_qed_11 n14_a_history_of_qed_11->n14_a_history_of_qed_12 n14_a_history_of_qed_13->n14_a_history_of_qed_14 n14_a_history_of_qed_16 P-ROLE n14_a_history_of_qed_15->n14_a_history_of_qed_16 n14_a_history_of_qed_18 NP n14_a_history_of_qed_15->n14_a_history_of_qed_18 n14_a_history_of_qed_16->n14_a_history_of_qed_17 n14_a_history_of_qed_19 NPR n14_a_history_of_qed_18->n14_a_history_of_qed_19 n14_a_history_of_qed_19->n14_a_history_of_qed_20 n14_a_history_of_qed_21->n14_a_history_of_qed_22 n14_a_history_of_qed_24 ILYR n14_a_history_of_qed_23->n14_a_history_of_qed_24 n14_a_history_of_qed_49 PUNC n14_a_history_of_qed_23->n14_a_history_of_qed_49 n14_a_history_of_qed_51 CONJP n14_a_history_of_qed_23->n14_a_history_of_qed_51 n14_a_history_of_qed_25 BED;_La_ n14_a_history_of_qed_24->n14_a_history_of_qed_25 n14_a_history_of_qed_27 ADJP-PRD n14_a_history_of_qed_24->n14_a_history_of_qed_27 n14_a_history_of_qed_25->n14_a_history_of_qed_26 n14_a_history_of_qed_28 AJLYR n14_a_history_of_qed_27->n14_a_history_of_qed_28 n14_a_history_of_qed_29 AJLYR n14_a_history_of_qed_28->n14_a_history_of_qed_29 n14_a_history_of_qed_35 CONJP n14_a_history_of_qed_28->n14_a_history_of_qed_35 n14_a_history_of_qed_30 ADVP n14_a_history_of_qed_29->n14_a_history_of_qed_30 n14_a_history_of_qed_33 ADJ n14_a_history_of_qed_29->n14_a_history_of_qed_33 n14_a_history_of_qed_31 ADV n14_a_history_of_qed_30->n14_a_history_of_qed_31 n14_a_history_of_qed_31->n14_a_history_of_qed_32 n14_a_history_of_qed_33->n14_a_history_of_qed_34 n14_a_history_of_qed_36 CONJ n14_a_history_of_qed_35->n14_a_history_of_qed_36 n14_a_history_of_qed_38 AJLYR n14_a_history_of_qed_35->n14_a_history_of_qed_38 n14_a_history_of_qed_36->n14_a_history_of_qed_37 n14_a_history_of_qed_39 NP n14_a_history_of_qed_38->n14_a_history_of_qed_39 n14_a_history_of_qed_47 ADJR n14_a_history_of_qed_38->n14_a_history_of_qed_47 n14_a_history_of_qed_40 ADVP n14_a_history_of_qed_39->n14_a_history_of_qed_40 n14_a_history_of_qed_43 D n14_a_history_of_qed_39->n14_a_history_of_qed_43 n14_a_history_of_qed_45 N n14_a_history_of_qed_39->n14_a_history_of_qed_45 n14_a_history_of_qed_41 ADV n14_a_history_of_qed_40->n14_a_history_of_qed_41 n14_a_history_of_qed_41->n14_a_history_of_qed_42 n14_a_history_of_qed_43->n14_a_history_of_qed_44 n14_a_history_of_qed_45->n14_a_history_of_qed_46 n14_a_history_of_qed_47->n14_a_history_of_qed_48 n14_a_history_of_qed_49->n14_a_history_of_qed_50 n14_a_history_of_qed_52 CONJ n14_a_history_of_qed_51->n14_a_history_of_qed_52 n14_a_history_of_qed_54 ILYR n14_a_history_of_qed_51->n14_a_history_of_qed_54 n14_a_history_of_qed_52->n14_a_history_of_qed_53 n14_a_history_of_qed_55 VBD;__ n14_a_history_of_qed_54->n14_a_history_of_qed_55 n14_a_history_of_qed_57 NP-OB1 n14_a_history_of_qed_54->n14_a_history_of_qed_57 n14_a_history_of_qed_62 ADVP-NIM n14_a_history_of_qed_54->n14_a_history_of_qed_62 n14_a_history_of_qed_55->n14_a_history_of_qed_56 n14_a_history_of_qed_58 D n14_a_history_of_qed_57->n14_a_history_of_qed_58 n14_a_history_of_qed_60 NS n14_a_history_of_qed_57->n14_a_history_of_qed_60 n14_a_history_of_qed_58->n14_a_history_of_qed_59 n14_a_history_of_qed_60->n14_a_history_of_qed_61 n14_a_history_of_qed_63 ADV n14_a_history_of_qed_62->n14_a_history_of_qed_63 n14_a_history_of_qed_63->n14_a_history_of_qed_64 n14_a_history_of_qed_65->n14_a_history_of_qed_66 n14_a_history_of_qed_67->n14_a_history_of_qed_68 
( (IP-MAT (PULB -LRB-)
          (NP-SBJ (NPR TECO;{TECO})
                  (PUNC ,)
                  (IP-REL (NP-SBJ (RPRO which;{which}))
                          (VBD;__ grew;{grow})
                          (PP-NIM (P-ROLE into;{into})
                                  (NP;{EMACS} (NPR Emacs;{Emacs})))))
          (PUNC ,)
          (ILYR (ILYR (BED;_La_ was;{be})
                      (ADJP-PRD (AJLYR (AJLYR (ADVP (ADV approximately;{approximately}))
                                              (ADJ contemporaneous;{contemporaneous}))
                                       (CONJP (CONJ or;{or})
                                              (AJLYR (NP (ADVP (ADV just;{just}))
                                                         (D a;{a})
                                                         (N bit;{bit}))
                                                     (ADJR later;{late}))))))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;__ elaborated;{elaborate})
                             (NP-OB1 (D these;{these})
                                     (NS ideas;{idea}))
                             (ADVP-NIM (ADV independently;{independently})))))
          (PURB -RRB-)
          (PUNC .))
  (ID 14_a_history_of_qed))