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_6 A n63_a_history_of_qed_10 more n63_a_history_of_qed_12 recent n63_a_history_of_qed_15 Canadian n63_a_history_of_qed_17 version n63_a_history_of_qed_19 , n63_a_history_of_qed_24 also n63_a_history_of_qed_26 a n63_a_history_of_qed_29 traditional n63_a_history_of_qed_31 - n63_a_history_of_qed_33 style n63_a_history_of_qed_35 descendant n63_a_history_of_qed_37 , n63_a_history_of_qed_39 is n63_a_history_of_qed_42 Fred n63_a_history_of_qed_44 , n63_a_history_of_qed_47 from n63_a_history_of_qed_50 Thinkage n63_a_history_of_qed_52 Ltd n63_a_history_of_qed_54 . n63_a_history_of_qed_1 IP-MAT n63_a_history_of_qed_2 NP-SBJ n63_a_history_of_qed_1->n63_a_history_of_qed_2 n63_a_history_of_qed_36 PUNC n63_a_history_of_qed_1->n63_a_history_of_qed_36 n63_a_history_of_qed_38 BEP;_Ln_ n63_a_history_of_qed_1->n63_a_history_of_qed_38 n63_a_history_of_qed_40 NP-PRD n63_a_history_of_qed_1->n63_a_history_of_qed_40 n63_a_history_of_qed_53 PUNC n63_a_history_of_qed_1->n63_a_history_of_qed_53 n63_a_history_of_qed_3 NLYR n63_a_history_of_qed_2->n63_a_history_of_qed_3 n63_a_history_of_qed_4 NLYR n63_a_history_of_qed_3->n63_a_history_of_qed_4 n63_a_history_of_qed_18 PUNC n63_a_history_of_qed_3->n63_a_history_of_qed_18 n63_a_history_of_qed_20 CONJP n63_a_history_of_qed_3->n63_a_history_of_qed_20 n63_a_history_of_qed_5 D n63_a_history_of_qed_4->n63_a_history_of_qed_5 n63_a_history_of_qed_7 ADJP n63_a_history_of_qed_4->n63_a_history_of_qed_7 n63_a_history_of_qed_13 ADJP n63_a_history_of_qed_4->n63_a_history_of_qed_13 n63_a_history_of_qed_16 N n63_a_history_of_qed_4->n63_a_history_of_qed_16 n63_a_history_of_qed_5->n63_a_history_of_qed_6 n63_a_history_of_qed_8 ADVP n63_a_history_of_qed_7->n63_a_history_of_qed_8 n63_a_history_of_qed_11 ADJ n63_a_history_of_qed_7->n63_a_history_of_qed_11 n63_a_history_of_qed_9 ADVR n63_a_history_of_qed_8->n63_a_history_of_qed_9 n63_a_history_of_qed_9->n63_a_history_of_qed_10 n63_a_history_of_qed_11->n63_a_history_of_qed_12 n63_a_history_of_qed_14 ADJ n63_a_history_of_qed_13->n63_a_history_of_qed_14 n63_a_history_of_qed_14->n63_a_history_of_qed_15 n63_a_history_of_qed_16->n63_a_history_of_qed_17 n63_a_history_of_qed_18->n63_a_history_of_qed_19 n63_a_history_of_qed_21 NLYR n63_a_history_of_qed_20->n63_a_history_of_qed_21 n63_a_history_of_qed_22 ADVP n63_a_history_of_qed_21->n63_a_history_of_qed_22 n63_a_history_of_qed_25 D n63_a_history_of_qed_21->n63_a_history_of_qed_25 n63_a_history_of_qed_27 ADJP n63_a_history_of_qed_21->n63_a_history_of_qed_27 n63_a_history_of_qed_30 PUNC n63_a_history_of_qed_21->n63_a_history_of_qed_30 n63_a_history_of_qed_32 N n63_a_history_of_qed_21->n63_a_history_of_qed_32 n63_a_history_of_qed_34 N n63_a_history_of_qed_21->n63_a_history_of_qed_34 n63_a_history_of_qed_23 ADV n63_a_history_of_qed_22->n63_a_history_of_qed_23 n63_a_history_of_qed_23->n63_a_history_of_qed_24 n63_a_history_of_qed_25->n63_a_history_of_qed_26 n63_a_history_of_qed_28 ADJ n63_a_history_of_qed_27->n63_a_history_of_qed_28 n63_a_history_of_qed_28->n63_a_history_of_qed_29 n63_a_history_of_qed_30->n63_a_history_of_qed_31 n63_a_history_of_qed_32->n63_a_history_of_qed_33 n63_a_history_of_qed_34->n63_a_history_of_qed_35 n63_a_history_of_qed_36->n63_a_history_of_qed_37 n63_a_history_of_qed_38->n63_a_history_of_qed_39 n63_a_history_of_qed_41 NPR n63_a_history_of_qed_40->n63_a_history_of_qed_41 n63_a_history_of_qed_43 PUNC n63_a_history_of_qed_40->n63_a_history_of_qed_43 n63_a_history_of_qed_45 PP n63_a_history_of_qed_40->n63_a_history_of_qed_45 n63_a_history_of_qed_41->n63_a_history_of_qed_42 n63_a_history_of_qed_43->n63_a_history_of_qed_44 n63_a_history_of_qed_46 P-ROLE n63_a_history_of_qed_45->n63_a_history_of_qed_46 n63_a_history_of_qed_48 NP n63_a_history_of_qed_45->n63_a_history_of_qed_48 n63_a_history_of_qed_46->n63_a_history_of_qed_47 n63_a_history_of_qed_49 NPR n63_a_history_of_qed_48->n63_a_history_of_qed_49 n63_a_history_of_qed_51 NPR n63_a_history_of_qed_48->n63_a_history_of_qed_51 n63_a_history_of_qed_49->n63_a_history_of_qed_50 n63_a_history_of_qed_51->n63_a_history_of_qed_52 n63_a_history_of_qed_53->n63_a_history_of_qed_54 
( (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))