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.

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


%3 z_0038_5007 r_0038_0007__the_r_0038_0011__languages the languages z_0038_5007->r_0038_0007__the_r_0038_0011__languages of r_0038_0005__much much z_0038_5007->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_0021__languages languages r_0038_0020__regular regular r_0038_0021__languages->r_0038_0020__regular [attrib] r_0038_0019__all__quant all [quant] r_0038_0019__all__quant->r_0038_0021__languages [restriction] r_0038_0016__not not r_0038_0019__all__quant->r_0038_0016__not [scope] r_0038_0015__could could r_0038_0016__not->r_0038_0015__could [keep_scope] r_0038_0018__express express 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_0015__could->r_0038_0018__express [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_0038_5007 [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_0019__all__quant [scope] r_0038_0001__Where->r_0038_0004__embraced [restriction] 
arc(r_0038_0001__Where,r_0038_0004__embraced,restriction).
arc(r_0038_0001__Where,r_0038_0019__all__quant,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_0038_5007,arg1).
arc(r_0038_0007__the_r_0038_0011__languages,r_0038_0010__free,attrib).
arc(r_0038_0010__free,r_0038_0008__context,nim).
arc(r_0038_0015__could,r_0038_0018__express,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,nim).
arc(r_0038_0018__express,r_0038_0021__languages,arg1).
arc(r_0038_0019__all__quant,r_0038_0016__not,scope).
arc(r_0038_0019__all__quant,r_0038_0021__languages,restriction).
arc(r_0038_0021__languages,r_0038_0020__regular,attrib).
arc(z_0038_5007,r_0038_0005__much,attrib).
arc(z_0038_5007,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_0019__all__quant all [quant] r_0038_0001__Where->r_0038_0019__all__quant [conj2] r_0038_0003__QED QED r_0038_0004__embraced->r_0038_0003__QED [arg0] z_0038_5007 r_0038_0004__embraced->z_0038_5007 [arg1] r_0038_0016__not not r_0038_0019__all__quant->r_0038_0016__not [scope] r_0038_0021__languages languages r_0038_0019__all__quant->r_0038_0021__languages [restriction] 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_0038_5007->r_0038_0007__the_r_0038_0011__languages of r_0038_0005__much much z_0038_5007->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_0015__could_r_0038_0018__express could express r_0038_0016__not->r_0038_0015__could_r_0038_0018__express [keep_scope] r_0038_0013__this_r_0038_0014__version this version r_0038_0015__could_r_0038_0018__express->r_0038_0013__this_r_0038_0014__version [arg0] r_0038_0017__even even r_0038_0015__could_r_0038_0018__express->r_0038_0017__even [nim] r_0038_0015__could_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_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_0038_5007,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)
      & ! [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_attrib(R_0038_0021__LANGUAGES,R_0038_0020__REGULAR) )
         => ~ ? [R_0038_0013__THIS_R_0038_0014__VERSION,R_0038_0017__EVEN,R_0038_0015__COULD_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_0015__could_r_0038_0018__express(R_0038_0015__COULD_R_0038_0018__EXPRESS)
                & has_arg1(R_0038_0015__COULD_R_0038_0018__EXPRESS,R_0038_0021__LANGUAGES)
                & has_nim(R_0038_0015__COULD_R_0038_0018__EXPRESS,R_0038_0017__EVEN)
                & has_arg0(R_0038_0015__COULD_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_0038_5007)
      & z_0038_5007(Z_0038_5007)
      & has_r_0038_0006__of(Z_0038_5007,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_attrib(R_0038_0007__THE_R_0038_0011__LANGUAGES,R_0038_0010__FREE)
      & r_0038_0010__free(R_0038_0010__FREE)
      & has_nim(R_0038_0010__FREE,R_0038_0008__CONTEXT)
      & has_attrib(Z_0038_5007,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) ) ).