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_62_14_IS,Z_62_A_HISTORY_OF_QED_3,R_62_1_A_VERSION,R_62_4_CANADIAN,R_62_3_RECENT,R_62_2_MORE,R_62_8_A_STYLE_DESCENDANT,R_62_9_TRADITIONAL,R_62_7_ALSO,R_62_15_FRED,R_62_18_THINKAGE_LTD] :
      ( canadian(R_62_4_CANADIAN)
      & more(R_62_2_MORE)
      & traditional(R_62_9_TRADITIONAL)
      & also(R_62_7_ALSO)
      & thinkage_Ltd(R_62_18_THINKAGE_LTD)
      & is(R_62_14_IS,Z_62_A_HISTORY_OF_QED_3,R_62_15_FRED)
      & z_62_a_history_of_qed_3(Z_62_A_HISTORY_OF_QED_3)
      & conj1(Z_62_A_HISTORY_OF_QED_3,R_62_1_A_VERSION)
      & a_version(R_62_1_A_VERSION)
      & attrib13(R_62_1_A_VERSION,R_62_4_CANADIAN)
      & attrib7(R_62_1_A_VERSION,R_62_3_RECENT)
      & recent(R_62_3_RECENT)
      & qual8(R_62_3_RECENT,R_62_2_MORE)
      & conj2(Z_62_A_HISTORY_OF_QED_3,R_62_8_A_STYLE_DESCENDANT)
      & a_style_descendant(R_62_8_A_STYLE_DESCENDANT)
      & attrib27(R_62_8_A_STYLE_DESCENDANT,R_62_9_TRADITIONAL)
      & qual22(R_62_8_A_STYLE_DESCENDANT,R_62_7_ALSO)
      & fred(R_62_15_FRED)
      & from(R_62_15_FRED,R_62_18_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 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))