Context                Previous, Next                Top


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

%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_0011__style_r_0062_0012__descendant a style descendant r_0062_0007__also also r_0062_0008__a_r_0062_0011__style_r_0062_0012__descendant->r_0062_0007__also [qual] r_0062_0009__traditional traditional r_0062_0008__a_r_0062_0011__style_r_0062_0012__descendant->r_0062_0009__traditional [attrib] r_0062_0014__is is r_0062_0015__Fred Fred r_0062_0014__is->r_0062_0015__Fred [prd] z_000_62_a_history_of_qed_3 r_0062_0014__is->z_000_62_a_history_of_qed_3 [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_000_62_a_history_of_qed_3->r_0062_0001__A_r_0062_0005__version [conj1] z_000_62_a_history_of_qed_3->r_0062_0008__a_r_0062_0011__style_r_0062_0012__descendant [conj2] 
arc(r_0062_0001__A_r_0062_0005__version, r_0062_0003__recent, attrib7).
arc(r_0062_0001__A_r_0062_0005__version, r_0062_0004__Canadian, attrib13).
arc(r_0062_0003__recent, r_0062_0002__more, qual8).
arc(r_0062_0008__a_r_0062_0011__style_r_0062_0012__descendant, r_0062_0007__also, qual22).
arc(r_0062_0008__a_r_0062_0011__style_r_0062_0012__descendant, r_0062_0009__traditional, attrib27).
arc(r_0062_0014__is, r_0062_0015__Fred, prd).
arc(r_0062_0014__is, z_000_62_a_history_of_qed_3, arg0).
arc(r_0062_0015__Fred, r_0062_0018__Thinkage_r_0062_0019__Ltd, r_0062_0017__from).
arc(z_000_62_a_history_of_qed_3, r_0062_0001__A_r_0062_0005__version, conj1).
arc(z_000_62_a_history_of_qed_3, r_0062_0008__a_r_0062_0011__style_r_0062_0012__descendant, conj2).


%3 z_000_62_a_history_of_qed_3 r_0062_0008__a_r_0062_0011__style_r_0062_0012__descendant a style descendant z_000_62_a_history_of_qed_3->r_0062_0008__a_r_0062_0011__style_r_0062_0012__descendant [conj2] r_0062_0001__A_r_0062_0005__version A version z_000_62_a_history_of_qed_3->r_0062_0001__A_r_0062_0005__version [conj1] r_0062_0009__traditional traditional r_0062_0008__a_r_0062_0011__style_r_0062_0012__descendant->r_0062_0009__traditional [attrib] r_0062_0007__also also r_0062_0008__a_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_000_62_a_history_of_qed_3 [arg0] r_0062_0014__is->r_0062_0015__Fred [prd] r_0062_0002__more more r_0062_0003__recent->r_0062_0002__more [qual] 
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_0009__TRADITIONAL,R_0062_0008__A_R_0062_0011__STYLE_R_0062_0012__DESCENDANT,Z_000_62_A_HISTORY_OF_QED_3,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_0009__traditional(R_0062_0009__TRADITIONAL)
      & 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_000_62_A_HISTORY_OF_QED_3)
      & z_000_62_a_history_of_qed_3(Z_000_62_A_HISTORY_OF_QED_3)
      & has_conj2(Z_000_62_A_HISTORY_OF_QED_3,R_0062_0008__A_R_0062_0011__STYLE_R_0062_0012__DESCENDANT)
      & r_0062_0008__a_r_0062_0011__style_r_0062_0012__descendant(R_0062_0008__A_R_0062_0011__STYLE_R_0062_0012__DESCENDANT)
      & has_attrib27(R_0062_0008__A_R_0062_0011__STYLE_R_0062_0012__DESCENDANT,R_0062_0009__TRADITIONAL)
      & has_qual22(R_0062_0008__A_R_0062_0011__STYLE_R_0062_0012__DESCENDANT,R_0062_0007__ALSO)
      & has_conj1(Z_000_62_A_HISTORY_OF_QED_3,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_attrib13(R_0062_0001__A_R_0062_0005__VERSION,R_0062_0004__CANADIAN)
      & has_attrib7(R_0062_0001__A_R_0062_0005__VERSION,R_0062_0003__RECENT)
      & r_0062_0003__recent(R_0062_0003__RECENT)
      & has_qual8(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) ) ).


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 traditional n62_a_history_of_qed__1_1_1_3_1_4_1 - n62_a_history_of_qed__1_1_1_3_1_5_1 style n62_a_history_of_qed__1_1_1_3_1_6_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 ADJP 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 PUNC 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_5 N n62_a_history_of_qed__1_1_1_3_1->n62_a_history_of_qed__1_1_1_3_1_5 n62_a_history_of_qed__1_1_1_3_1_6 N n62_a_history_of_qed__1_1_1_3_1->n62_a_history_of_qed__1_1_1_3_1_6 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 ADJ 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_1->n62_a_history_of_qed__1_1_1_3_1_3_1_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_1_1_3_1_5->n62_a_history_of_qed__1_1_1_3_1_5_1 n62_a_history_of_qed__1_1_1_3_1_6->n62_a_history_of_qed__1_1_1_3_1_6_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})
                                            (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))