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_0038_0002__MY,R_0038_0003__QED,R_0038_0005__MUCH,R_0038_0008__CONTEXT,R_0038_0010__FREE,R_0038_0007__THE_R_0038_0011__LANGUAGES,Z_000_38_A_HISTORY_OF_QED_14,R_0038_0004__EMBRACED,R_0038_0001__WHERE] :
      ( r_0038_0002__my(R_0038_0002__MY)
      & r_0038_0005__much(R_0038_0005__MUCH)
      & r_0038_0008__context(R_0038_0008__CONTEXT)
      & r_0038_0001__Where(R_0038_0001__WHERE)
      & has_conj2(R_0038_0001__WHERE,R_0038_0016__NOT)
      & ~ ? [R_0038_0015__COULD] :
            ( r_0038_0015__could(R_0038_0015__COULD)
            & ! [R_0038_0021__LANGUAGES,R_0038_0020__REGULAR] :
                ( ( r_0038_0020__regular(R_0038_0020__REGULAR)
                  & r_0038_0021__languages(R_0038_0021__LANGUAGES)
                  & has_attrib54(R_0038_0021__LANGUAGES,R_0038_0020__REGULAR) )
               => ? [R_0038_0013__THIS_R_0038_0014__VERSION,R_0038_0017__EVEN,R_0038_0018__EXPRESS] :
                    ( r_0038_0013__this_r_0038_0014__version(R_0038_0013__THIS_R_0038_0014__VERSION)
                    & r_0038_0017__even(R_0038_0017__EVEN)
                    & r_0038_0018__express(R_0038_0018__EXPRESS)
                    & has_arg1(R_0038_0018__EXPRESS,R_0038_0021__LANGUAGES)
                    & has_nim46(R_0038_0018__EXPRESS,R_0038_0017__EVEN)
                    & has_arg0(R_0038_0018__EXPRESS,R_0038_0013__THIS_R_0038_0014__VERSION) ) ) )
      & has_conj1(R_0038_0001__WHERE,R_0038_0004__EMBRACED)
      & r_0038_0004__embraced(R_0038_0004__EMBRACED)
      & has_arg1(R_0038_0004__EMBRACED,Z_000_38_A_HISTORY_OF_QED_14)
      & z_000_38_a_history_of_qed_14(Z_000_38_A_HISTORY_OF_QED_14)
      & has_r_0038_0006__of(Z_000_38_A_HISTORY_OF_QED_14,R_0038_0007__THE_R_0038_0011__LANGUAGES)
      & r_0038_0007__the_r_0038_0011__languages(R_0038_0007__THE_R_0038_0011__LANGUAGES)
      & has_attrib24(R_0038_0007__THE_R_0038_0011__LANGUAGES,R_0038_0010__FREE)
      & r_0038_0010__free(R_0038_0010__FREE)
      & has_nim25(R_0038_0010__FREE,R_0038_0008__CONTEXT)
      & has_attrib15(Z_000_38_A_HISTORY_OF_QED_14,R_0038_0005__MUCH)
      & has_arg0(R_0038_0004__EMBRACED,R_0038_0003__QED)
      & r_0038_0003__QED(R_0038_0003__QED)
      & has_gen(R_0038_0003__QED,R_0038_0002__MY) ) ).


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))