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_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] 
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_7 Other n26_a_history_of_qed_10 and n26_a_history_of_qed_13 later n26_a_history_of_qed_15 offspring n26_a_history_of_qed_18 of n26_a_history_of_qed_23 QED n26_a_history_of_qed_26 and n26_a_history_of_qed_30 its n26_a_history_of_qed_32 predecessors n26_a_history_of_qed_36 kept n26_a_history_of_qed_39 the n26_a_history_of_qed_42 central n26_a_history_of_qed_44 ideas n26_a_history_of_qed_46 , n26_a_history_of_qed_49 but n26_a_history_of_qed_52 were n26_a_history_of_qed_56 considerably n26_a_history_of_qed_58 simpler n26_a_history_of_qed_60 . n26_a_history_of_qed_1 IP-MAT n26_a_history_of_qed_2 NP-SBJ n26_a_history_of_qed_1->n26_a_history_of_qed_2 n26_a_history_of_qed_33 ILYR n26_a_history_of_qed_1->n26_a_history_of_qed_33 n26_a_history_of_qed_59 PUNC n26_a_history_of_qed_1->n26_a_history_of_qed_59 n26_a_history_of_qed_3 ADJP n26_a_history_of_qed_2->n26_a_history_of_qed_3 n26_a_history_of_qed_14 N n26_a_history_of_qed_2->n26_a_history_of_qed_14 n26_a_history_of_qed_16 PP n26_a_history_of_qed_2->n26_a_history_of_qed_16 n26_a_history_of_qed_4 AJLYR n26_a_history_of_qed_3->n26_a_history_of_qed_4 n26_a_history_of_qed_5 AJLYR n26_a_history_of_qed_4->n26_a_history_of_qed_5 n26_a_history_of_qed_8 CONJP n26_a_history_of_qed_4->n26_a_history_of_qed_8 n26_a_history_of_qed_6 ADJ n26_a_history_of_qed_5->n26_a_history_of_qed_6 n26_a_history_of_qed_6->n26_a_history_of_qed_7 n26_a_history_of_qed_9 CONJ n26_a_history_of_qed_8->n26_a_history_of_qed_9 n26_a_history_of_qed_11 AJLYR n26_a_history_of_qed_8->n26_a_history_of_qed_11 n26_a_history_of_qed_9->n26_a_history_of_qed_10 n26_a_history_of_qed_12 ADJR n26_a_history_of_qed_11->n26_a_history_of_qed_12 n26_a_history_of_qed_12->n26_a_history_of_qed_13 n26_a_history_of_qed_14->n26_a_history_of_qed_15 n26_a_history_of_qed_17 P-ROLE n26_a_history_of_qed_16->n26_a_history_of_qed_17 n26_a_history_of_qed_19 NP n26_a_history_of_qed_16->n26_a_history_of_qed_19 n26_a_history_of_qed_17->n26_a_history_of_qed_18 n26_a_history_of_qed_20 NLYR n26_a_history_of_qed_19->n26_a_history_of_qed_20 n26_a_history_of_qed_21 NLYR n26_a_history_of_qed_20->n26_a_history_of_qed_21 n26_a_history_of_qed_24 CONJP n26_a_history_of_qed_20->n26_a_history_of_qed_24 n26_a_history_of_qed_22 NPR n26_a_history_of_qed_21->n26_a_history_of_qed_22 n26_a_history_of_qed_22->n26_a_history_of_qed_23 n26_a_history_of_qed_25 CONJ n26_a_history_of_qed_24->n26_a_history_of_qed_25 n26_a_history_of_qed_27 NLYR n26_a_history_of_qed_24->n26_a_history_of_qed_27 n26_a_history_of_qed_25->n26_a_history_of_qed_26 n26_a_history_of_qed_28 NP-GEN n26_a_history_of_qed_27->n26_a_history_of_qed_28 n26_a_history_of_qed_31 NS n26_a_history_of_qed_27->n26_a_history_of_qed_31 n26_a_history_of_qed_29 PRO;_genm_ n26_a_history_of_qed_28->n26_a_history_of_qed_29 n26_a_history_of_qed_29->n26_a_history_of_qed_30 n26_a_history_of_qed_31->n26_a_history_of_qed_32 n26_a_history_of_qed_34 ILYR n26_a_history_of_qed_33->n26_a_history_of_qed_34 n26_a_history_of_qed_45 PUNC n26_a_history_of_qed_33->n26_a_history_of_qed_45 n26_a_history_of_qed_47 CONJP n26_a_history_of_qed_33->n26_a_history_of_qed_47 n26_a_history_of_qed_35 VBD;_Tn_ n26_a_history_of_qed_34->n26_a_history_of_qed_35 n26_a_history_of_qed_37 NP-OB1 n26_a_history_of_qed_34->n26_a_history_of_qed_37 n26_a_history_of_qed_35->n26_a_history_of_qed_36 n26_a_history_of_qed_38 D n26_a_history_of_qed_37->n26_a_history_of_qed_38 n26_a_history_of_qed_40 ADJP n26_a_history_of_qed_37->n26_a_history_of_qed_40 n26_a_history_of_qed_43 NS n26_a_history_of_qed_37->n26_a_history_of_qed_43 n26_a_history_of_qed_38->n26_a_history_of_qed_39 n26_a_history_of_qed_41 ADJ n26_a_history_of_qed_40->n26_a_history_of_qed_41 n26_a_history_of_qed_41->n26_a_history_of_qed_42 n26_a_history_of_qed_43->n26_a_history_of_qed_44 n26_a_history_of_qed_45->n26_a_history_of_qed_46 n26_a_history_of_qed_48 CONJ n26_a_history_of_qed_47->n26_a_history_of_qed_48 n26_a_history_of_qed_50 ILYR n26_a_history_of_qed_47->n26_a_history_of_qed_50 n26_a_history_of_qed_48->n26_a_history_of_qed_49 n26_a_history_of_qed_51 BED;_La_ n26_a_history_of_qed_50->n26_a_history_of_qed_51 n26_a_history_of_qed_53 ADJP-PRD n26_a_history_of_qed_50->n26_a_history_of_qed_53 n26_a_history_of_qed_51->n26_a_history_of_qed_52 n26_a_history_of_qed_54 ADVP n26_a_history_of_qed_53->n26_a_history_of_qed_54 n26_a_history_of_qed_57 ADJR n26_a_history_of_qed_53->n26_a_history_of_qed_57 n26_a_history_of_qed_55 ADV n26_a_history_of_qed_54->n26_a_history_of_qed_55 n26_a_history_of_qed_55->n26_a_history_of_qed_56 n26_a_history_of_qed_57->n26_a_history_of_qed_58 n26_a_history_of_qed_59->n26_a_history_of_qed_60 
( (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))