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_0019__elaborated elaborated r_0014_0022__independently independently r_0014_0019__elaborated->r_0014_0022__independently [nim] 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_0002__TECO TECO r_0014_0019__elaborated->r_0014_0002__TECO [arg0] r_0014_0018__and and r_0014_0018__and->r_0014_0019__elaborated [conj2] r_0014_0009__was was r_0014_0018__and->r_0014_0009__was [conj1] 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_0016__later later 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_0012__or->r_0014_0016__later [conj2] r_0014_0011__contemporaneous contemporaneous r_0014_0012__or->r_0014_0011__contemporaneous [conj1] r_0014_0010__approximately approximately r_0014_0011__contemporaneous->r_0014_0010__approximately [qual] r_0014_0005__grew grew r_0014_0005__grew->r_0014_0002__TECO [arg0] r_0014_0007__Emacs Emacs r_0014_0005__grew->r_0014_0007__Emacs into [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__1_1_1 -LRB- n14_a_history_of_qed__1_2_1_1 TECO n14_a_history_of_qed__1_2_2_1 , n14_a_history_of_qed__1_2_3_1_1_1 which n14_a_history_of_qed__1_2_3_2_1 grew n14_a_history_of_qed__1_2_3_3_1_1 into n14_a_history_of_qed__1_2_3_3_2_1_1 Emacs n14_a_history_of_qed__1_3_1 , n14_a_history_of_qed__1_4_1_1_1 was n14_a_history_of_qed__1_4_1_2_1_1_1_1_1 approximately n14_a_history_of_qed__1_4_1_2_1_1_2_1 contemporaneous n14_a_history_of_qed__1_4_1_2_1_2_1_1 or n14_a_history_of_qed__1_4_1_2_1_2_2_1_1_1_1 just n14_a_history_of_qed__1_4_1_2_1_2_2_1_2_1 a n14_a_history_of_qed__1_4_1_2_1_2_2_1_3_1 bit n14_a_history_of_qed__1_4_1_2_1_2_2_2_1 later n14_a_history_of_qed__1_4_2_1 , n14_a_history_of_qed__1_4_3_1_1 and n14_a_history_of_qed__1_4_3_2_1_1 elaborated n14_a_history_of_qed__1_4_3_2_2_1_1 these n14_a_history_of_qed__1_4_3_2_2_2_1 ideas n14_a_history_of_qed__1_4_3_2_3_1_1 independently n14_a_history_of_qed__1_5_1 -RRB- n14_a_history_of_qed__1_6_1 . n14_a_history_of_qed__1 IP-MAT n14_a_history_of_qed__1_1 PULB n14_a_history_of_qed__1->n14_a_history_of_qed__1_1 n14_a_history_of_qed__1_2 NP-SBJ n14_a_history_of_qed__1->n14_a_history_of_qed__1_2 n14_a_history_of_qed__1_3 PUNC n14_a_history_of_qed__1->n14_a_history_of_qed__1_3 n14_a_history_of_qed__1_4 ILYR n14_a_history_of_qed__1->n14_a_history_of_qed__1_4 n14_a_history_of_qed__1_5 PURB n14_a_history_of_qed__1->n14_a_history_of_qed__1_5 n14_a_history_of_qed__1_6 PUNC n14_a_history_of_qed__1->n14_a_history_of_qed__1_6 n14_a_history_of_qed__1_1->n14_a_history_of_qed__1_1_1 n14_a_history_of_qed__1_2_1 NPR n14_a_history_of_qed__1_2->n14_a_history_of_qed__1_2_1 n14_a_history_of_qed__1_2_2 PUNC n14_a_history_of_qed__1_2->n14_a_history_of_qed__1_2_2 n14_a_history_of_qed__1_2_3 IP-REL n14_a_history_of_qed__1_2->n14_a_history_of_qed__1_2_3 n14_a_history_of_qed__1_2_1->n14_a_history_of_qed__1_2_1_1 n14_a_history_of_qed__1_2_2->n14_a_history_of_qed__1_2_2_1 n14_a_history_of_qed__1_2_3_1 NP-SBJ n14_a_history_of_qed__1_2_3->n14_a_history_of_qed__1_2_3_1 n14_a_history_of_qed__1_2_3_2 VBD;__ n14_a_history_of_qed__1_2_3->n14_a_history_of_qed__1_2_3_2 n14_a_history_of_qed__1_2_3_3 PP-NIM n14_a_history_of_qed__1_2_3->n14_a_history_of_qed__1_2_3_3 n14_a_history_of_qed__1_2_3_1_1 RPRO n14_a_history_of_qed__1_2_3_1->n14_a_history_of_qed__1_2_3_1_1 n14_a_history_of_qed__1_2_3_1_1->n14_a_history_of_qed__1_2_3_1_1_1 n14_a_history_of_qed__1_2_3_2->n14_a_history_of_qed__1_2_3_2_1 n14_a_history_of_qed__1_2_3_3_1 P-ROLE n14_a_history_of_qed__1_2_3_3->n14_a_history_of_qed__1_2_3_3_1 n14_a_history_of_qed__1_2_3_3_2 NP n14_a_history_of_qed__1_2_3_3->n14_a_history_of_qed__1_2_3_3_2 n14_a_history_of_qed__1_2_3_3_1->n14_a_history_of_qed__1_2_3_3_1_1 n14_a_history_of_qed__1_2_3_3_2_1 NPR n14_a_history_of_qed__1_2_3_3_2->n14_a_history_of_qed__1_2_3_3_2_1 n14_a_history_of_qed__1_2_3_3_2_1->n14_a_history_of_qed__1_2_3_3_2_1_1 n14_a_history_of_qed__1_3->n14_a_history_of_qed__1_3_1 n14_a_history_of_qed__1_4_1 ILYR n14_a_history_of_qed__1_4->n14_a_history_of_qed__1_4_1 n14_a_history_of_qed__1_4_2 PUNC n14_a_history_of_qed__1_4->n14_a_history_of_qed__1_4_2 n14_a_history_of_qed__1_4_3 CONJP n14_a_history_of_qed__1_4->n14_a_history_of_qed__1_4_3 n14_a_history_of_qed__1_4_1_1 BED;_La_ n14_a_history_of_qed__1_4_1->n14_a_history_of_qed__1_4_1_1 n14_a_history_of_qed__1_4_1_2 ADJP-PRD n14_a_history_of_qed__1_4_1->n14_a_history_of_qed__1_4_1_2 n14_a_history_of_qed__1_4_1_1->n14_a_history_of_qed__1_4_1_1_1 n14_a_history_of_qed__1_4_1_2_1 AJLYR n14_a_history_of_qed__1_4_1_2->n14_a_history_of_qed__1_4_1_2_1 n14_a_history_of_qed__1_4_1_2_1_1 AJLYR n14_a_history_of_qed__1_4_1_2_1->n14_a_history_of_qed__1_4_1_2_1_1 n14_a_history_of_qed__1_4_1_2_1_2 CONJP n14_a_history_of_qed__1_4_1_2_1->n14_a_history_of_qed__1_4_1_2_1_2 n14_a_history_of_qed__1_4_1_2_1_1_1 ADVP n14_a_history_of_qed__1_4_1_2_1_1->n14_a_history_of_qed__1_4_1_2_1_1_1 n14_a_history_of_qed__1_4_1_2_1_1_2 ADJ n14_a_history_of_qed__1_4_1_2_1_1->n14_a_history_of_qed__1_4_1_2_1_1_2 n14_a_history_of_qed__1_4_1_2_1_1_1_1 ADV n14_a_history_of_qed__1_4_1_2_1_1_1->n14_a_history_of_qed__1_4_1_2_1_1_1_1 n14_a_history_of_qed__1_4_1_2_1_1_1_1->n14_a_history_of_qed__1_4_1_2_1_1_1_1_1 n14_a_history_of_qed__1_4_1_2_1_1_2->n14_a_history_of_qed__1_4_1_2_1_1_2_1 n14_a_history_of_qed__1_4_1_2_1_2_1 CONJ n14_a_history_of_qed__1_4_1_2_1_2->n14_a_history_of_qed__1_4_1_2_1_2_1 n14_a_history_of_qed__1_4_1_2_1_2_2 AJLYR n14_a_history_of_qed__1_4_1_2_1_2->n14_a_history_of_qed__1_4_1_2_1_2_2 n14_a_history_of_qed__1_4_1_2_1_2_1->n14_a_history_of_qed__1_4_1_2_1_2_1_1 n14_a_history_of_qed__1_4_1_2_1_2_2_1 NP n14_a_history_of_qed__1_4_1_2_1_2_2->n14_a_history_of_qed__1_4_1_2_1_2_2_1 n14_a_history_of_qed__1_4_1_2_1_2_2_2 ADJR n14_a_history_of_qed__1_4_1_2_1_2_2->n14_a_history_of_qed__1_4_1_2_1_2_2_2 n14_a_history_of_qed__1_4_1_2_1_2_2_1_1 ADVP n14_a_history_of_qed__1_4_1_2_1_2_2_1->n14_a_history_of_qed__1_4_1_2_1_2_2_1_1 n14_a_history_of_qed__1_4_1_2_1_2_2_1_2 D n14_a_history_of_qed__1_4_1_2_1_2_2_1->n14_a_history_of_qed__1_4_1_2_1_2_2_1_2 n14_a_history_of_qed__1_4_1_2_1_2_2_1_3 N n14_a_history_of_qed__1_4_1_2_1_2_2_1->n14_a_history_of_qed__1_4_1_2_1_2_2_1_3 n14_a_history_of_qed__1_4_1_2_1_2_2_1_1_1 ADV n14_a_history_of_qed__1_4_1_2_1_2_2_1_1->n14_a_history_of_qed__1_4_1_2_1_2_2_1_1_1 n14_a_history_of_qed__1_4_1_2_1_2_2_1_1_1->n14_a_history_of_qed__1_4_1_2_1_2_2_1_1_1_1 n14_a_history_of_qed__1_4_1_2_1_2_2_1_2->n14_a_history_of_qed__1_4_1_2_1_2_2_1_2_1 n14_a_history_of_qed__1_4_1_2_1_2_2_1_3->n14_a_history_of_qed__1_4_1_2_1_2_2_1_3_1 n14_a_history_of_qed__1_4_1_2_1_2_2_2->n14_a_history_of_qed__1_4_1_2_1_2_2_2_1 n14_a_history_of_qed__1_4_2->n14_a_history_of_qed__1_4_2_1 n14_a_history_of_qed__1_4_3_1 CONJ n14_a_history_of_qed__1_4_3->n14_a_history_of_qed__1_4_3_1 n14_a_history_of_qed__1_4_3_2 ILYR n14_a_history_of_qed__1_4_3->n14_a_history_of_qed__1_4_3_2 n14_a_history_of_qed__1_4_3_1->n14_a_history_of_qed__1_4_3_1_1 n14_a_history_of_qed__1_4_3_2_1 VBD;__ n14_a_history_of_qed__1_4_3_2->n14_a_history_of_qed__1_4_3_2_1 n14_a_history_of_qed__1_4_3_2_2 NP-OB1 n14_a_history_of_qed__1_4_3_2->n14_a_history_of_qed__1_4_3_2_2 n14_a_history_of_qed__1_4_3_2_3 ADVP-NIM n14_a_history_of_qed__1_4_3_2->n14_a_history_of_qed__1_4_3_2_3 n14_a_history_of_qed__1_4_3_2_1->n14_a_history_of_qed__1_4_3_2_1_1 n14_a_history_of_qed__1_4_3_2_2_1 D n14_a_history_of_qed__1_4_3_2_2->n14_a_history_of_qed__1_4_3_2_2_1 n14_a_history_of_qed__1_4_3_2_2_2 NS n14_a_history_of_qed__1_4_3_2_2->n14_a_history_of_qed__1_4_3_2_2_2 n14_a_history_of_qed__1_4_3_2_2_1->n14_a_history_of_qed__1_4_3_2_2_1_1 n14_a_history_of_qed__1_4_3_2_2_2->n14_a_history_of_qed__1_4_3_2_2_2_1 n14_a_history_of_qed__1_4_3_2_3_1 ADV n14_a_history_of_qed__1_4_3_2_3->n14_a_history_of_qed__1_4_3_2_3_1 n14_a_history_of_qed__1_4_3_2_3_1->n14_a_history_of_qed__1_4_3_2_3_1_1 n14_a_history_of_qed__1_5->n14_a_history_of_qed__1_5_1 n14_a_history_of_qed__1_6->n14_a_history_of_qed__1_6_1 
( (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))