Context                Previous, Next                Top


26_a_history_of_qed
Other and later offspring of QED and its predecessors kept the central ideas, but were considerably simpler.

%3 r_0026_0002__and and r_0026_0001__Other Other r_0026_0002__and->r_0026_0001__Other [conj1] r_0026_0003__later later r_0026_0002__and->r_0026_0003__later [conj2] r_0026_0004__offspring offspring r_0026_0004__offspring->r_0026_0002__and [attrib] r_0026_0007__and and r_0026_0004__offspring->r_0026_0007__and of r_0026_0006__QED QED r_0026_0007__and->r_0026_0006__QED [conj1] r_0026_0009__predecessors predecessors r_0026_0007__and->r_0026_0009__predecessors [conj2] r_0026_0009__predecessors->r_0026_0006__QED [gen] r_0026_0010__kept kept r_0026_0010__kept->r_0026_0004__offspring [arg0] r_0026_0011__the_r_0026_0013__ideas the ideas r_0026_0010__kept->r_0026_0011__the_r_0026_0013__ideas [arg1] r_0026_0012__central central r_0026_0011__the_r_0026_0013__ideas->r_0026_0012__central [attrib] r_0026_0015__but but r_0026_0015__but->r_0026_0010__kept [conj1] r_0026_0016__were were r_0026_0015__but->r_0026_0016__were [conj2] r_0026_0016__were->r_0026_0004__offspring [arg0] r_0026_0018__simpler simpler r_0026_0016__were->r_0026_0018__simpler [prd] r_0026_0017__considerably considerably r_0026_0018__simpler->r_0026_0017__considerably [qual] 
arc(r_0026_0002__and, r_0026_0001__Other, conj1).
arc(r_0026_0002__and, r_0026_0003__later, conj2).
arc(r_0026_0004__offspring, r_0026_0002__and, attrib3).
arc(r_0026_0004__offspring, r_0026_0007__and, r_0026_0005__of).
arc(r_0026_0007__and, r_0026_0006__QED, conj1).
arc(r_0026_0007__and, r_0026_0009__predecessors, conj2).
arc(r_0026_0009__predecessors, r_0026_0006__QED, gen).
arc(r_0026_0010__kept, r_0026_0004__offspring, arg0).
arc(r_0026_0010__kept, r_0026_0011__the_r_0026_0013__ideas, arg1).
arc(r_0026_0011__the_r_0026_0013__ideas, r_0026_0012__central, attrib40).
arc(r_0026_0015__but, r_0026_0010__kept, conj1).
arc(r_0026_0015__but, r_0026_0016__were, conj2).
arc(r_0026_0016__were, r_0026_0004__offspring, arg0).
arc(r_0026_0016__were, r_0026_0018__simpler, prd).
arc(r_0026_0018__simpler, r_0026_0017__considerably, qual54).


%3 r_0026_0018__simpler simpler r_0026_0017__considerably considerably r_0026_0018__simpler->r_0026_0017__considerably [qual] r_0026_0016__were were r_0026_0016__were->r_0026_0018__simpler [prd] r_0026_0004__offspring offspring r_0026_0016__were->r_0026_0004__offspring [arg0] r_0026_0007__and and r_0026_0004__offspring->r_0026_0007__and of r_0026_0002__and and r_0026_0004__offspring->r_0026_0002__and [attrib] r_0026_0015__but but r_0026_0015__but->r_0026_0016__were [conj2] r_0026_0010__kept kept r_0026_0015__but->r_0026_0010__kept [conj1] r_0026_0010__kept->r_0026_0004__offspring [arg0] r_0026_0011__the_r_0026_0013__ideas the ideas r_0026_0010__kept->r_0026_0011__the_r_0026_0013__ideas [arg1] r_0026_0012__central central r_0026_0011__the_r_0026_0013__ideas->r_0026_0012__central [attrib] r_0026_0009__predecessors predecessors r_0026_0006__QED QED r_0026_0009__predecessors->r_0026_0006__QED [gen] r_0026_0007__and->r_0026_0009__predecessors [conj2] r_0026_0007__and->r_0026_0006__QED [conj1] r_0026_0003__later later r_0026_0002__and->r_0026_0003__later [conj2] r_0026_0001__Other Other r_0026_0002__and->r_0026_0001__Other [conj1] 
fof(formula,axiom,
    ? [R_26_15_BUT,R_26_10_KEPT,R_26_11_THE_IDEAS,R_26_12_CENTRAL,R_26_16_WERE,R_26_4_OFFSPRING,R_26_2_AND,R_26_1_OTHER,R_26_3_LATER,R_26_7_AND,R_26_9_PREDECESSORS,R_26_6_QED,R_26_18_SIMPLER,R_26_17_CONSIDERABLY] :
      ( central(R_26_12_CENTRAL)
      & other(R_26_1_OTHER)
      & later(R_26_3_LATER)
      & qED(R_26_6_QED)
      & considerably(R_26_17_CONSIDERABLY)
      & but(R_26_15_BUT)
      & conj1(R_26_15_BUT,R_26_10_KEPT)
      & kept(R_26_10_KEPT,R_26_4_OFFSPRING,R_26_11_THE_IDEAS)
      & offspring(R_26_4_OFFSPRING)
      & attrib3(R_26_4_OFFSPRING,R_26_2_AND)
      & and(R_26_2_AND)
      & conj1(R_26_2_AND,R_26_1_OTHER)
      & conj2(R_26_2_AND,R_26_3_LATER)
      & of(R_26_4_OFFSPRING,R_26_7_AND)
      & and(R_26_7_AND)
      & conj1(R_26_7_AND,R_26_6_QED)
      & conj2(R_26_7_AND,R_26_9_PREDECESSORS)
      & predecessors(R_26_9_PREDECESSORS)
      & gen(R_26_9_PREDECESSORS,R_26_6_QED)
      & the_ideas(R_26_11_THE_IDEAS)
      & attrib40(R_26_11_THE_IDEAS,R_26_12_CENTRAL)
      & conj2(R_26_15_BUT,R_26_16_WERE)
      & were(R_26_16_WERE,R_26_4_OFFSPRING,R_26_18_SIMPLER)
      & simpler(R_26_18_SIMPLER)
      & qual54(R_26_18_SIMPLER,R_26_17_CONSIDERABLY) ) ).


n26_a_history_of_qed n26_a_history_of_qed__1_1_1_1_1_1_1 Other n26_a_history_of_qed__1_1_1_1_2_1_1 and n26_a_history_of_qed__1_1_1_1_2_2_1_1 later n26_a_history_of_qed__1_1_2_1 offspring n26_a_history_of_qed__1_1_3_1_1 of n26_a_history_of_qed__1_1_3_2_1_1_1_1 QED n26_a_history_of_qed__1_1_3_2_1_2_1_1 and n26_a_history_of_qed__1_1_3_2_1_2_2_1_1_1 its n26_a_history_of_qed__1_1_3_2_1_2_2_2_1 predecessors n26_a_history_of_qed__1_2_1_1_1 kept n26_a_history_of_qed__1_2_1_2_1_1 the n26_a_history_of_qed__1_2_1_2_2_1_1 central n26_a_history_of_qed__1_2_1_2_3_1 ideas n26_a_history_of_qed__1_2_2_1 , n26_a_history_of_qed__1_2_3_1_1 but n26_a_history_of_qed__1_2_3_2_1_1 were n26_a_history_of_qed__1_2_3_2_2_1_1_1 considerably n26_a_history_of_qed__1_2_3_2_2_2_1 simpler n26_a_history_of_qed__1_3_1 . n26_a_history_of_qed__1 IP-MAT n26_a_history_of_qed__1_1 NP-SBJ n26_a_history_of_qed__1->n26_a_history_of_qed__1_1 n26_a_history_of_qed__1_2 ILYR n26_a_history_of_qed__1->n26_a_history_of_qed__1_2 n26_a_history_of_qed__1_3 PUNC n26_a_history_of_qed__1->n26_a_history_of_qed__1_3 n26_a_history_of_qed__1_1_1 ADJP n26_a_history_of_qed__1_1->n26_a_history_of_qed__1_1_1 n26_a_history_of_qed__1_1_2 N n26_a_history_of_qed__1_1->n26_a_history_of_qed__1_1_2 n26_a_history_of_qed__1_1_3 PP n26_a_history_of_qed__1_1->n26_a_history_of_qed__1_1_3 n26_a_history_of_qed__1_1_1_1 AJLYR n26_a_history_of_qed__1_1_1->n26_a_history_of_qed__1_1_1_1 n26_a_history_of_qed__1_1_1_1_1 AJLYR n26_a_history_of_qed__1_1_1_1->n26_a_history_of_qed__1_1_1_1_1 n26_a_history_of_qed__1_1_1_1_2 CONJP n26_a_history_of_qed__1_1_1_1->n26_a_history_of_qed__1_1_1_1_2 n26_a_history_of_qed__1_1_1_1_1_1 ADJ n26_a_history_of_qed__1_1_1_1_1->n26_a_history_of_qed__1_1_1_1_1_1 n26_a_history_of_qed__1_1_1_1_1_1->n26_a_history_of_qed__1_1_1_1_1_1_1 n26_a_history_of_qed__1_1_1_1_2_1 CONJ n26_a_history_of_qed__1_1_1_1_2->n26_a_history_of_qed__1_1_1_1_2_1 n26_a_history_of_qed__1_1_1_1_2_2 AJLYR n26_a_history_of_qed__1_1_1_1_2->n26_a_history_of_qed__1_1_1_1_2_2 n26_a_history_of_qed__1_1_1_1_2_1->n26_a_history_of_qed__1_1_1_1_2_1_1 n26_a_history_of_qed__1_1_1_1_2_2_1 ADJR n26_a_history_of_qed__1_1_1_1_2_2->n26_a_history_of_qed__1_1_1_1_2_2_1 n26_a_history_of_qed__1_1_1_1_2_2_1->n26_a_history_of_qed__1_1_1_1_2_2_1_1 n26_a_history_of_qed__1_1_2->n26_a_history_of_qed__1_1_2_1 n26_a_history_of_qed__1_1_3_1 P-ROLE n26_a_history_of_qed__1_1_3->n26_a_history_of_qed__1_1_3_1 n26_a_history_of_qed__1_1_3_2 NP n26_a_history_of_qed__1_1_3->n26_a_history_of_qed__1_1_3_2 n26_a_history_of_qed__1_1_3_1->n26_a_history_of_qed__1_1_3_1_1 n26_a_history_of_qed__1_1_3_2_1 NLYR n26_a_history_of_qed__1_1_3_2->n26_a_history_of_qed__1_1_3_2_1 n26_a_history_of_qed__1_1_3_2_1_1 NLYR n26_a_history_of_qed__1_1_3_2_1->n26_a_history_of_qed__1_1_3_2_1_1 n26_a_history_of_qed__1_1_3_2_1_2 CONJP n26_a_history_of_qed__1_1_3_2_1->n26_a_history_of_qed__1_1_3_2_1_2 n26_a_history_of_qed__1_1_3_2_1_1_1 NPR n26_a_history_of_qed__1_1_3_2_1_1->n26_a_history_of_qed__1_1_3_2_1_1_1 n26_a_history_of_qed__1_1_3_2_1_1_1->n26_a_history_of_qed__1_1_3_2_1_1_1_1 n26_a_history_of_qed__1_1_3_2_1_2_1 CONJ n26_a_history_of_qed__1_1_3_2_1_2->n26_a_history_of_qed__1_1_3_2_1_2_1 n26_a_history_of_qed__1_1_3_2_1_2_2 NLYR n26_a_history_of_qed__1_1_3_2_1_2->n26_a_history_of_qed__1_1_3_2_1_2_2 n26_a_history_of_qed__1_1_3_2_1_2_1->n26_a_history_of_qed__1_1_3_2_1_2_1_1 n26_a_history_of_qed__1_1_3_2_1_2_2_1 NP-GEN n26_a_history_of_qed__1_1_3_2_1_2_2->n26_a_history_of_qed__1_1_3_2_1_2_2_1 n26_a_history_of_qed__1_1_3_2_1_2_2_2 NS n26_a_history_of_qed__1_1_3_2_1_2_2->n26_a_history_of_qed__1_1_3_2_1_2_2_2 n26_a_history_of_qed__1_1_3_2_1_2_2_1_1 PRO;_genm_ n26_a_history_of_qed__1_1_3_2_1_2_2_1->n26_a_history_of_qed__1_1_3_2_1_2_2_1_1 n26_a_history_of_qed__1_1_3_2_1_2_2_1_1->n26_a_history_of_qed__1_1_3_2_1_2_2_1_1_1 n26_a_history_of_qed__1_1_3_2_1_2_2_2->n26_a_history_of_qed__1_1_3_2_1_2_2_2_1 n26_a_history_of_qed__1_2_1 ILYR n26_a_history_of_qed__1_2->n26_a_history_of_qed__1_2_1 n26_a_history_of_qed__1_2_2 PUNC n26_a_history_of_qed__1_2->n26_a_history_of_qed__1_2_2 n26_a_history_of_qed__1_2_3 CONJP n26_a_history_of_qed__1_2->n26_a_history_of_qed__1_2_3 n26_a_history_of_qed__1_2_1_1 VBD;_Tn_ n26_a_history_of_qed__1_2_1->n26_a_history_of_qed__1_2_1_1 n26_a_history_of_qed__1_2_1_2 NP-OB1 n26_a_history_of_qed__1_2_1->n26_a_history_of_qed__1_2_1_2 n26_a_history_of_qed__1_2_1_1->n26_a_history_of_qed__1_2_1_1_1 n26_a_history_of_qed__1_2_1_2_1 D n26_a_history_of_qed__1_2_1_2->n26_a_history_of_qed__1_2_1_2_1 n26_a_history_of_qed__1_2_1_2_2 ADJP n26_a_history_of_qed__1_2_1_2->n26_a_history_of_qed__1_2_1_2_2 n26_a_history_of_qed__1_2_1_2_3 NS n26_a_history_of_qed__1_2_1_2->n26_a_history_of_qed__1_2_1_2_3 n26_a_history_of_qed__1_2_1_2_1->n26_a_history_of_qed__1_2_1_2_1_1 n26_a_history_of_qed__1_2_1_2_2_1 ADJ n26_a_history_of_qed__1_2_1_2_2->n26_a_history_of_qed__1_2_1_2_2_1 n26_a_history_of_qed__1_2_1_2_2_1->n26_a_history_of_qed__1_2_1_2_2_1_1 n26_a_history_of_qed__1_2_1_2_3->n26_a_history_of_qed__1_2_1_2_3_1 n26_a_history_of_qed__1_2_2->n26_a_history_of_qed__1_2_2_1 n26_a_history_of_qed__1_2_3_1 CONJ n26_a_history_of_qed__1_2_3->n26_a_history_of_qed__1_2_3_1 n26_a_history_of_qed__1_2_3_2 ILYR n26_a_history_of_qed__1_2_3->n26_a_history_of_qed__1_2_3_2 n26_a_history_of_qed__1_2_3_1->n26_a_history_of_qed__1_2_3_1_1 n26_a_history_of_qed__1_2_3_2_1 BED;_La_ n26_a_history_of_qed__1_2_3_2->n26_a_history_of_qed__1_2_3_2_1 n26_a_history_of_qed__1_2_3_2_2 ADJP-PRD n26_a_history_of_qed__1_2_3_2->n26_a_history_of_qed__1_2_3_2_2 n26_a_history_of_qed__1_2_3_2_1->n26_a_history_of_qed__1_2_3_2_1_1 n26_a_history_of_qed__1_2_3_2_2_1 ADVP n26_a_history_of_qed__1_2_3_2_2->n26_a_history_of_qed__1_2_3_2_2_1 n26_a_history_of_qed__1_2_3_2_2_2 ADJR n26_a_history_of_qed__1_2_3_2_2->n26_a_history_of_qed__1_2_3_2_2_2 n26_a_history_of_qed__1_2_3_2_2_1_1 ADV n26_a_history_of_qed__1_2_3_2_2_1->n26_a_history_of_qed__1_2_3_2_2_1_1 n26_a_history_of_qed__1_2_3_2_2_1_1->n26_a_history_of_qed__1_2_3_2_2_1_1_1 n26_a_history_of_qed__1_2_3_2_2_2->n26_a_history_of_qed__1_2_3_2_2_2_1 n26_a_history_of_qed__1_3->n26_a_history_of_qed__1_3_1 
( (IP-MAT (NP-SBJ (ADJP (AJLYR (AJLYR (ADJ Other;{other}))
                               (CONJP (CONJ and;{and})
                                      (AJLYR (ADJR later;{late})))))
                  (N offspring;{offspring})
                  (PP (P-ROLE of;{of})
                      (NP (NLYR (NLYR;{QED} (NPR QED;{QED}))
                                (CONJP (CONJ and;{and})
                                       (NLYR (NP-GEN;{QED} (PRO;_genm_ its;{its}))
                                             (NS predecessors;{predecessor})))))))
          (ILYR (ILYR (VBD;_Tn_ kept;{keep})
                      (NP-OB1 (D the;{the})
                              (ADJP (ADJ central;{central}))
                              (NS ideas;{idea})))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (BED;_La_ were;{be})
                             (ADJP-PRD (ADVP (ADV considerably;{considerably}))
                                       (ADJR simpler;{simple})))))
          (PUNC .))
  (ID 26_a_history_of_qed))