Context                Previous, Next                Top


62_a_history_of_qed
A more recent Canadian version, also a traditional - style descendant, is Fred, from Thinkage Ltd.

n62_a_history_of_qed n62_a_history_of_qed__1_1_1_1_1_1 A n62_a_history_of_qed__1_1_1_1_2_1_1_1 more n62_a_history_of_qed__1_1_1_1_2_2_1 recent n62_a_history_of_qed__1_1_1_1_3_1_1 Canadian n62_a_history_of_qed__1_1_1_1_4_1 version n62_a_history_of_qed__1_1_1_2_1 , n62_a_history_of_qed__1_1_1_3_1_1_1_1 also n62_a_history_of_qed__1_1_1_3_1_2_1 a n62_a_history_of_qed__1_1_1_3_1_3_1_1_1 traditional n62_a_history_of_qed__1_1_1_3_1_3_2_1 - n62_a_history_of_qed__1_1_1_3_1_3_3_1 style n62_a_history_of_qed__1_1_1_3_1_4_1 descendant n62_a_history_of_qed__1_2_1 , n62_a_history_of_qed__1_3_1 is n62_a_history_of_qed__1_4_1_1 Fred n62_a_history_of_qed__1_4_2_1 , n62_a_history_of_qed__1_4_3_1_1 from n62_a_history_of_qed__1_4_3_2_1_1 Thinkage n62_a_history_of_qed__1_4_3_2_2_1 Ltd n62_a_history_of_qed__1_5_1 . n62_a_history_of_qed__1 IP-MAT n62_a_history_of_qed__1_1 NP-SBJ n62_a_history_of_qed__1->n62_a_history_of_qed__1_1 n62_a_history_of_qed__1_2 PUNC n62_a_history_of_qed__1->n62_a_history_of_qed__1_2 n62_a_history_of_qed__1_3 BEP;_Ln_ n62_a_history_of_qed__1->n62_a_history_of_qed__1_3 n62_a_history_of_qed__1_4 NP-PRD n62_a_history_of_qed__1->n62_a_history_of_qed__1_4 n62_a_history_of_qed__1_5 PUNC n62_a_history_of_qed__1->n62_a_history_of_qed__1_5 n62_a_history_of_qed__1_1_1 NLYR n62_a_history_of_qed__1_1->n62_a_history_of_qed__1_1_1 n62_a_history_of_qed__1_1_1_1 NLYR n62_a_history_of_qed__1_1_1->n62_a_history_of_qed__1_1_1_1 n62_a_history_of_qed__1_1_1_2 PUNC n62_a_history_of_qed__1_1_1->n62_a_history_of_qed__1_1_1_2 n62_a_history_of_qed__1_1_1_3 CONJP n62_a_history_of_qed__1_1_1->n62_a_history_of_qed__1_1_1_3 n62_a_history_of_qed__1_1_1_1_1 D n62_a_history_of_qed__1_1_1_1->n62_a_history_of_qed__1_1_1_1_1 n62_a_history_of_qed__1_1_1_1_2 ADJP n62_a_history_of_qed__1_1_1_1->n62_a_history_of_qed__1_1_1_1_2 n62_a_history_of_qed__1_1_1_1_3 ADJP n62_a_history_of_qed__1_1_1_1->n62_a_history_of_qed__1_1_1_1_3 n62_a_history_of_qed__1_1_1_1_4 N n62_a_history_of_qed__1_1_1_1->n62_a_history_of_qed__1_1_1_1_4 n62_a_history_of_qed__1_1_1_1_1->n62_a_history_of_qed__1_1_1_1_1_1 n62_a_history_of_qed__1_1_1_1_2_1 ADVP n62_a_history_of_qed__1_1_1_1_2->n62_a_history_of_qed__1_1_1_1_2_1 n62_a_history_of_qed__1_1_1_1_2_2 ADJ n62_a_history_of_qed__1_1_1_1_2->n62_a_history_of_qed__1_1_1_1_2_2 n62_a_history_of_qed__1_1_1_1_2_1_1 ADVR n62_a_history_of_qed__1_1_1_1_2_1->n62_a_history_of_qed__1_1_1_1_2_1_1 n62_a_history_of_qed__1_1_1_1_2_1_1->n62_a_history_of_qed__1_1_1_1_2_1_1_1 n62_a_history_of_qed__1_1_1_1_2_2->n62_a_history_of_qed__1_1_1_1_2_2_1 n62_a_history_of_qed__1_1_1_1_3_1 ADJ n62_a_history_of_qed__1_1_1_1_3->n62_a_history_of_qed__1_1_1_1_3_1 n62_a_history_of_qed__1_1_1_1_3_1->n62_a_history_of_qed__1_1_1_1_3_1_1 n62_a_history_of_qed__1_1_1_1_4->n62_a_history_of_qed__1_1_1_1_4_1 n62_a_history_of_qed__1_1_1_2->n62_a_history_of_qed__1_1_1_2_1 n62_a_history_of_qed__1_1_1_3_1 NLYR n62_a_history_of_qed__1_1_1_3->n62_a_history_of_qed__1_1_1_3_1 n62_a_history_of_qed__1_1_1_3_1_1 ADVP n62_a_history_of_qed__1_1_1_3_1->n62_a_history_of_qed__1_1_1_3_1_1 n62_a_history_of_qed__1_1_1_3_1_2 D n62_a_history_of_qed__1_1_1_3_1->n62_a_history_of_qed__1_1_1_3_1_2 n62_a_history_of_qed__1_1_1_3_1_3 NLYR n62_a_history_of_qed__1_1_1_3_1->n62_a_history_of_qed__1_1_1_3_1_3 n62_a_history_of_qed__1_1_1_3_1_4 N n62_a_history_of_qed__1_1_1_3_1->n62_a_history_of_qed__1_1_1_3_1_4 n62_a_history_of_qed__1_1_1_3_1_1_1 ADV n62_a_history_of_qed__1_1_1_3_1_1->n62_a_history_of_qed__1_1_1_3_1_1_1 n62_a_history_of_qed__1_1_1_3_1_1_1->n62_a_history_of_qed__1_1_1_3_1_1_1_1 n62_a_history_of_qed__1_1_1_3_1_2->n62_a_history_of_qed__1_1_1_3_1_2_1 n62_a_history_of_qed__1_1_1_3_1_3_1 ADJP n62_a_history_of_qed__1_1_1_3_1_3->n62_a_history_of_qed__1_1_1_3_1_3_1 n62_a_history_of_qed__1_1_1_3_1_3_2 PUNC n62_a_history_of_qed__1_1_1_3_1_3->n62_a_history_of_qed__1_1_1_3_1_3_2 n62_a_history_of_qed__1_1_1_3_1_3_3 N n62_a_history_of_qed__1_1_1_3_1_3->n62_a_history_of_qed__1_1_1_3_1_3_3 n62_a_history_of_qed__1_1_1_3_1_3_1_1 ADJ n62_a_history_of_qed__1_1_1_3_1_3_1->n62_a_history_of_qed__1_1_1_3_1_3_1_1 n62_a_history_of_qed__1_1_1_3_1_3_1_1->n62_a_history_of_qed__1_1_1_3_1_3_1_1_1 n62_a_history_of_qed__1_1_1_3_1_3_2->n62_a_history_of_qed__1_1_1_3_1_3_2_1 n62_a_history_of_qed__1_1_1_3_1_3_3->n62_a_history_of_qed__1_1_1_3_1_3_3_1 n62_a_history_of_qed__1_1_1_3_1_4->n62_a_history_of_qed__1_1_1_3_1_4_1 n62_a_history_of_qed__1_2->n62_a_history_of_qed__1_2_1 n62_a_history_of_qed__1_3->n62_a_history_of_qed__1_3_1 n62_a_history_of_qed__1_4_1 NPR n62_a_history_of_qed__1_4->n62_a_history_of_qed__1_4_1 n62_a_history_of_qed__1_4_2 PUNC n62_a_history_of_qed__1_4->n62_a_history_of_qed__1_4_2 n62_a_history_of_qed__1_4_3 PP n62_a_history_of_qed__1_4->n62_a_history_of_qed__1_4_3 n62_a_history_of_qed__1_4_1->n62_a_history_of_qed__1_4_1_1 n62_a_history_of_qed__1_4_2->n62_a_history_of_qed__1_4_2_1 n62_a_history_of_qed__1_4_3_1 P-ROLE n62_a_history_of_qed__1_4_3->n62_a_history_of_qed__1_4_3_1 n62_a_history_of_qed__1_4_3_2 NP n62_a_history_of_qed__1_4_3->n62_a_history_of_qed__1_4_3_2 n62_a_history_of_qed__1_4_3_1->n62_a_history_of_qed__1_4_3_1_1 n62_a_history_of_qed__1_4_3_2_1 NPR n62_a_history_of_qed__1_4_3_2->n62_a_history_of_qed__1_4_3_2_1 n62_a_history_of_qed__1_4_3_2_2 NPR n62_a_history_of_qed__1_4_3_2->n62_a_history_of_qed__1_4_3_2_2 n62_a_history_of_qed__1_4_3_2_1->n62_a_history_of_qed__1_4_3_2_1_1 n62_a_history_of_qed__1_4_3_2_2->n62_a_history_of_qed__1_4_3_2_2_1 n62_a_history_of_qed__1_5->n62_a_history_of_qed__1_5_1 
( (IP-MAT (NP-SBJ;{FRED} (NLYR (NLYR (D A;{a})
                                     (ADJP (ADVP (ADVR more;{more}))
                                           (ADJ recent;{recent}))
                                     (ADJP (ADJ Canadian;{canadian}))
                                     (N version;{version}))
                               (PUNC ,)
                               (CONJP (NLYR (ADVP (ADV also;{also}))
                                            (D a;{a})
                                            (NLYR (ADJP (ADJ traditional;{traditional}))
                                                  (PUNC <hyphen>)
                                                  (N style;{style}))
                                            (N descendant;{descendant})))))
          (PUNC ,)
          (BEP;_Ln_ is;{be})
          (NP-PRD (NPR Fred;{Fred})
                  (PUNC ,)
                  (PP (P-ROLE from;{from})
                      (NP (NPR Thinkage;{Thinkage})
                          (NPR Ltd;{Ltd}))))
          (PUNC .))
  (ID 62_a_history_of_qed))


%3 z_0062_5008 r_0062_0008__a_r_0062_0009__traditional_r_0062_0011__style_r_0062_0012__descendant a traditional style descendant z_0062_5008->r_0062_0008__a_r_0062_0009__traditional_r_0062_0011__style_r_0062_0012__descendant [conj2] r_0062_0001__A_r_0062_0005__version A version z_0062_5008->r_0062_0001__A_r_0062_0005__version [conj1] r_0062_0007__also also r_0062_0008__a_r_0062_0009__traditional_r_0062_0011__style_r_0062_0012__descendant->r_0062_0007__also [qual] r_0062_0003__recent recent r_0062_0001__A_r_0062_0005__version->r_0062_0003__recent [attrib] r_0062_0004__Canadian Canadian r_0062_0001__A_r_0062_0005__version->r_0062_0004__Canadian [attrib] r_0062_0015__Fred Fred r_0062_0018__Thinkage_r_0062_0019__Ltd Thinkage Ltd r_0062_0015__Fred->r_0062_0018__Thinkage_r_0062_0019__Ltd from r_0062_0014__is is r_0062_0014__is->z_0062_5008 [arg0] r_0062_0014__is->r_0062_0015__Fred [prd] r_0062_0002__more more r_0062_0003__recent->r_0062_0002__more [qual] 
arc(r_0062_0001__A_r_0062_0005__version,r_0062_0003__recent,attrib).
arc(r_0062_0001__A_r_0062_0005__version,r_0062_0004__Canadian,attrib).
arc(r_0062_0003__recent,r_0062_0002__more,qual).
arc(r_0062_0008__a_r_0062_0009__traditional_r_0062_0011__style_r_0062_0012__descendant,r_0062_0007__also,qual).
arc(r_0062_0014__is,r_0062_0015__Fred,prd).
arc(r_0062_0014__is,z_0062_5008,arg0).
arc(r_0062_0015__Fred,r_0062_0018__Thinkage_r_0062_0019__Ltd,r_0062_0017__from).
arc(z_0062_5008,r_0062_0001__A_r_0062_0005__version,conj1).
arc(z_0062_5008,r_0062_0008__a_r_0062_0009__traditional_r_0062_0011__style_r_0062_0012__descendant,conj2).


%3 r_0062_0001__A_r_0062_0005__version A version r_0062_0003__recent recent r_0062_0001__A_r_0062_0005__version->r_0062_0003__recent [attrib] r_0062_0004__Canadian Canadian r_0062_0001__A_r_0062_0005__version->r_0062_0004__Canadian [attrib] r_0062_0002__more more r_0062_0003__recent->r_0062_0002__more [qual] r_0062_0008__a_r_0062_0009__traditional_r_0062_0011__style_r_0062_0012__descendant a traditional style descendant r_0062_0007__also also r_0062_0008__a_r_0062_0009__traditional_r_0062_0011__style_r_0062_0012__descendant->r_0062_0007__also [qual] r_0062_0014__is is r_0062_0015__Fred Fred r_0062_0014__is->r_0062_0015__Fred [prd] z_0062_5008 r_0062_0014__is->z_0062_5008 [arg0] r_0062_0018__Thinkage_r_0062_0019__Ltd Thinkage Ltd r_0062_0015__Fred->r_0062_0018__Thinkage_r_0062_0019__Ltd from z_0062_5008->r_0062_0001__A_r_0062_0005__version [conj1] z_0062_5008->r_0062_0008__a_r_0062_0009__traditional_r_0062_0011__style_r_0062_0012__descendant [conj2] 
fof(formula,axiom,
    ? [R_0062_0018__THINKAGE_R_0062_0019__LTD,R_0062_0015__FRED,R_0062_0002__MORE,R_0062_0003__RECENT,R_0062_0004__CANADIAN,R_0062_0001__A_R_0062_0005__VERSION,R_0062_0007__ALSO,R_0062_0008__A_R_0062_0009__TRADITIONAL_R_0062_0011__STYLE_R_0062_0012__DESCENDANT,Z_0062_5008,R_0062_0014__IS] :
      ( r_0062_0002__more(R_0062_0002__MORE)
      & r_0062_0004__Canadian(R_0062_0004__CANADIAN)
      & r_0062_0007__also(R_0062_0007__ALSO)
      & r_0062_0018__Thinkage_r_0062_0019__Ltd(R_0062_0018__THINKAGE_R_0062_0019__LTD)
      & r_0062_0014__is(R_0062_0014__IS)
      & has_arg0(R_0062_0014__IS,Z_0062_5008)
      & z_0062_5008(Z_0062_5008)
      & has_conj2(Z_0062_5008,R_0062_0008__A_R_0062_0009__TRADITIONAL_R_0062_0011__STYLE_R_0062_0012__DESCENDANT)
      & r_0062_0008__a_r_0062_0009__traditional_r_0062_0011__style_r_0062_0012__descendant(R_0062_0008__A_R_0062_0009__TRADITIONAL_R_0062_0011__STYLE_R_0062_0012__DESCENDANT)
      & has_qual(R_0062_0008__A_R_0062_0009__TRADITIONAL_R_0062_0011__STYLE_R_0062_0012__DESCENDANT,R_0062_0007__ALSO)
      & has_conj1(Z_0062_5008,R_0062_0001__A_R_0062_0005__VERSION)
      & r_0062_0001__A_r_0062_0005__version(R_0062_0001__A_R_0062_0005__VERSION)
      & has_attrib(R_0062_0001__A_R_0062_0005__VERSION,R_0062_0004__CANADIAN)
      & has_attrib(R_0062_0001__A_R_0062_0005__VERSION,R_0062_0003__RECENT)
      & r_0062_0003__recent(R_0062_0003__RECENT)
      & has_qual(R_0062_0003__RECENT,R_0062_0002__MORE)
      & has_prd(R_0062_0014__IS,R_0062_0015__FRED)
      & r_0062_0015__Fred(R_0062_0015__FRED)
      & has_r_0062_0017__from(R_0062_0015__FRED,R_0062_0018__THINKAGE_R_0062_0019__LTD) ) ).