Context                Previous, Next                Top


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

%3 r_0063_0001__A_r_0063_0005__version A version r_0063_0003__recent recent r_0063_0001__A_r_0063_0005__version->r_0063_0003__recent [attrib] r_0063_0004__Canadian Canadian r_0063_0001__A_r_0063_0005__version->r_0063_0004__Canadian [attrib] r_0063_0002__more more r_0063_0003__recent->r_0063_0002__more [qual] r_0063_0008__a_r_0063_0011__style_r_0063_0012__descendant a style descendant r_0063_0007__also also r_0063_0008__a_r_0063_0011__style_r_0063_0012__descendant->r_0063_0007__also [qual] r_0063_0009__traditional traditional r_0063_0008__a_r_0063_0011__style_r_0063_0012__descendant->r_0063_0009__traditional [attrib] r_0063_0014__is is r_0063_0015__Fred Fred r_0063_0014__is->r_0063_0015__Fred [prd] z_000_63_a_history_of_qed_3 r_0063_0014__is->z_000_63_a_history_of_qed_3 [arg0] r_0063_0018__Thinkage_r_0063_0019__Ltd Thinkage Ltd r_0063_0015__Fred->r_0063_0018__Thinkage_r_0063_0019__Ltd from z_000_63_a_history_of_qed_3->r_0063_0001__A_r_0063_0005__version [conj1] z_000_63_a_history_of_qed_3->r_0063_0008__a_r_0063_0011__style_r_0063_0012__descendant [conj2] 
arc(r_0063_0001__A_r_0063_0005__version, r_0063_0003__recent, attrib7).
arc(r_0063_0001__A_r_0063_0005__version, r_0063_0004__Canadian, attrib13).
arc(r_0063_0003__recent, r_0063_0002__more, qual8).
arc(r_0063_0008__a_r_0063_0011__style_r_0063_0012__descendant, r_0063_0007__also, qual22).
arc(r_0063_0008__a_r_0063_0011__style_r_0063_0012__descendant, r_0063_0009__traditional, attrib27).
arc(r_0063_0014__is, r_0063_0015__Fred, prd).
arc(r_0063_0014__is, z_000_63_a_history_of_qed_3, arg0).
arc(r_0063_0015__Fred, r_0063_0018__Thinkage_r_0063_0019__Ltd, r_0063_0017__from).
arc(z_000_63_a_history_of_qed_3, r_0063_0001__A_r_0063_0005__version, conj1).
arc(z_000_63_a_history_of_qed_3, r_0063_0008__a_r_0063_0011__style_r_0063_0012__descendant, conj2).


%3 r_0063_0001__A_r_0063_0005__version A version r_0063_0003__recent recent r_0063_0001__A_r_0063_0005__version->r_0063_0003__recent [attrib] r_0063_0004__Canadian Canadian r_0063_0001__A_r_0063_0005__version->r_0063_0004__Canadian [attrib] r_0063_0002__more more r_0063_0003__recent->r_0063_0002__more [qual] r_0063_0008__a_r_0063_0011__style_r_0063_0012__descendant a style descendant r_0063_0007__also also r_0063_0008__a_r_0063_0011__style_r_0063_0012__descendant->r_0063_0007__also [qual] r_0063_0009__traditional traditional r_0063_0008__a_r_0063_0011__style_r_0063_0012__descendant->r_0063_0009__traditional [attrib] r_0063_0014__is is r_0063_0015__Fred Fred r_0063_0014__is->r_0063_0015__Fred [prd] z_000_63_a_history_of_qed_3 r_0063_0014__is->z_000_63_a_history_of_qed_3 [arg0] r_0063_0018__Thinkage_r_0063_0019__Ltd Thinkage Ltd r_0063_0015__Fred->r_0063_0018__Thinkage_r_0063_0019__Ltd from z_000_63_a_history_of_qed_3->r_0063_0001__A_r_0063_0005__version [conj1] z_000_63_a_history_of_qed_3->r_0063_0008__a_r_0063_0011__style_r_0063_0012__descendant [conj2] 
fof(formula,axiom,
    ? [R_63_14_IS,Z_63_A_HISTORY_OF_QED_3,R_63_1_A_VERSION,R_63_4_CANADIAN,R_63_3_RECENT,R_63_2_MORE,R_63_8_A_STYLE_DESCENDANT,R_63_9_TRADITIONAL,R_63_7_ALSO,R_63_15_FRED,R_63_18_THINKAGE_LTD] :
      ( canadian(R_63_4_CANADIAN)
      & more(R_63_2_MORE)
      & traditional(R_63_9_TRADITIONAL)
      & also(R_63_7_ALSO)
      & thinkage_Ltd(R_63_18_THINKAGE_LTD)
      & is(R_63_14_IS,Z_63_A_HISTORY_OF_QED_3,R_63_15_FRED)
      & z_63_a_history_of_qed_3(Z_63_A_HISTORY_OF_QED_3)
      & conj1(Z_63_A_HISTORY_OF_QED_3,R_63_1_A_VERSION)
      & a_version(R_63_1_A_VERSION)
      & attrib13(R_63_1_A_VERSION,R_63_4_CANADIAN)
      & attrib7(R_63_1_A_VERSION,R_63_3_RECENT)
      & recent(R_63_3_RECENT)
      & qual8(R_63_3_RECENT,R_63_2_MORE)
      & conj2(Z_63_A_HISTORY_OF_QED_3,R_63_8_A_STYLE_DESCENDANT)
      & a_style_descendant(R_63_8_A_STYLE_DESCENDANT)
      & attrib27(R_63_8_A_STYLE_DESCENDANT,R_63_9_TRADITIONAL)
      & qual22(R_63_8_A_STYLE_DESCENDANT,R_63_7_ALSO)
      & fred(R_63_15_FRED)
      & from(R_63_15_FRED,R_63_18_THINKAGE_LTD) ) ).


n63_a_history_of_qed n63_a_history_of_qed__1_1_1_1_1_1 A n63_a_history_of_qed__1_1_1_1_2_1_1_1 more n63_a_history_of_qed__1_1_1_1_2_2_1 recent n63_a_history_of_qed__1_1_1_1_3_1_1 Canadian n63_a_history_of_qed__1_1_1_1_4_1 version n63_a_history_of_qed__1_1_1_2_1 , n63_a_history_of_qed__1_1_1_3_1_1_1_1 also n63_a_history_of_qed__1_1_1_3_1_2_1 a n63_a_history_of_qed__1_1_1_3_1_3_1_1 traditional n63_a_history_of_qed__1_1_1_3_1_4_1 - n63_a_history_of_qed__1_1_1_3_1_5_1 style n63_a_history_of_qed__1_1_1_3_1_6_1 descendant n63_a_history_of_qed__1_2_1 , n63_a_history_of_qed__1_3_1 is n63_a_history_of_qed__1_4_1_1 Fred n63_a_history_of_qed__1_4_2_1 , n63_a_history_of_qed__1_4_3_1_1 from n63_a_history_of_qed__1_4_3_2_1_1 Thinkage n63_a_history_of_qed__1_4_3_2_2_1 Ltd n63_a_history_of_qed__1_5_1 . n63_a_history_of_qed__1 IP-MAT n63_a_history_of_qed__1_1 NP-SBJ n63_a_history_of_qed__1->n63_a_history_of_qed__1_1 n63_a_history_of_qed__1_2 PUNC n63_a_history_of_qed__1->n63_a_history_of_qed__1_2 n63_a_history_of_qed__1_3 BEP;_Ln_ n63_a_history_of_qed__1->n63_a_history_of_qed__1_3 n63_a_history_of_qed__1_4 NP-PRD n63_a_history_of_qed__1->n63_a_history_of_qed__1_4 n63_a_history_of_qed__1_5 PUNC n63_a_history_of_qed__1->n63_a_history_of_qed__1_5 n63_a_history_of_qed__1_1_1 NLYR n63_a_history_of_qed__1_1->n63_a_history_of_qed__1_1_1 n63_a_history_of_qed__1_1_1_1 NLYR n63_a_history_of_qed__1_1_1->n63_a_history_of_qed__1_1_1_1 n63_a_history_of_qed__1_1_1_2 PUNC n63_a_history_of_qed__1_1_1->n63_a_history_of_qed__1_1_1_2 n63_a_history_of_qed__1_1_1_3 CONJP n63_a_history_of_qed__1_1_1->n63_a_history_of_qed__1_1_1_3 n63_a_history_of_qed__1_1_1_1_1 D n63_a_history_of_qed__1_1_1_1->n63_a_history_of_qed__1_1_1_1_1 n63_a_history_of_qed__1_1_1_1_2 ADJP n63_a_history_of_qed__1_1_1_1->n63_a_history_of_qed__1_1_1_1_2 n63_a_history_of_qed__1_1_1_1_3 ADJP n63_a_history_of_qed__1_1_1_1->n63_a_history_of_qed__1_1_1_1_3 n63_a_history_of_qed__1_1_1_1_4 N n63_a_history_of_qed__1_1_1_1->n63_a_history_of_qed__1_1_1_1_4 n63_a_history_of_qed__1_1_1_1_1->n63_a_history_of_qed__1_1_1_1_1_1 n63_a_history_of_qed__1_1_1_1_2_1 ADVP n63_a_history_of_qed__1_1_1_1_2->n63_a_history_of_qed__1_1_1_1_2_1 n63_a_history_of_qed__1_1_1_1_2_2 ADJ n63_a_history_of_qed__1_1_1_1_2->n63_a_history_of_qed__1_1_1_1_2_2 n63_a_history_of_qed__1_1_1_1_2_1_1 ADVR n63_a_history_of_qed__1_1_1_1_2_1->n63_a_history_of_qed__1_1_1_1_2_1_1 n63_a_history_of_qed__1_1_1_1_2_1_1->n63_a_history_of_qed__1_1_1_1_2_1_1_1 n63_a_history_of_qed__1_1_1_1_2_2->n63_a_history_of_qed__1_1_1_1_2_2_1 n63_a_history_of_qed__1_1_1_1_3_1 ADJ n63_a_history_of_qed__1_1_1_1_3->n63_a_history_of_qed__1_1_1_1_3_1 n63_a_history_of_qed__1_1_1_1_3_1->n63_a_history_of_qed__1_1_1_1_3_1_1 n63_a_history_of_qed__1_1_1_1_4->n63_a_history_of_qed__1_1_1_1_4_1 n63_a_history_of_qed__1_1_1_2->n63_a_history_of_qed__1_1_1_2_1 n63_a_history_of_qed__1_1_1_3_1 NLYR n63_a_history_of_qed__1_1_1_3->n63_a_history_of_qed__1_1_1_3_1 n63_a_history_of_qed__1_1_1_3_1_1 ADVP n63_a_history_of_qed__1_1_1_3_1->n63_a_history_of_qed__1_1_1_3_1_1 n63_a_history_of_qed__1_1_1_3_1_2 D n63_a_history_of_qed__1_1_1_3_1->n63_a_history_of_qed__1_1_1_3_1_2 n63_a_history_of_qed__1_1_1_3_1_3 ADJP n63_a_history_of_qed__1_1_1_3_1->n63_a_history_of_qed__1_1_1_3_1_3 n63_a_history_of_qed__1_1_1_3_1_4 PUNC n63_a_history_of_qed__1_1_1_3_1->n63_a_history_of_qed__1_1_1_3_1_4 n63_a_history_of_qed__1_1_1_3_1_5 N n63_a_history_of_qed__1_1_1_3_1->n63_a_history_of_qed__1_1_1_3_1_5 n63_a_history_of_qed__1_1_1_3_1_6 N n63_a_history_of_qed__1_1_1_3_1->n63_a_history_of_qed__1_1_1_3_1_6 n63_a_history_of_qed__1_1_1_3_1_1_1 ADV n63_a_history_of_qed__1_1_1_3_1_1->n63_a_history_of_qed__1_1_1_3_1_1_1 n63_a_history_of_qed__1_1_1_3_1_1_1->n63_a_history_of_qed__1_1_1_3_1_1_1_1 n63_a_history_of_qed__1_1_1_3_1_2->n63_a_history_of_qed__1_1_1_3_1_2_1 n63_a_history_of_qed__1_1_1_3_1_3_1 ADJ n63_a_history_of_qed__1_1_1_3_1_3->n63_a_history_of_qed__1_1_1_3_1_3_1 n63_a_history_of_qed__1_1_1_3_1_3_1->n63_a_history_of_qed__1_1_1_3_1_3_1_1 n63_a_history_of_qed__1_1_1_3_1_4->n63_a_history_of_qed__1_1_1_3_1_4_1 n63_a_history_of_qed__1_1_1_3_1_5->n63_a_history_of_qed__1_1_1_3_1_5_1 n63_a_history_of_qed__1_1_1_3_1_6->n63_a_history_of_qed__1_1_1_3_1_6_1 n63_a_history_of_qed__1_2->n63_a_history_of_qed__1_2_1 n63_a_history_of_qed__1_3->n63_a_history_of_qed__1_3_1 n63_a_history_of_qed__1_4_1 NPR n63_a_history_of_qed__1_4->n63_a_history_of_qed__1_4_1 n63_a_history_of_qed__1_4_2 PUNC n63_a_history_of_qed__1_4->n63_a_history_of_qed__1_4_2 n63_a_history_of_qed__1_4_3 PP n63_a_history_of_qed__1_4->n63_a_history_of_qed__1_4_3 n63_a_history_of_qed__1_4_1->n63_a_history_of_qed__1_4_1_1 n63_a_history_of_qed__1_4_2->n63_a_history_of_qed__1_4_2_1 n63_a_history_of_qed__1_4_3_1 P-ROLE n63_a_history_of_qed__1_4_3->n63_a_history_of_qed__1_4_3_1 n63_a_history_of_qed__1_4_3_2 NP n63_a_history_of_qed__1_4_3->n63_a_history_of_qed__1_4_3_2 n63_a_history_of_qed__1_4_3_1->n63_a_history_of_qed__1_4_3_1_1 n63_a_history_of_qed__1_4_3_2_1 NPR n63_a_history_of_qed__1_4_3_2->n63_a_history_of_qed__1_4_3_2_1 n63_a_history_of_qed__1_4_3_2_2 NPR n63_a_history_of_qed__1_4_3_2->n63_a_history_of_qed__1_4_3_2_2 n63_a_history_of_qed__1_4_3_2_1->n63_a_history_of_qed__1_4_3_2_1_1 n63_a_history_of_qed__1_4_3_2_2->n63_a_history_of_qed__1_4_3_2_2_1 n63_a_history_of_qed__1_5->n63_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 63_a_history_of_qed))