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.

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))


%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] 
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,attrib).
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,attrib).
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,qual).


%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_0026_0001__OTHER,R_0026_0003__LATER,R_0026_0002__AND,R_0026_0006__QED,R_0026_0009__PREDECESSORS,R_0026_0007__AND,R_0026_0004__OFFSPRING,R_0026_0012__CENTRAL,R_0026_0011__THE_R_0026_0013__IDEAS,R_0026_0010__KEPT,R_0026_0017__CONSIDERABLY,R_0026_0018__SIMPLER,R_0026_0016__WERE,R_0026_0015__BUT] :
      ( r_0026_0001__Other(R_0026_0001__OTHER)
      & r_0026_0003__later(R_0026_0003__LATER)
      & r_0026_0006__QED(R_0026_0006__QED)
      & r_0026_0012__central(R_0026_0012__CENTRAL)
      & r_0026_0017__considerably(R_0026_0017__CONSIDERABLY)
      & r_0026_0015__but(R_0026_0015__BUT)
      & has_conj2(R_0026_0015__BUT,R_0026_0016__WERE)
      & r_0026_0016__were(R_0026_0016__WERE)
      & has_prd(R_0026_0016__WERE,R_0026_0018__SIMPLER)
      & r_0026_0018__simpler(R_0026_0018__SIMPLER)
      & has_qual(R_0026_0018__SIMPLER,R_0026_0017__CONSIDERABLY)
      & has_arg0(R_0026_0016__WERE,R_0026_0004__OFFSPRING)
      & r_0026_0004__offspring(R_0026_0004__OFFSPRING)
      & has_r_0026_0005__of(R_0026_0004__OFFSPRING,R_0026_0007__AND)
      & r_0026_0007__and(R_0026_0007__AND)
      & has_conj2(R_0026_0007__AND,R_0026_0009__PREDECESSORS)
      & r_0026_0009__predecessors(R_0026_0009__PREDECESSORS)
      & has_gen(R_0026_0009__PREDECESSORS,R_0026_0006__QED)
      & has_conj1(R_0026_0007__AND,R_0026_0006__QED)
      & has_attrib(R_0026_0004__OFFSPRING,R_0026_0002__AND)
      & r_0026_0002__and(R_0026_0002__AND)
      & has_conj2(R_0026_0002__AND,R_0026_0003__LATER)
      & has_conj1(R_0026_0002__AND,R_0026_0001__OTHER)
      & has_conj1(R_0026_0015__BUT,R_0026_0010__KEPT)
      & r_0026_0010__kept(R_0026_0010__KEPT)
      & has_arg1(R_0026_0010__KEPT,R_0026_0011__THE_R_0026_0013__IDEAS)
      & r_0026_0011__the_r_0026_0013__ideas(R_0026_0011__THE_R_0026_0013__IDEAS)
      & has_attrib(R_0026_0011__THE_R_0026_0013__IDEAS,R_0026_0012__CENTRAL)
      & has_arg0(R_0026_0010__KEPT,R_0026_0004__OFFSPRING) ) ).