Context                Previous, Next                Top


38_a_history_of_qed
Where my QED embraced much of the context - free languages, this version could not even express all regular languages.

%3 r_0038_0001__Where Where r_0038_0004__embraced embraced r_0038_0001__Where->r_0038_0004__embraced [restriction] r_0038_0016__not not r_0038_0001__Where->r_0038_0016__not [scope] r_0038_0003__QED QED r_0038_0004__embraced->r_0038_0003__QED [arg0] z_000_38_a_history_of_qed_14 r_0038_0004__embraced->z_000_38_a_history_of_qed_14 [arg1] r_0038_0015__could could r_0038_0016__not->r_0038_0015__could [keep_scope] r_0038_0002__my my r_0038_0003__QED->r_0038_0002__my [gen] r_0038_0007__the_r_0038_0011__languages the languages z_000_38_a_history_of_qed_14->r_0038_0007__the_r_0038_0011__languages of r_0038_0005__much much z_000_38_a_history_of_qed_14->r_0038_0005__much [attrib] r_0038_0010__free free r_0038_0007__the_r_0038_0011__languages->r_0038_0010__free [attrib] r_0038_0008__context context r_0038_0010__free->r_0038_0008__context [nim] r_0038_0019__all_quant all [quant] r_0038_0015__could->r_0038_0019__all_quant [scope] r_0038_0018__express express r_0038_0019__all_quant->r_0038_0018__express [scope] r_0038_0021__languages languages r_0038_0019__all_quant->r_0038_0021__languages [restriction] r_0038_0013__this_r_0038_0014__version this version r_0038_0018__express->r_0038_0013__this_r_0038_0014__version [arg0] r_0038_0017__even even r_0038_0018__express->r_0038_0017__even [nim] r_0038_0018__express->r_0038_0021__languages [arg1] r_0038_0020__regular regular r_0038_0021__languages->r_0038_0020__regular [attrib] 
arc(r_0038_0001__Where, r_0038_0004__embraced, restriction).
arc(r_0038_0001__Where, r_0038_0016__not, scope).
arc(r_0038_0003__QED, r_0038_0002__my, gen).
arc(r_0038_0004__embraced, r_0038_0003__QED, arg0).
arc(r_0038_0004__embraced, z_000_38_a_history_of_qed_14, arg1).
arc(r_0038_0007__the_r_0038_0011__languages, r_0038_0010__free, attrib24).
arc(r_0038_0010__free, r_0038_0008__context, nim25).
arc(r_0038_0015__could, r_0038_0019__all_quant, scope).
arc(r_0038_0016__not, r_0038_0015__could, keep_scope).
arc(r_0038_0018__express, r_0038_0013__this_r_0038_0014__version, arg0).
arc(r_0038_0018__express, r_0038_0017__even, nim46).
arc(r_0038_0018__express, r_0038_0021__languages, arg1).
arc(r_0038_0019__all_quant, r_0038_0018__express, scope).
arc(r_0038_0019__all_quant, r_0038_0021__languages, restriction).
arc(r_0038_0021__languages, r_0038_0020__regular, attrib54).
arc(z_000_38_a_history_of_qed_14, r_0038_0005__much, attrib15).
arc(z_000_38_a_history_of_qed_14, r_0038_0007__the_r_0038_0011__languages, r_0038_0006__of).


%3 r_0038_0001__Where Where r_0038_0004__embraced embraced r_0038_0001__Where->r_0038_0004__embraced [conj1] r_0038_0016__not not r_0038_0001__Where->r_0038_0016__not [conj2] r_0038_0003__QED QED r_0038_0004__embraced->r_0038_0003__QED [arg0] z_000_38_a_history_of_qed_14 r_0038_0004__embraced->z_000_38_a_history_of_qed_14 [arg1] r_0038_0015__could could r_0038_0016__not->r_0038_0015__could [keep_scope] r_0038_0002__my my r_0038_0003__QED->r_0038_0002__my [gen] r_0038_0007__the_r_0038_0011__languages the languages z_000_38_a_history_of_qed_14->r_0038_0007__the_r_0038_0011__languages of r_0038_0005__much much z_000_38_a_history_of_qed_14->r_0038_0005__much [attrib] r_0038_0010__free free r_0038_0007__the_r_0038_0011__languages->r_0038_0010__free [attrib] r_0038_0008__context context r_0038_0010__free->r_0038_0008__context [nim] r_0038_0019__all_quant all [quant] r_0038_0015__could->r_0038_0019__all_quant [keep_scope] r_0038_0018__express express r_0038_0019__all_quant->r_0038_0018__express [scope] r_0038_0021__languages languages r_0038_0019__all_quant->r_0038_0021__languages [restriction] r_0038_0013__this_r_0038_0014__version this version r_0038_0018__express->r_0038_0013__this_r_0038_0014__version [arg0] r_0038_0017__even even r_0038_0018__express->r_0038_0017__even [nim] r_0038_0018__express->r_0038_0021__languages [arg1] r_0038_0020__regular regular r_0038_0021__languages->r_0038_0020__regular [attrib] 
fof(formula,axiom,
    ? [R_38_1_WHERE,R_38_4_EMBRACED,R_38_3_QED,R_38_2_MY,Z_38_A_HISTORY_OF_QED_14,R_38_5_MUCH,R_38_7_THE_LANGUAGES,R_38_10_FREE,R_38_8_CONTEXT] :
      ( my(R_38_2_MY)
      & much(R_38_5_MUCH)
      & context(R_38_8_CONTEXT)
      & where(R_38_1_WHERE)
      & conj1(R_38_1_WHERE,R_38_4_EMBRACED)
      & embraced(R_38_4_EMBRACED,R_38_3_QED,Z_38_A_HISTORY_OF_QED_14)
      & qED(R_38_3_QED)
      & gen(R_38_3_QED,R_38_2_MY)
      & z_38_a_history_of_qed_14(Z_38_A_HISTORY_OF_QED_14)
      & attrib15(Z_38_A_HISTORY_OF_QED_14,R_38_5_MUCH)
      & of(Z_38_A_HISTORY_OF_QED_14,R_38_7_THE_LANGUAGES)
      & the_languages(R_38_7_THE_LANGUAGES)
      & attrib24(R_38_7_THE_LANGUAGES,R_38_10_FREE)
      & free(R_38_10_FREE)
      & nim25(R_38_10_FREE,R_38_8_CONTEXT)
      & conj2(R_38_1_WHERE,R_38_16_NOT)
      & ~ ~ ! [R_38_21_LANGUAGES,R_38_20_REGULAR] :
              ( ( regular(R_38_20_REGULAR)
                & languages(R_38_21_LANGUAGES)
                & attrib54(R_38_21_LANGUAGES,R_38_20_REGULAR) )
             => ? [R_38_18_EXPRESS,R_38_13_THIS_VERSION,R_38_17_EVEN] :
                  ( this_version(R_38_13_THIS_VERSION)
                  & even(R_38_17_EVEN)
                  & express(R_38_18_EXPRESS,R_38_13_THIS_VERSION,R_38_21_LANGUAGES)
                  & nim46(R_38_18_EXPRESS,R_38_17_EVEN) ) ) ) ).


n38_a_history_of_qed n38_a_history_of_qed_4 Where n38_a_history_of_qed_9 my n38_a_history_of_qed_11 QED n38_a_history_of_qed_13 embraced n38_a_history_of_qed_17 much n38_a_history_of_qed_20 of n38_a_history_of_qed_23 the n38_a_history_of_qed_27 context n38_a_history_of_qed_29 - n38_a_history_of_qed_31 free n38_a_history_of_qed_33 languages n38_a_history_of_qed_35 , n38_a_history_of_qed_38 this n38_a_history_of_qed_40 version n38_a_history_of_qed_42 could n38_a_history_of_qed_44 not n38_a_history_of_qed_48 even n38_a_history_of_qed_50 express n38_a_history_of_qed_53 all n38_a_history_of_qed_56 regular n38_a_history_of_qed_58 languages n38_a_history_of_qed_60 . n38_a_history_of_qed_1 IP-MAT n38_a_history_of_qed_2 PP-SCON n38_a_history_of_qed_1->n38_a_history_of_qed_2 n38_a_history_of_qed_34 PUNC n38_a_history_of_qed_1->n38_a_history_of_qed_34 n38_a_history_of_qed_36 NP-SBJ n38_a_history_of_qed_1->n38_a_history_of_qed_36 n38_a_history_of_qed_41 MD;_cat_Vi_ n38_a_history_of_qed_1->n38_a_history_of_qed_41 n38_a_history_of_qed_43 NEG n38_a_history_of_qed_1->n38_a_history_of_qed_43 n38_a_history_of_qed_45 IP-INF-CAT n38_a_history_of_qed_1->n38_a_history_of_qed_45 n38_a_history_of_qed_59 PUNC n38_a_history_of_qed_1->n38_a_history_of_qed_59 n38_a_history_of_qed_3 P-CONN n38_a_history_of_qed_2->n38_a_history_of_qed_3 n38_a_history_of_qed_5 IP-ADV n38_a_history_of_qed_2->n38_a_history_of_qed_5 n38_a_history_of_qed_3->n38_a_history_of_qed_4 n38_a_history_of_qed_6 NP-SBJ n38_a_history_of_qed_5->n38_a_history_of_qed_6 n38_a_history_of_qed_12 VBD;__ n38_a_history_of_qed_5->n38_a_history_of_qed_12 n38_a_history_of_qed_14 NP-OB1 n38_a_history_of_qed_5->n38_a_history_of_qed_14 n38_a_history_of_qed_7 NP-GEN n38_a_history_of_qed_6->n38_a_history_of_qed_7 n38_a_history_of_qed_10 NPR n38_a_history_of_qed_6->n38_a_history_of_qed_10 n38_a_history_of_qed_8 PRO;_genm_ n38_a_history_of_qed_7->n38_a_history_of_qed_8 n38_a_history_of_qed_8->n38_a_history_of_qed_9 n38_a_history_of_qed_10->n38_a_history_of_qed_11 n38_a_history_of_qed_12->n38_a_history_of_qed_13 n38_a_history_of_qed_15 ADJP n38_a_history_of_qed_14->n38_a_history_of_qed_15 n38_a_history_of_qed_18 PP n38_a_history_of_qed_14->n38_a_history_of_qed_18 n38_a_history_of_qed_16 ADJ n38_a_history_of_qed_15->n38_a_history_of_qed_16 n38_a_history_of_qed_16->n38_a_history_of_qed_17 n38_a_history_of_qed_19 P-ROLE n38_a_history_of_qed_18->n38_a_history_of_qed_19 n38_a_history_of_qed_21 NP n38_a_history_of_qed_18->n38_a_history_of_qed_21 n38_a_history_of_qed_19->n38_a_history_of_qed_20 n38_a_history_of_qed_22 D n38_a_history_of_qed_21->n38_a_history_of_qed_22 n38_a_history_of_qed_24 ADJP n38_a_history_of_qed_21->n38_a_history_of_qed_24 n38_a_history_of_qed_32 NS n38_a_history_of_qed_21->n38_a_history_of_qed_32 n38_a_history_of_qed_22->n38_a_history_of_qed_23 n38_a_history_of_qed_25 NP n38_a_history_of_qed_24->n38_a_history_of_qed_25 n38_a_history_of_qed_28 PUNC n38_a_history_of_qed_24->n38_a_history_of_qed_28 n38_a_history_of_qed_30 ADJ n38_a_history_of_qed_24->n38_a_history_of_qed_30 n38_a_history_of_qed_26 N n38_a_history_of_qed_25->n38_a_history_of_qed_26 n38_a_history_of_qed_26->n38_a_history_of_qed_27 n38_a_history_of_qed_28->n38_a_history_of_qed_29 n38_a_history_of_qed_30->n38_a_history_of_qed_31 n38_a_history_of_qed_32->n38_a_history_of_qed_33 n38_a_history_of_qed_34->n38_a_history_of_qed_35 n38_a_history_of_qed_37 D n38_a_history_of_qed_36->n38_a_history_of_qed_37 n38_a_history_of_qed_39 N n38_a_history_of_qed_36->n38_a_history_of_qed_39 n38_a_history_of_qed_37->n38_a_history_of_qed_38 n38_a_history_of_qed_39->n38_a_history_of_qed_40 n38_a_history_of_qed_41->n38_a_history_of_qed_42 n38_a_history_of_qed_43->n38_a_history_of_qed_44 n38_a_history_of_qed_46 ADVP-NIM n38_a_history_of_qed_45->n38_a_history_of_qed_46 n38_a_history_of_qed_49 VB;__ n38_a_history_of_qed_45->n38_a_history_of_qed_49 n38_a_history_of_qed_51 NP-OB1 n38_a_history_of_qed_45->n38_a_history_of_qed_51 n38_a_history_of_qed_47 ADV n38_a_history_of_qed_46->n38_a_history_of_qed_47 n38_a_history_of_qed_47->n38_a_history_of_qed_48 n38_a_history_of_qed_49->n38_a_history_of_qed_50 n38_a_history_of_qed_52 Q n38_a_history_of_qed_51->n38_a_history_of_qed_52 n38_a_history_of_qed_54 ADJP n38_a_history_of_qed_51->n38_a_history_of_qed_54 n38_a_history_of_qed_57 NS n38_a_history_of_qed_51->n38_a_history_of_qed_57 n38_a_history_of_qed_52->n38_a_history_of_qed_53 n38_a_history_of_qed_55 ADJ n38_a_history_of_qed_54->n38_a_history_of_qed_55 n38_a_history_of_qed_55->n38_a_history_of_qed_56 n38_a_history_of_qed_57->n38_a_history_of_qed_58 n38_a_history_of_qed_59->n38_a_history_of_qed_60 
( (IP-MAT;{LIMITATION} (PP-SCON (P-CONN Where;{where})
                                (IP-ADV (NP-SBJ;{GECOS_QED} (NP-GEN (PRO;_genm_ my;{my}))
                                                            (NPR QED;{QED}))
                                        (VBD;__ embraced;{embrace})
                                        (NP-OB1 (ADJP (ADJ much;{much}))
                                                (PP (P-ROLE of;{of})
                                                    (NP (D the;{the})
                                                        (ADJP (NP (N context;{context}))
                                                              (PUNC <hyphen>)
                                                              (ADJ free;{free}))
                                                        (NS languages;{language}))))))
                       (PUNC ,)
                       (NP-SBJ;{STANDARD_ED} (D this;{this})
                                             (N version;{version}))
                       (MD;_cat_Vi_ could;{can})
                       (NEG not;{not})
                       (IP-INF-CAT (ADVP-NIM (ADV even;{even}))
                                   (VB;__ express;{express})
                                   (NP-OB1 (Q all;{all})
                                           (ADJP (ADJ regular;{regular}))
                                           (NS languages;{language})))
                       (PUNC .))
  (ID 38_a_history_of_qed))