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_0015__could could r_0038_0019__all_quant all [quant] r_0038_0015__could->r_0038_0019__all_quant [keep_scope] r_0038_0021__languages languages r_0038_0019__all_quant->r_0038_0021__languages [restriction] r_0038_0018__express express r_0038_0019__all_quant->r_0038_0018__express [scope] z_000_38_a_history_of_qed_14 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_0020__regular regular r_0038_0021__languages->r_0038_0020__regular [attrib] r_0038_0018__express->r_0038_0021__languages [arg1] r_0038_0017__even even r_0038_0018__express->r_0038_0017__even [nim] 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_0016__not not r_0038_0016__not->r_0038_0015__could [keep_scope] r_0038_0008__context context r_0038_0010__free->r_0038_0008__context [nim] r_0038_0004__embraced embraced r_0038_0004__embraced->z_000_38_a_history_of_qed_14 [arg1] r_0038_0003__QED QED r_0038_0004__embraced->r_0038_0003__QED [arg0] r_0038_0002__my my r_0038_0003__QED->r_0038_0002__my [gen] r_0038_0001__Where Where r_0038_0001__Where->r_0038_0016__not [conj2] r_0038_0001__Where->r_0038_0004__embraced [conj1] 
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__1_1_1_1 Where n38_a_history_of_qed__1_1_2_1_1_1_1 my n38_a_history_of_qed__1_1_2_1_2_1 QED n38_a_history_of_qed__1_1_2_2_1 embraced n38_a_history_of_qed__1_1_2_3_1_1_1 much n38_a_history_of_qed__1_1_2_3_2_1_1 of n38_a_history_of_qed__1_1_2_3_2_2_1_1 the n38_a_history_of_qed__1_1_2_3_2_2_2_1_1_1 context n38_a_history_of_qed__1_1_2_3_2_2_2_2_1 - n38_a_history_of_qed__1_1_2_3_2_2_2_3_1 free n38_a_history_of_qed__1_1_2_3_2_2_3_1 languages n38_a_history_of_qed__1_2_1 , n38_a_history_of_qed__1_3_1_1 this n38_a_history_of_qed__1_3_2_1 version n38_a_history_of_qed__1_4_1 could n38_a_history_of_qed__1_5_1 not n38_a_history_of_qed__1_6_1_1_1 even n38_a_history_of_qed__1_6_2_1 express n38_a_history_of_qed__1_6_3_1_1 all n38_a_history_of_qed__1_6_3_2_1_1 regular n38_a_history_of_qed__1_6_3_3_1 languages n38_a_history_of_qed__1_7_1 . n38_a_history_of_qed__1 IP-MAT n38_a_history_of_qed__1_1 PP-SCON n38_a_history_of_qed__1->n38_a_history_of_qed__1_1 n38_a_history_of_qed__1_2 PUNC n38_a_history_of_qed__1->n38_a_history_of_qed__1_2 n38_a_history_of_qed__1_3 NP-SBJ n38_a_history_of_qed__1->n38_a_history_of_qed__1_3 n38_a_history_of_qed__1_4 MD;_cat_Vi_ n38_a_history_of_qed__1->n38_a_history_of_qed__1_4 n38_a_history_of_qed__1_5 NEG n38_a_history_of_qed__1->n38_a_history_of_qed__1_5 n38_a_history_of_qed__1_6 IP-INF-CAT n38_a_history_of_qed__1->n38_a_history_of_qed__1_6 n38_a_history_of_qed__1_7 PUNC n38_a_history_of_qed__1->n38_a_history_of_qed__1_7 n38_a_history_of_qed__1_1_1 P-CONN n38_a_history_of_qed__1_1->n38_a_history_of_qed__1_1_1 n38_a_history_of_qed__1_1_2 IP-ADV n38_a_history_of_qed__1_1->n38_a_history_of_qed__1_1_2 n38_a_history_of_qed__1_1_1->n38_a_history_of_qed__1_1_1_1 n38_a_history_of_qed__1_1_2_1 NP-SBJ n38_a_history_of_qed__1_1_2->n38_a_history_of_qed__1_1_2_1 n38_a_history_of_qed__1_1_2_2 VBD;__ n38_a_history_of_qed__1_1_2->n38_a_history_of_qed__1_1_2_2 n38_a_history_of_qed__1_1_2_3 NP-OB1 n38_a_history_of_qed__1_1_2->n38_a_history_of_qed__1_1_2_3 n38_a_history_of_qed__1_1_2_1_1 NP-GEN n38_a_history_of_qed__1_1_2_1->n38_a_history_of_qed__1_1_2_1_1 n38_a_history_of_qed__1_1_2_1_2 NPR n38_a_history_of_qed__1_1_2_1->n38_a_history_of_qed__1_1_2_1_2 n38_a_history_of_qed__1_1_2_1_1_1 PRO;_genm_ n38_a_history_of_qed__1_1_2_1_1->n38_a_history_of_qed__1_1_2_1_1_1 n38_a_history_of_qed__1_1_2_1_1_1->n38_a_history_of_qed__1_1_2_1_1_1_1 n38_a_history_of_qed__1_1_2_1_2->n38_a_history_of_qed__1_1_2_1_2_1 n38_a_history_of_qed__1_1_2_2->n38_a_history_of_qed__1_1_2_2_1 n38_a_history_of_qed__1_1_2_3_1 ADJP n38_a_history_of_qed__1_1_2_3->n38_a_history_of_qed__1_1_2_3_1 n38_a_history_of_qed__1_1_2_3_2 PP n38_a_history_of_qed__1_1_2_3->n38_a_history_of_qed__1_1_2_3_2 n38_a_history_of_qed__1_1_2_3_1_1 ADJ n38_a_history_of_qed__1_1_2_3_1->n38_a_history_of_qed__1_1_2_3_1_1 n38_a_history_of_qed__1_1_2_3_1_1->n38_a_history_of_qed__1_1_2_3_1_1_1 n38_a_history_of_qed__1_1_2_3_2_1 P-ROLE n38_a_history_of_qed__1_1_2_3_2->n38_a_history_of_qed__1_1_2_3_2_1 n38_a_history_of_qed__1_1_2_3_2_2 NP n38_a_history_of_qed__1_1_2_3_2->n38_a_history_of_qed__1_1_2_3_2_2 n38_a_history_of_qed__1_1_2_3_2_1->n38_a_history_of_qed__1_1_2_3_2_1_1 n38_a_history_of_qed__1_1_2_3_2_2_1 D n38_a_history_of_qed__1_1_2_3_2_2->n38_a_history_of_qed__1_1_2_3_2_2_1 n38_a_history_of_qed__1_1_2_3_2_2_2 ADJP n38_a_history_of_qed__1_1_2_3_2_2->n38_a_history_of_qed__1_1_2_3_2_2_2 n38_a_history_of_qed__1_1_2_3_2_2_3 NS n38_a_history_of_qed__1_1_2_3_2_2->n38_a_history_of_qed__1_1_2_3_2_2_3 n38_a_history_of_qed__1_1_2_3_2_2_1->n38_a_history_of_qed__1_1_2_3_2_2_1_1 n38_a_history_of_qed__1_1_2_3_2_2_2_1 NP n38_a_history_of_qed__1_1_2_3_2_2_2->n38_a_history_of_qed__1_1_2_3_2_2_2_1 n38_a_history_of_qed__1_1_2_3_2_2_2_2 PUNC n38_a_history_of_qed__1_1_2_3_2_2_2->n38_a_history_of_qed__1_1_2_3_2_2_2_2 n38_a_history_of_qed__1_1_2_3_2_2_2_3 ADJ n38_a_history_of_qed__1_1_2_3_2_2_2->n38_a_history_of_qed__1_1_2_3_2_2_2_3 n38_a_history_of_qed__1_1_2_3_2_2_2_1_1 N n38_a_history_of_qed__1_1_2_3_2_2_2_1->n38_a_history_of_qed__1_1_2_3_2_2_2_1_1 n38_a_history_of_qed__1_1_2_3_2_2_2_1_1->n38_a_history_of_qed__1_1_2_3_2_2_2_1_1_1 n38_a_history_of_qed__1_1_2_3_2_2_2_2->n38_a_history_of_qed__1_1_2_3_2_2_2_2_1 n38_a_history_of_qed__1_1_2_3_2_2_2_3->n38_a_history_of_qed__1_1_2_3_2_2_2_3_1 n38_a_history_of_qed__1_1_2_3_2_2_3->n38_a_history_of_qed__1_1_2_3_2_2_3_1 n38_a_history_of_qed__1_2->n38_a_history_of_qed__1_2_1 n38_a_history_of_qed__1_3_1 D n38_a_history_of_qed__1_3->n38_a_history_of_qed__1_3_1 n38_a_history_of_qed__1_3_2 N n38_a_history_of_qed__1_3->n38_a_history_of_qed__1_3_2 n38_a_history_of_qed__1_3_1->n38_a_history_of_qed__1_3_1_1 n38_a_history_of_qed__1_3_2->n38_a_history_of_qed__1_3_2_1 n38_a_history_of_qed__1_4->n38_a_history_of_qed__1_4_1 n38_a_history_of_qed__1_5->n38_a_history_of_qed__1_5_1 n38_a_history_of_qed__1_6_1 ADVP-NIM n38_a_history_of_qed__1_6->n38_a_history_of_qed__1_6_1 n38_a_history_of_qed__1_6_2 VB;__ n38_a_history_of_qed__1_6->n38_a_history_of_qed__1_6_2 n38_a_history_of_qed__1_6_3 NP-OB1 n38_a_history_of_qed__1_6->n38_a_history_of_qed__1_6_3 n38_a_history_of_qed__1_6_1_1 ADV n38_a_history_of_qed__1_6_1->n38_a_history_of_qed__1_6_1_1 n38_a_history_of_qed__1_6_1_1->n38_a_history_of_qed__1_6_1_1_1 n38_a_history_of_qed__1_6_2->n38_a_history_of_qed__1_6_2_1 n38_a_history_of_qed__1_6_3_1 Q n38_a_history_of_qed__1_6_3->n38_a_history_of_qed__1_6_3_1 n38_a_history_of_qed__1_6_3_2 ADJP n38_a_history_of_qed__1_6_3->n38_a_history_of_qed__1_6_3_2 n38_a_history_of_qed__1_6_3_3 NS n38_a_history_of_qed__1_6_3->n38_a_history_of_qed__1_6_3_3 n38_a_history_of_qed__1_6_3_1->n38_a_history_of_qed__1_6_3_1_1 n38_a_history_of_qed__1_6_3_2_1 ADJ n38_a_history_of_qed__1_6_3_2->n38_a_history_of_qed__1_6_3_2_1 n38_a_history_of_qed__1_6_3_2_1->n38_a_history_of_qed__1_6_3_2_1_1 n38_a_history_of_qed__1_6_3_3->n38_a_history_of_qed__1_6_3_3_1 n38_a_history_of_qed__1_7->n38_a_history_of_qed__1_7_1 
( (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))